Mihai Herda

ORCID

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 10

Top Venues

Karlsruhe Institute of Technology, Germany (PHD)

Education History

Karlsruhe Institute of Technology, Germany

PHD

Publications

Mihai Herda, Shmuel S. Tyszberowicz, Joachim Müssig, Bernhard Beckert
Verification-based test case generation for information-flow properties. SAC (2019)
Mihai Herda, Michael Kirsten, Etienne Brunner, Joana Plewnia, Ulla Scheler, Chiara Staudenmaier, Benedikt Wagner, Pascal Zwick, Bernhard Beckert
Understanding Counterexamples for Relational Properties with DIbugger. HCVS/PERR@ETAPS (2019)
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
Using Relational Verification for Program Slicing. SEFM (2019)
Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert
Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties. TAP@STAF (2018)
Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich
Towards a Notion of Coverage for Incomplete Program-Correctness Proofs. ISoLA (2) (2018)
Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Büning
Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control. ICFEM (2018)
Tobias Hamann, Mihai Herda, Heiko Mantel, Martin Mohr, David Schneider, Markus Tasch
A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode. NordSec (2018)
Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich
SemSlice: Exploiting Relational Verification for Automatic Program Slicing. IFM (2017)
Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri
Computing Specification-Sensitive Abstractions for Program Verification. SETTA (2016)
Aboubakr Achraf El Ghazi, Mana Taghdiri, Mihai Herda
First-Order Transitive Closure Axiomatization via Iterative Invariant Injections. NFM (2015)
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
The KeY Platform for Verification and Analysis of Java Programs. VSTTE (2014)
Aboubakr Achraf El Ghazi, Mattias Ulbrich, Mana Taghdiri, Mihai Herda
Reducing the Complexity of Quantified Formulas via Variable Elimination. CoRR (2014)

Mihai Herda.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Mihai Herda