1. 2018
  2. RustBelt: securing the foundations of the rust programming language

    Jung, R., Jourdan, J-H., Krebbers, R. & Dreyer, D. Jan 2018 In : Proceedings of the ACM on Programming Languages. 2, POPL, p. 66:1-66:34 34 p., 66

    Research output: Scientific - peer-reviewArticle

  3. A Graph-based Dataset of Commit History of Real-World Android apps

    Geiger, F-X., Malavolta, I., Pascarella, L., Palomba, F., Di Nucci, D. & Bacchelli, A. 2018 Proceedings of the 15th International Conference on Mining Software Repositories, MSR. ACM, New York, NY.

    Research output: Scientific - peer-reviewConference contribution

  4. A State-Space Approach to Modelling DC Distribution Systems

    van der Blij, N. H., Ramirez-Elizondo, L. M., Spaan, M. T. J. & Bauer, P. 2018 In : IEEE Transactions on Power Systems. 33, 1, p. 943-950 8 p.

    Research output: Scientific - peer-reviewArticle

  5. A better-response strategy for self-interested planning agents

    Jordán, J., Torreño, A., de Weerdt, M. & Onaindia, E. 2018 In : Applied Intelligence: the international journal of artificial intelligence, neural networks, and complex problem-solving technologies. 48, 4, p. 1020-1040 21 p.

    Research output: Scientific - peer-reviewArticle

  6. A convolutional neural network-based model for predicting the perceived attractiveness of urban places

    Psyllidis, A. & Hendra Hadhil Choiri, H. 2018 American Association of Geographers Annual Meeting (AAG 2018). New Orleans, LA, USA

    Research output: Scientific - peer-reviewConference contribution

  7. A time-varying p-median model for location-allocation analysis

    Sharifi Noorian, S., Psyllidis, A. & Bozzon, A. 2018 21st Conference on Geo-Information Science (AGILE 2018). Lund, Sweden

    Research output: Scientific - peer-reviewConference contribution

  8. An Empirical Evaluation of Feedback-Driven Software Development

    Beller, M. 2018 (In preparation)

    Research output: ScientificDissertation (TU Delft)

  9. An Exploratory Study on Faults in Web API Integration in a Large-Scale Payment Company

    Aué, J., Aniche, M., Lobbezoo, M. & van Deursen, A. 2018 ICSE-SEIP '18: 40th International Conference on Software Engineering: Software Engineering in Practice Track.

    Research output: Scientific - peer-reviewConference contribution

  10. An Extended Chemical Plant Environmental Protection Game on Addressing Uncertainties of Human Adversaries

    Zhu, Z., Chen, B., Qiu, S., Wang, R., Chen, F., Wang, Y. & Qiu, X. 2018 In : International Journal of Environmental Research and Public Health. 15, 4, 609

    Research output: Scientific - peer-reviewArticle

  11. An Investigation of Compression Techniques to Speed up Mutation Testing

    Zhu, Q., Panichella, A. & Zaidman, A. 2018 Proceedings of the 11th International Conference on Software Testing, Verification, and Validation (ICST). IEEE, p. 274-284

    Research output: Scientific - peer-reviewConference contribution