The KeY Platform for Verification and Analysis of Java Programs. - Wolfgang Ahrendt; Bernhard Beckert; Daniel Bruns; Richard Bubel; Christoph Gladisch; Sarah Grebing; Reiner Hähnle; Martin Hentschel 002; Mihai Herda; Vladimir Klebanov; Wojciech Mostowski; Christoph Scheben; et al. (VSTTE, 2014)

Reducing the Complexity of Quantified Formulas via Variable Elimination. - Aboubakr Achraf El Ghazi; Mattias Ulbrich; Mana Taghdiri; Mihai Herda (CoRR, 2014)

First-Order Transitive Closure Axiomatization via Iterative Invariant Injections. - Aboubakr Achraf El Ghazi; Mana Taghdiri; Mihai Herda (NFM, 2015)

Computing Specification-Sensitive Abstractions for Program Verification. - Tianhai Liu; Shmuel S. Tyszberowicz; Mihai Herda; Bernhard Beckert; Daniel Grahl; Mana Taghdiri (SETTA, 2016)

Proof-based Test Case Generation. - Wolfgang Ahrendt; Christoph Gladisch; Mihai Herda (Deductive Software Verification, 2016)

SemSlice: Exploiting Relational Verification for Automatic Program Slicing. - Bernhard Beckert; Thorsten Bormer; Stephan Gocht; Mihai Herda; Daniel Lentzsch; Mattias Ulbrich (IFM, 2017)

Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control. - Bernhard Beckert; Simon Bischof; Mihai Herda; Michael Kirsten; Marko Kleine Büning (ICFEM, 2018)

Towards a Notion of Coverage for Incomplete Program-Correctness Proofs. - Bernhard Beckert; Mihai Herda; Stefan Kobischke; Mattias Ulbrich (ISoLA (2), 2018)

A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode. - Tobias Hamann; Mihai Herda; Heiko Mantel; Martin Mohr; David Schneider 002; Markus Tasch (NordSec, 2018)

Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties. - Mihai Herda; Shmuel S. Tyszberowicz; Bernhard Beckert (TAP@STAF, 2018)

Verification-based test case generation for information-flow properties. - Mihai Herda; Shmuel S. Tyszberowicz; Joachim Müssig; Bernhard Beckert (SAC, 2019)

Using Relational Verification for Program Slicing. - Bernhard Beckert; Thorsten Bormer; Stephan Gocht; Mihai Herda; Daniel Lentzsch; Mattias Ulbrich (SEFM, 2019)

Understanding Counterexamples for Relational Properties with DIbugger. - Mihai Herda; Michael Kirsten; Etienne Brunner; Joana Plewnia; Ulla Scheler; Chiara Staudenmaier; Benedikt Wagner; Pascal Zwick; Bernhard Beckert (HCVS/PERR@ETAPS, 2019)

Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties. - Mihai Herda (2020)

Integration of Static and Dynamic Analysis Techniques for Checking Noninterference. - Bernhard Beckert; Mihai Herda; Michael Kirsten; Shmuel S. Tyszberowicz (20 Years of KeY, 2020)