Mihai Herda
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2016–2019
Best venue rank
Multiconference
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | SAC | Verification-based test case generation for information-flow properties. | Mihai Herda, Shmuel S. Tyszberowicz, Joachim Mssig, Bernhard Beckert |
| 2019 | SEFM | Using Relational Verification for Program Slicing. | Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich |
| 2018 | ICFEM | Using Theorem Provers to Increase the Precision of Dependence Analysis for Information Flow Control. | Bernhard Beckert, Simon Bischof, Mihai Herda, Michael Kirsten, Marko Kleine Bning |
| 2018 | ISoLA | Towards a Notion of Coverage for Incomplete Program-Correctness Proofs. | Bernhard Beckert, Mihai Herda, Stefan Kobischke, Mattias Ulbrich |
| 2018 | TAP | Using Dependence Graphs to Assist Verification and Testing of Information-Flow Properties. | Mihai Herda, Shmuel S. Tyszberowicz, Bernhard Beckert |
| 2017 | IFM | SemSlice: Exploiting Relational Verification for Automatic Program Slicing. | Bernhard Beckert, Thorsten Bormer, Stephan Gocht, Mihai Herda, Daniel Lentzsch, Mattias Ulbrich |
| 2016 | SETTA | Computing Specification-Sensitive Abstractions for Program Verification. | Tianhai Liu, Shmuel S. Tyszberowicz, Mihai Herda, Bernhard Beckert, Daniel Grahl, Mana Taghdiri |