On the Existence of Effective Hoare Logics - Michal Grabowski; Hardi Hungar (LICS, 1988)

Über Komplexitätsfragen Hoarescher Beweissysteme: effiziente Beweiserstellung und komplexitätsbedingte Grenzen bestimmter Systeme. - Hardi Hungar (1990)

Correstness of Programs over Poor Signatures. - Hardi Hungar (FSTTCS, 1991)

Complexity Bounds of Hoare-style Proof Systems - Hardi Hungar (LICS, 1991)

Complexity of Proving Program Correctness. - Hardi Hungar (TACS, 1991)

Combining Model Checking and Theorem Proving to Verify Parallel Processes. - Hardi Hungar (CAV, 1993)

The Complexity of Verifying Functional Programs. - Hardi Hungar (STACS, 1993)

Model Checking of macro Processes. - Hardi Hungar (CAV, 1994)

Local Model Checking for Parallel Compositions of Context-Free Processes. - Hardi Hungar (CONCUR, 1994)

Specification and Verification Using a Visual Formalism on Top of Temporal Logic. - Hardi Hungar (Formal Systems Specification, 1994)

Expressibility of the Semantics of Sequential Programs in First-Order Logic. - Hardi Hungar (Fundam. Informaticae, 1994)

Local Model-Checking for Context-Free Processes. - Hardi Hungar; Bernhard Steffen (Nord. J. Comput., 1994)

What if model checking must be truly symbolic. - Hardi Hungar; Orna Grumberg; Werner Damm (CHARME, 1995)

Traverdi - Transformation and Verification of Distributed Systems. - Jürgen Bohn 002; Hardi Hungar (KORSO Book, 1995)

Statecharts. - Werner Damm; Hardi Hungar; Peter Kelb; Rainer Schlör (Formal Development of Reactive Systems, 1995)

A Compositional Real-Time Semantics of STATEMATE Designs. - Werner Damm; Bernhard Josko; Hardi Hungar; Amir Pnueli (COMPOS, 1997)

First-Order-CTL Model Checking. - Jürgen Bohn 002; Werner Damm; Orna Grumberg; Hardi Hungar; Karen Laster (FSTTCS, 1998)

Verification of Automotive Control Units. - Tom Bienmüller; Jürgen Bohn 002; Henning Brinkmann; Udo Brockmeyer; Werner Damm; Hardi Hungar; Peter Jansen 003 (Correct System Design, 1999)

Model Checking and Higher-Order Recursion. - Hardi Hungar (MFCS, 1999)

Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. - Andreas Hagerer; Hardi Hungar; Tiziana Margaria; Oliver Niese; Bernhard Steffen; Hans-Dieter Ide (FASE, 2002)

Model Generation by Moderated Regular Extrapolation. - Andreas Hagerer; Hardi Hungar; Oliver Niese; Bernhard Steffen (FASE, 2002)

Model Generation for Legacy Systems. - Hardi Hungar; Tiziana Margaria; Bernhard Steffen (RISSEF, 2002)

Domain-Specific Optimization in Automata Learning. - Hardi Hungar; Oliver Niese; Bernhard Steffen (CAV, 2003)

On the Verification of Cooperating Traffic Agents. - Werner Damm; Hardi Hungar; Ernst-Rüdiger Olderog (FMCO, 2003)

Test-Based Model Generation For Legacy Systems. - Hardi Hungar; Tiziana Margaria; Bernhard Steffen (ITC, 2003)

Behavior-based model construction. - Hardi Hungar; Bernhard Steffen (Int. J. Softw. Tools Technol. Transf., 2004)

Automatic Validation and Verification in a Model-Based Development Process. - Udo Brockmeyer; Werner Damm; Hardi Hungar; Bernhard Josko (MBEES, 2005)

Automatic Verification of Hybrid Systems with Large Discrete State Space. - Werner Damm; Stefan Disch; Hardi Hungar; Jun Pang 001; Florian Pigorsch; Christoph Scholl 001; Uwe Waldmann; Boris Wirtz (ATVA, 2006)

UML-basierte Entwicklung sicherheitskritischer Systeme im Bahnbereich. - Hardi Hungar (MBEES, 2006)

Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. - Werner Damm; Stefan Disch; Hardi Hungar; Swen Jacobs; Jun Pang 001; Florian Pigorsch; Christoph Scholl 001; Uwe Waldmann; Boris Wirtz (ATVA, 2007)

UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems. - Michaela Huhn; Hardi Hungar (Model-Based Engineering of Embedded Real-Time Systems, 2007)

07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems. - Michaela Huhn; Hardi Hungar; Doron A. Peled (Tools for the Model-based Development of Certifiable, Dependable Systems, 2007)

07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems. - Michaela Huhn; Hardi Hungar; Doron A. Peled (Tools for the Model-based Development of Certifiable, Dependable Systems, 2007)

Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision. - Hardi Hungar (Software Engineering (Workshops), 2008)

Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung. - Hardi Hungar; Erwin Reyzl (Software Engineering, 2008)

Ergebnisse des Workshops "Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme". - Hardi Hungar; Erwin Reyzl (Software Engineering (Workshops), 2008)

Preface. - Michaela Huhn; Hardi Hungar (SafeCert@ETAPS, 2008)

An Approach to Discovery with miAamics and jABC. - Christian Kubczak; Tiziana Margaria; Bernhard Steffen; Christian Winkler; Hardi Hungar (Semantic Web Services Challenge, 2009)

Using Guided Simulation to Assess Driver Assistance Systems. - Martin Fränzle; Tayfun Gezgin; Hardi Hungar; Stefan Puch; Gerald Sauter (FORMS/FORMAT, 2010)

Using contract-based component specifications for virtual integration testing and architecture design. - Werner Damm; Hardi Hungar; Bernhard Josko; Thomas Peikenkamp; Ingo Stierand (DATE, 2011)

Components and Contracts: A Semantical Foundation for Compositional Refinement. - Hardi Hungar (MBEES, 2012)

Opening up the Verification and Validation of Safety-Critical Software. - Hardi Hungar; Marc Behrens (Software Engineering (Workshops), 2013)

Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. - Christian Ellen; Sven Sieverding; Hardi Hungar (FMICS, 2014)

Applying Decision Graphs in the Context of Automated Driving. - Hardi Hungar (Models, Mindsets, Meta, 2018)

Scenario-Based Validation of Automated Driving Systems. - Hardi Hungar (ISoLA (3), 2018)

A Concept of Scenario Space Exploration with Criticality Coverage Guarantees - Extended Abstract. - Hardi Hungar (ISoLA (3), 2020)

Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. - Falk Howar; Hardi Hungar; Andreas Rausch 001 (ISoLA, 2021)

Use Cases for Simulation in the Development of Automated Driving Systems. - Hardi Hungar (ISoLA, 2021)

Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022. - Axel Hessenkämper; Falk Howar; Hardi Hungar; Andreas Rausch 001 (ISoLA (4), 2022)

Safe AI in Autonomous Vehicles - Track at AISoLA 2023. - Falk Howar; Hardi Hungar (AISoLA, 2023)