HOME | LEGALS | SITEMAP | KIT

Mihai Herda

Mihai Herda 2014 M.Sc. Mihai Herda - Researcher / PhD Student
Am Fasanengarten 5
Building 50.34
Office 227
76131 Karlsruhe
Germany

Tel.: + 49 721 608 43856
Fax: + 49 721 608 44021
Email: herda∂kit edu

Projects



Teaching

  • Praxis der Softwareentwicklung: WS 14/15
  • Proseminar: WS 14/15, SS 15, WS 15/16, SS 16
  • Praxis der Forschung: WS 15/16 , SS 16, WS 16/17


  • Publications

    Publications

    2017
    Title Author(s) Source
    SemSlice: Exploiting Relational Verification for Automatic Program SlicingBernhard Beckert
    Thorsten Bormer
    Stephan Gocht
    Mihai Herda
    Daniel Lentzsch
    Mattias Ulbrich
    13th International Conference on integrated Formal Methods (iFM 2017)
    RIFL 1.1: A Common Specification Language for Information-Flow RequirementsThomas Bauereiß
    Simon Greiner
    Mihai Herda
    Michael Kirsten
    Ximeng Li
    Heiko Mantel
    Martin Mohr
    Matthias Perner
    David Schneider
    Markus Tasch
    TU Darmstadt TUD-CS-2017-0225
    Combining Graph-Based and Deduction-Based Information-Flow AnalysisBernhard Beckert
    Simon Bischof
    Mihai Herda
    Michael Kirsten
    Marko Kleine Büning
    5th Workshop on Hot Issues in Security Principles and Trust (HotSpot 2017) affiliated with ETAPS 2017: European Joint Conferences on Theory and Practice of Software
    CoCoME with SecuritySimon Greiner
    Mihai Herda
    Karlsruhe Institute of Technology, Faculty of Informatics
    2016
    Title Author(s) Source
    Proof-based Test Case GenerationWolfgang Ahrendt
    Christoph Gladisch
    Mihai Herda
    Deductive Software Verification - The KeY Book: From Theory to Practice
    Computing Specification-Sensitive Abstractions for Program VerificationTianhai Liu
    Shmuel Tyszberowicz
    Mihai Herda
    Bernhard Beckert
    Daniel Grahl
    Mana Taghdiri
    Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016)
    2015
    Title Author(s) Source
    Poster: Security in E-VotingDaniel Bruns
    Huy Quoc Do
    Simon Greiner
    Mihai Herda
    Martin Mohr
    Enrico Scapin
    Tomasz Truderung
    Bernhard Beckert
    Ralf Küsters
    Heiko Mantel
    Richard Gay
    36th IEEE Symposium on Security and Privacy (S&P 2015), Poster Session
    First-Order Transitive Closure Axiomatization via Iterative Invariant InjectionsAboubakr Achraf El Ghazi
    Mana Taghdiri
    Mihai Herda
    7th NASA Formal Methods Symposium (NFM 2015)
    2014
    Title Author(s) Source
    The KeY Platform for Verification and Analysis of Java ProgramsWolfgang 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
    6th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2014) 8471
    Generating Bounded Counterexamples for KeY Proof ObligationsMihai HerdaKarlsruhe Institute of Technology (January 2014)
    2013
    Title Author(s) Source
    Reducing the Complexity of Quantified Formulas via Variable EliminationAboubakr Achraf El Ghazi
    Mattias Ulbrich
    Mana Taghdiri
    Mihai Herda
    11th International Workshop on Satisfiability Modulo Theories (SMT 2013)