Qin Lin (2019), Intelligent control systems: Learning, interpreting, verification, PhD Thesis Delft University of Technology.

Aleš Bizjak, Daniel Gratzer, Robbert Krebbers, Lars Birkedal (2019), Iron: Managing obligations in higher-order concurrent separation logic, In Proceedings of the ACM on Programming Languages Volume 3 p.65:1-65:30.

Dimitri Michel Stallenberg, Annibale Panichella (2019), JCOMIX: a Search-based Tool to Detect XML Injection Vulnerabilities inWeb Applications: A search-based tool to detect XML injection vulnerabilities in web applications, Sven Apel, Marlon Dumas, Alessandra Russo, Dietmar Pfahl (Eds.), In The 27th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering p.1090-1094, Association for Computing Machinery (ACM).

Gabriël Konat (2019), Language-Parametric Methods for Developing Interactive Programming Systems, PhD Thesis Delft University of Technology.

Sicco Verwer, Yingqian Zhang (2019), Learning optimal classification trees using a binary linear program formulation, In Proceedings of the Thirty-Third AAAI Conference on Artificial Intelligence Volume 33 p.1625-1632.

Markus Völter, Bernd Kolb, Tamás Szabó, Daniel Ratiu, Arie van Deursen (2019), Lessons learned from developing mbeddr: a case study in language engineering with MPS, In Software and Systems Modeling Volume 18 p.585-630.

Qin Lin, Yihuan Zhang, Sicco Verwer, Jun Wang (2019), MOHA: A Multi-Mode Hybrid Automaton Model for Learning Car-Following Behaviors, In IEEE Transactions on Intelligent Transportation Systems Volume 20 p.790-796.

Jos Winter, Maurício Aniche, Jürgen Cito, Arie van Deursen (2019), Monitoring-aware IDEs, In ESEC/FSE 2019 p.420-431, Association for Computing Machinery (ACM).

Léo Weissbart, Stjepan Picek, Lejla Batina (2019), One trace is all it takes: machine learning-based side-channel attack on EDDSA, Shivam Bhasin, Avi Mendelson, Mridul Nandi (Eds.), In Security, Privacy, and Applied Cryptography Engineering - 9th International Conference, SPACE 2019, Proceedings p.86-105, Springer.

Stjepan Picek, Domagoj Jakobovic (2019), On the design of S-box constructions with genetic programming, M. López-Ibáñez (Eds.), In GECCO'19 p.395-396, Association for Computing Machinery (ACM).