Mihai Herda

According to our database, Mihai Herda authored at least 15 papers between 2014 and 2020.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2020

Integration of Static and Dynamic Analysis Techniques for Checking Noninterference.

Bernhard Beckert, Mihai Herda, Michael Kirsten, Shmuel S. Tyszberowicz

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Combining Static and Dynamic Program Analysis Techniques for Checking Relational Properties.

Mihai Herda

PhD thesis, 2020

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

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, 2019

Using Relational Verification for Program Slicing.

Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich

Proceedings of the Software Engineering and Formal Methods - 17th International Conference, 2019

Verification-based test case generation for information-flow properties.

Mihai Herda, Shmuel S. Tyszberowicz, Joachim Müssig, Bernhard Beckert

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

2018

Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties.

Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert

Proceedings of the Tests and Proofs - 12th International Conference, 2018

A Uniform Information-Flow Security Benchmark Suite for Source Code and Bytecode.

Tobias Hamann, Mihai Herda, Heiko Mantel, Martin Mohr, David Schneider, Markus Tasch

Proceedings of the Secure IT Systems - 23rd Nordic Conference, NordSec 2018, Oslo, Norway, 2018

Towards a Notion of Coverage for Incomplete Program-Correctness Proofs.

Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

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

Proceedings of the Formal Methods and Software Engineering, 2018

2017

SemSlice: Exploiting Relational Verification for Automatic Program Slicing.

Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

2016

Proof-based Test Case Generation.

Wolfgang Ahrendt, Christoph Gladisch, Mihai Herda

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Computing Specification-Sensitive Abstractions for Program Verification.

Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri

Proceedings of the Dependable Software Engineering: Theories, Tools, and Applications, 2016

2015

First-Order Transitive Closure Axiomatization via Iterative Invariant Injections.

Aboubakr Achraf El Ghazi, Mana Taghdiri, Mihai Herda

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

Reducing the Complexity of Quantified Formulas via Variable Elimination.

Aboubakr Achraf El Ghazi, Mattias Ulbrich, Mana Taghdiri, Mihai Herda

CoRR, 2014

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, Mihai Herda, Vladimir Klebanov, Wojciech Mostowski, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014