| 2026 | FASE | Timed Contract Automata. | Bernhard Beckert, Andreas Bremer, Alexander Weigl |
| 2025 | SMC | Leveraging Industrial Automation Boundaries and Regulation for Scope Reduction in Software Validation. | Yizhi Wang, Birgit Vogel-Heuser, Jan Wilch, Cedric Wagner, Andreas Bremer, Alexander Weigl, Bernhard Beckert |
| 2024 | FM | The Java Verification Tool KeY:A Tutorial. | Bernhard Beckert, Richard Bubel, Daniel Drodt, Reiner Hhnle, Florian Lanzinger, Wolfram Pfeifer, Mattias Ulbrich, Alexander Weigl |
| 2024 | SAC | Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. | Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl |
| 2023 | FM | Are Formal Contracts a Useful Digital Twin of Software Systems? | Jonas Schiffl, Alexander Weigl |
| 2023 | IFM | Verify This: Memcached - A Practical Long-Term Challenge for the Integration of Formal Methods. | Gidon Ernst, Alexander Weigl |
| 2022 | ICTAC | Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. | Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl |
| 2022 | IFM | Formal Specification and Verification of JDK's Identity Hash Map Implementation. | Martin de Boer, Stijn de Gouw, Jonas Klamroth, Christian Jung, Mattias Ulbrich, Alexander Weigl |
| 2022 | ISoLA | A Refactoring for Data Minimisation Using Formal Verification. | Florian Lanzinger, Mattias Ulbrich, Alexander Weigl |
| 2021 | ESORICS | Towards a Formal Approach for Data Minimization in Programs (Short Paper). | Florian Lanzinger, Alexander Weigl |
| 2021 | SEFM | Upper Bound Computation of Information Leakages for Unbounded Recursion. | Johannes Bechberger, Alexander Weigl |
| 2020 | ICSE | Relational Test Tables: A Practical Specification Language for Evolution and Security. | Alexander Weigl, Mattias Ulbrich, Suhyun Cha, Bernhard Beckert, Birgit Vogel-Heuser |
| 2020 | ISoLA | Modular Regression Verification for Reactive Systems. | Alexander Weigl, Mattias Ulbrich, Daniel Lentzsch |
| 2019 | INDIN | On the Preservation of the Trust by Regression Verification of PLC software for Cyber-Physical Systems of Systems. | Suhyun Cha, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert, Kathrin Land, Birgit Vogel-Heuser |
| 2017 | INDIN | Generation of monitoring functions in production automation using test specifications. | Suhyun Cha, Sebastian Ulewicz, Birgit Vogel-Heuser, Alexander Weigl, Mattias Ulbrich, Bernhard Beckert |
| 2017 | INDIN | Generalized test tables: A powerful and intuitive specification language for reactive systems. | Alexander Weigl, Franziska Wiebe, Mattias Ulbrich, Sebastian Ulewicz, Suhyun Cha, Michael Kirsten, Bernhard Beckert, Birgit Vogel-Heuser |
| 2017 | IFM | Generalised Test Tables: A Practical Specification Language for Reactive Systems. | Bernhard Beckert, Suhyun Cha, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl |
| 2016 | ESORICS | Efficient SAT-Based Pre-image Enumeration for Quantitative Information Flow in Programs. | Alexander Weigl |
| 2015 | ETFA | Proving equivalence between control software variants for Programmable Logic Controllers. | Sebastian Ulewicz, Birgit Vogel-Heuser, Mattias Ulbrich, Alexander Weigl, Bernhard Beckert |
| 2015 | ICFEM | Regression Verification for Programmable Logic Controller Software. | Bernhard Beckert, Mattias Ulbrich, Birgit Vogel-Heuser, Alexander Weigl |