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, Association for the Advancement of Artificial Intelligence (AAAI).

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).

Fabio Palomba, Dario Di Nucci, Annibale Panichella, Andy Zaidman, Andrea De Lucia (2019), On the Impact of Code Smells on the Energy Consumption of Mobile Applications, In Information and Software Technology Volume 105 p.43-55.

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).