Sylvia Grewe, Sebastian Erdweg, André Pacak, Michael Raulf, Mira Mezini (2018), Exploration of language specifications by compilation to first-order logic, In Science of Computer Programming Volume 155 p.146-172.

Nicolas Dintzner, Arie van Deursen, M Pinzger (2018), FEVER: An approach to analyze feature-oriented changes and artefact co-evolution in highly configurable systems, In Empirical Software Engineering Volume 23 p.905-952.

Antun Maldini, Niels Samwel, Stjepan Picek, Lejla Batina (2018), Genetic Algorithm-Based Electromagnetic Fault Injection, J.E. Guerrero (Eds.), In 2018 Workshop on Fault Diagnosis and Tolerance in Cryptography FDTC p.35-42.

Yang Feng, Kaj Dreef, James Jones, Arie van Deursen (2018), Hierarchical Abstraction of Execution Traces for Program Comprehension, In Proceedings of the 26th Conference on Program Comprehension, ICPC 2018 p.86-96, Association for Computing Machinery (ACM).

Liran Lerman, Nikita Veshchikov , Stjepan Picek, Olivier Markowitch (2018), Higher order side-channel attack resilient S-boxes, D.R. Kaeli, M. Pericàs (Eds.), In 2018 ACM International Conference on Computing Frontiers, CF 2018 - Proceedings p.336-341, Association for Computing Machinery (ACM).

Annibale Panichella, Fitsum Meshesha Kifetew, Paolo Tonella (2018), Incremental Control Dependency Frontier Exploration for Many-Criteria Test Case Generation, Thelma Elita Colanzi, Phil McMinn (Eds.), In Search-Baed Software Engineering - 10th International Symposium, SSBSE 2018 - Proceedings p.309-324, Springer.

Tamas Szabo, Gábor Bergmann, Sebastian Erdweg, Markus Voelter (2018), Incrementalizing Lattice-Based Program Analyses in Datalog, In Proceedings of the ACM on Programming Languages Volume 2 p.1-29.

Tamas Szabo, Edlira Kuci, Matthijs Bijman, Mira Mezini, Sebastian Erdweg (2018), Incremental Overload Resolution in Object-Oriented Programming Languages, In ISSTA '18 Companion Proceedings for the ISSTA/ECOOP 2018 Workshops p.27-33, Association for Computing Machinery (ACM).

Casper Bach Poulsen, Arjen Rouvoet, Andrew Tolmach, Robbert Krebbers, Eelco Visser (2018), Intrinsically-Typed Definitional Interpreters for Imperative Languages, In Proceedings of the ACM on Programming Languages Volume 2 p.1-34.

Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Aleš Bizjak, Lars Birkedal, Derek Dreyer (2018), Iris from the ground up: A modular foundation for higher-order concurrent separation logic, In Journal of Functional Programming Volume 28 p.1-73.