| 2023 | VECoS | Safe AI in Autonomous Vehicles - Track at AISoLA 2023. | Falk Howar, Hardi Hungar |
| 2022 | ISoLA | Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022. | Axel Hessenkmper, Falk Howar, Hardi Hungar, Andreas Rausch |
| 2021 | ISoLA | Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. | Falk Howar, Hardi Hungar, Andreas Rausch |
| 2021 | ISoLA | Use Cases for Simulation in the Development of Automated Driving Systems. | Hardi Hungar |
| 2020 | ISoLA | A Concept of Scenario Space Exploration with Criticality Coverage Guarantees - Extended Abstract. | Hardi Hungar |
| 2018 | ISoLA | Scenario-Based Validation of Automated Driving Systems. | Hardi Hungar |
| 2014 | FMICS | Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. | Christian Ellen, Sven Sieverding, Hardi Hungar |
| 2011 | DATE | Using contract-based component specifications for virtual integration testing and architecture design. | Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand |
| 2007 | ATVA | 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, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz |
| 2006 | ATVA | Automatic Verification of Hybrid Systems with Large Discrete State Space. | Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz |
| 2003 | CAV | Domain-Specific Optimization in Automata Learning. | Hardi Hungar, Oliver Niese, Bernhard Steffen |
| 2003 | ITC | Test-Based Model Generation For Legacy Systems. | Hardi Hungar, Tiziana Margaria, Bernhard Steffen |
| 2003 | VMCAI | Behavior-Based Model Construction. | Bernhard Steffen, Hardi Hungar |
| 2002 | FASE | 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 |
| 2002 | FASE | Model Generation by Moderated Regular Extrapolation. | Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen |
| 1999 | MFCS | Model Checking and Higher-Order Recursion. | Hardi Hungar |
| 1994 | CAV | Model Checking of macro Processes. | Hardi Hungar |
| 1994 | CONCUR | Local Model Checking for Parallel Compositions of Context-Free Processes. | Hardi Hungar |
| 1993 | CAV | Combining Model Checking and Theorem Proving to Verify Parallel Processes. | Hardi Hungar |
| 1993 | ICALP | Local Model Checking for Context-Free Processes. | Hardi Hungar, Bernhard Steffen |
| 1993 | STACS | The Complexity of Verifying Functional Programs. | Hardi Hungar |
| 1991 | LICS | Complexity Bounds of Hoare-style Proof Systems | Hardi Hungar |
| 1988 | LICS | On the Existence of Effective Hoare Logics | Michal Grabowski, Hardi Hungar |