Mihai Herda

15 papers B 2C 1Misc 2Journal 1Unranked 6
YearRankTypeTitle / Venue / Authors
2020 — —
Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties.
Mihai Herda
2020 — ch.
Integration of Static and Dynamic Analysis Techniques for Checking Noninterference.
20 Years of KeY
Bernhard Beckert, Mihai Herda, Michael Kirsten, Shmuel S. Tyszberowicz
2019 — conf
Understanding Counterexamples for Relational Properties with DIbugger.
HCVS/PERR@ETAPS
Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert
2019 B conf
Using Relational Verification for Program Slicing.
SEFM
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
2019 Misc conf
Verification-based test case generation for information-flow properties.
SAC
Mihai Herda, Shmuel S. Tyszberowicz, Joachim Müssig, Bernhard Beckert
2018 — conf
A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode.
NordSec
Tobias Hamann, Mihai Herda, Heiko Mantel, Martin Mohr, David Schneider, Markus Tasch
2018 — conf
Towards a Notion of Coverage for Incomplete Program-Correctness Proofs.
ISoLA (2)
Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich
2018 — conf
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties.
TAP@STAF
Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert
2018 C conf
Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control.
ICFEM
Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning
2017 B conf
SemSlice: Exploiting Relational Verification for Automatic Program Slicing.
IFM
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
2016 Misc conf
Computing Specification-Sensitive Abstractions for Program Verification.
SETTA
Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri
2016 — ch.
Proof-based Test Case Generation.
Deductive Software Verification
Wolfgang Ahrendt, Christoph Gladisch, Mihai Herda
2015 — conf
First-Order Transitive Closure Axiomatization via Iterative Invariant Injections.
NFM
Aboubakr Achraf El Ghazi, Mana Taghdiri, Mihai Herda
2014 J jnl
Reducing the Complexity of Quantified Formulas via Variable Elimination.
CoRR
Aboubakr Achraf El Ghazi, Mattias Ulbrich, Mana Taghdiri, Mihai Herda
2014 — conf
The KeY Platform for Verification and Analysis of Java Programs.
VSTTE
Wolfgang Ahrendt, Bernhard Beckert, Daniel Bruns, Richard Bubel, Christoph Gladisch, Sarah Grebing, Reiner Hähnle, Martin Hentschel, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich