Proving equivalence between control software variants for Programmable Logic Controllers. - Sebastian Ulewicz; Birgit Vogel-Heuser; Mattias Ulbrich; Alexander Weigl; Bernhard Beckert (ETFA, 2015)

Regression Verification for Programmable Logic Controller Software. - Bernhard Beckert; Mattias Ulbrich; Birgit Vogel-Heuser; Alexander Weigl (ICFEM, 2015)

Efficient SAT-Based Pre-image Enumeration for Quantitative Information Flow in Programs. - Alexander Weigl (DPM/QASA@ESORICS, 2016)

Sound Probabilistic #SAT with Projection. - Vladimir Klebanov; Alexander Weigl; Jörg Weisbarth (QAPL, 2016)

Generalised Test Tables: A Practical Specification Language for Reactive Systems. - Bernhard Beckert; Suhyun Cha; Mattias Ulbrich; Birgit Vogel-Heuser; Alexander Weigl (IFM, 2017)

Generation of monitoring functions in production automation using test specifications. - Suhyun Cha; Sebastian Ulewicz; Birgit Vogel-Heuser; Alexander Weigl; Mattias Ulbrich; Bernhard Beckert (INDIN, 2017)

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 (INDIN, 2017)

Achieving delta description of the control software for an automated production system evolution. - Suhyun Cha; Alexander Weigl; Mattias Ulbrich; Bernhard Beckert; Birgit Vogel-Heuser (CASE, 2018)

Relational Equivalence Proofs Between Imperative and MapReduce Algorithms. - Bernhard Beckert; Timo Bingmann; Moritz Kiefer; Peter Sanders 001; Mattias Ulbrich; Alexander Weigl (VSTTE, 2018)

Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU. - Suhyun Cha; Alexander Weigl; Mattias Ulbrich; Bernhard Beckert; Birgit Vogel-Heuser (Autom., 2018)

Proving Equivalence Between Imperative and MapReduce Implementations Using Program Transformations. - Bernhard Beckert; Timo Bingmann; Moritz Kiefer; Peter Sanders 001; Mattias Ulbrich; Alexander Weigl (MARS/VPT@ETAPS, 2018)

Debugging Program Verification Proof Scripts (Tool Paper). - Bernhard Beckert; Sarah Grebing; Alexander Weigl (CoRR, 2018)

Formal Verification of Evolutionary Changes. - Bernhard Beckert; Jakob Mund; Mattias Ulbrich; Alexander Weigl (Managed Software Evolution, 2019)

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 (INDIN, 2019)

Relational Test Tables: A Practical Specification Language for Evolution and Security. - Alexander Weigl; Mattias Ulbrich; Suhyun Cha; Bernhard Beckert; Birgit Vogel-Heuser (FormaliSE@ICSE, 2020)

Modular Regression Verification for Reactive Systems. - Alexander Weigl; Mattias Ulbrich; Daniel Lentzsch (ISoLA (2), 2020)

The VerifyThis Collaborative Long Term Challenge. - Marieke Huisman; Raúl E. Monti; Mattias Ulbrich; Alexander Weigl (20 Years of KeY, 2020)

Towards a Formal Approach for Data Minimization in Programs (Short Paper). - Florian Lanzinger; Alexander Weigl (DPM/CBT@ESORICS, 2021)

Runtime Verification of Generalized Test Tables. - Alexander Weigl; Mattias Ulbrich; Shmuel S. Tyszberowicz; Jonas Klamroth (NFM, 2021)

Quantifying Software Reliability via Model-Counting. - Samuel Teuber; Alexander Weigl (QEST, 2021)

Upper Bound Computation of Information Leakages for Unbounded Recursion. - Johannes Bechberger; Alexander Weigl (SEFM, 2021)

Table-based formal specification approaches for control engineers - empirical studies of usability. - Suhyun Cha; Birgit Vogel-Heuser; Alexander Weigl; Mattias Ulbrich; Bernhard Beckert (IET Cyper-Phys. Syst.: Theory & Appl., 2021)

Scalability and precision by combining expressive type systems and deductive verification. - Florian Lanzinger; Alexander Weigl; Mattias Ulbrich; Werner Dietl (Proc. ACM Program. Lang., 2021)

Formal Specification and Verification for Automated Production Systems. - Alexander Weigl (2021)

Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems. - Bernhard Beckert; Mattias Ulbrich; Birgit Vogel-Heuser; Alexander Weigl (ICTAC, 2022)

A Refactoring for Data Minimisation Using Formal Verification. - Florian Lanzinger; Mattias Ulbrich; Alexander Weigl (ISoLA (2), 2022)

Static Capability-Based Security for Smart Contracts. - Jonas Schiffl; Alexander Weigl; Bernhard Beckert (DAPPS, 2023)

Are Formal Contracts a Useful Digital Twin of Software Systems? - Jonas Schiffl; Alexander Weigl (FMDT@FM, 2023)

Verify This: Memcached - A Practical Long-Term Challenge for the Integration of Formal Methods. - Gidon Ernst; Alexander Weigl (iFM, 2023)

The VerifyThis Collaborative Long-Term Challenge Series. - Wolfgang Ahrendt; Gidon Ernst; Paula Herber; Marieke Huisman; Raúl E. Monti; Mattias Ulbrich; Alexander Weigl (TOOLympics@ETAPS, 2023)

Formal Specification and Verification of JDK's Identity Hash Map Implementation. - Martin de Boer; Stijn de Gouw; Jonas Klamroth; Christian Jung 003; Mattias Ulbrich; Alexander Weigl (Formal Aspects Comput., 2023)

The Java Verification Tool KeY:A Tutorial. - Bernhard Beckert; Richard Bubel; Daniel Drodt; Reiner Hähnle; Florian Lanzinger; Wolfram Pfeifer; Mattias Ulbrich; Alexander Weigl (FM (2), 2024)

Contract Automata: A Specification Language for Mode-Based Systems. - Alexander Weigl; Joshua Bachmeier; Bernhard Beckert; Mattias Ulbrich (FormaliSE@ICSE, 2024)

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. - Florian Lanzinger; Christian Martin; Frederik Reiche; Samuel Teuber; Robert Heinrich; Alexander Weigl (SAC, 2024)

The Java Verification Tool KeY: A Tutorial. - Bernhard Beckert; Richard Bubel; Daniel Drodt; Reiner Hähnle; Florian Lanzinger; Wolfram Pfeifer; Mattias Ulbrich; Alexander Weigl (Zenodo, 2024)

KeY CLI, Release 2.13. - Wolfgang Ahrendt; Bernhard Beckert; Richard Bubel; Reiner Hähnle; Mattias Ulbrich; Alexander Weigl (Zenodo, 2024)