Zur Präsentation und Veröffentlichung angenommene Paper
- A Graph-Based Framework for Model-Driven Optimization Facilitating Impact Analysis of Mutation Operator Properties Stefan John, Jens Kosiol, Leen Lambers and Gabriele Taentzer SE, February 24, Linz
- Foundations for Query-based Runtime Monitoring of Temporal Properties over Runtime Models Lucas Sakizloglou, Holger Giese, Leen Lambers FASE, April 24, Luxembourg
- On an Exemplar Supporting Model-based Quality Assurance Research on Healthcare Systems-of-Systems Lucas Sakizloglou, Taisiya Khakharova, Florian Rühs, Leen Lambers SESoS, April 24, Lisbon
- On the Application of Model-Driven Optimization to Business Processes Gabriele Taentzer, Jens Kosiol, Leen Lambers Petri Nets, June 24, Geneva
- Taint Analysis for Graph APIs Focusing on Broken Access Control (EASST Best Software Science Paper Award) Leen Lambers, Lucas Sakizloglou, Osama Al-Wardi, Taisiya Khakharova ICGT, July 24, Twente
- Coinductive Techniques for Checking Satisfiability of Generalized Nested Conditions Lara Stoltenow, Barbara König, Sven Schneider, Andrea Corradini, Leen Lambers, Fernando Orejas CONCUR, September 24, Calgary
