1. 2020
  2. Actris: Session-type based reasoning in separation logic

    Hinrichsen, J. K., Bengtson, J. & Krebbers, R., 2020, In : Proceedings of the ACM on Programming Languages. 4, POPL, p. 1-30 6.

    Research output: Contribution to journalArticleScientificpeer-review

  3. An Application of Model Seeding to Search-based Unit Test Generation for Gson

    Olsthoorn, M., Derakhshanfar, P. & Devroey, X., 2020, (Accepted/In press) Search-Based Software Engineering - 12th International Symposium, SSBSE 2020. Aleti, A. & Panichella, A. (eds.). Springer

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  4. An enhanced KNN-based twin support vector machine with stable learning rules

    Nasiri, J. A. & Mir, A. M., 2020, In : Neural Computing and Applications. 32, 16, p. 12949-12969 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

  5. Arewe consistent? the effects of digitized exams grading

    Migut, G. & Wiersma, R., 2020, SIGCSE 2020 - Proceedings of the 51st ACM Technical Symposium on Computer Science Education. Association for Computing Machinery (ACM), 1 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  6. Association, Blockage, and Handoffs in IEEE 802.11ad-Based 60-GHz Picocells: A Closer Look

    Joshi, K. C., Hersyandika, R. & Venkatesha Prasad, R., 2020, In : IEEE Systems Journal. 14, 2, p. 2144-2153 10 p., 8839948.

    Research output: Contribution to journalArticleScientificpeer-review

  7. Automated Repair of Feature Interaction Failures in Automated Driving Systems

    Abdessalem, R. B., Panichella, A., Nejati, S., Briand, L. & Stifter, T., 2020, The ACM SIGSOFT International Symposium on Software Testing and Analysis. Association for Computing Machinery (ACM), p. 88-100 13 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  8. Collaborative Vehicle Routing when Agents have Mixed Information Sharing Attitudes

    Los, J., Schulte, F., Spaan, M. & Negenborn, R., 2020, In : Transportation Research Procedia. 44, p. 94-101

    Research output: Contribution to journalConference articleScientificpeer-review

  9. Continuous sensing on intermittent power

    Majid, A. Y., Schilder, P. & Langendoen, K., 2020, 2020 19th ACM/IEEE International Conference on Information Processing in Sensor Networks (IPSN). O'Conner, L. (ed.). Piscataway: IEEE, p. 181-192 12 p. 9111002

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  10. Crash Reproduction Using Helper Objectives

    Derakhshanfar, P., Devroey, X., Zaidman, A., van Deursen, A. & Panichella, A., 2020, Genetic and Evolutionary Computation Conference Companion (GECCO ’20 Companion). Cancún, Mexico: ACM DL, 3 p.

    Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

  11. Crowd characterization for crowd management using social media data in city events

    Gong, V. X., Daamen, W., Bozzon, A. & Hoogendoorn, S. P., 2020, In : Travel Behaviour and Society. 20, p. 192 - 212 21 p.

    Research output: Contribution to journalArticleScientificpeer-review

Previous 1 2 3 4 5 6 7 8 ...318 Next

ID: 18282