Hardi Hungar

Publication Activity (10 Years)

Years Active: 1988-2023
Publications (10 Years): 7

Top Venues

ISoLA

ISoLA (3)

ISoLA (4)

Models, Mindsets, Meta

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Falk Howar, Hardi Hungar
Safe AI in Autonomous Vehicles - Track at AISoLA 2023. AISoLA (2023)
Axel Hessenkämper, Falk Howar, Hardi Hungar, Andreas Rausch
Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022. ISoLA (4) (2022)
Hardi Hungar
Use Cases for Simulation in the Development of Automated Driving Systems. ISoLA (2021)
Falk Howar, Hardi Hungar, Andreas Rausch
Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021. ISoLA (2021)
Hardi Hungar
A Concept of Scenario Space Exploration with Criticality Coverage Guarantees - Extended Abstract. ISoLA (3) (2020)
Hardi Hungar
Applying Decision Graphs in the Context of Automated Driving. Models, Mindsets, Meta (2018)
Hardi Hungar
Scenario-Based Validation of Automated Driving Systems. ISoLA (3) (2018)
Christian Ellen, Sven Sieverding, Hardi Hungar
Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements. FMICS (2014)
Hardi Hungar, Marc Behrens
Opening up the Verification and Validation of Safety-Critical Software. Software Engineering (Workshops) (2013)
Hardi Hungar
Components and Contracts: A Semantical Foundation for Compositional Refinement. MBEES (2012)
Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand
Using contract-based component specifications for virtual integration testing and architecture design. DATE (2011)
Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter
Using Guided Simulation to Assess Driver Assistance Systems. MBEES (2011)
Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter
Using Guided Simulation to Assess Driver Assistance Systems. FORMS/FORMAT (2010)
Michaela Huhn, Hardi Hungar
Preface. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Hardi Hungar, Erwin Reyzl
Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung. Software Engineering (2008)
Hardi Hungar, Erwin Reyzl
Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung. Software Engineering (Workshops) (2008)
Hardi Hungar
Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision. Software Engineering (Workshops) (2008)
Hardi Hungar, Erwin Reyzl
Ergebnisse des Workshops "Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme". Software Engineering (Workshops) (2008)
Werner Damm, Stefan Disch, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space. ATVA (2007)
Michaela Huhn, Hardi Hungar, Doron A. Peled
07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems. Tools for the Model-based Development of Certifiable, Dependable Systems (2007)
Michaela Huhn, Hardi Hungar, Doron A. Peled
07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems. Tools for the Model-based Development of Certifiable, Dependable Systems (2007)
Michaela Huhn, Hardi Hungar
UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems. Model-Based Engineering of Embedded Real-Time Systems (2007)
Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz
Automatic Verification of Hybrid Systems with Large Discrete State Space. ATVA (2006)
Hardi Hungar
UML-basierte Entwicklung sicherheitskritischer Systeme im Bahnbereich. MBEES (2006)
Udo Brockmeyer, Werner Damm, Hardi Hungar, Bernhard Josko
Automatic Validation and Verification in a Model-Based Development Process. MBEES (2005)
Hardi Hungar, Bernhard Steffen
Behavior-based model construction. Int. J. Softw. Tools Technol. Transf. 6 (1) (2004)
Hardi Hungar, Oliver Niese, Bernhard Steffen
Domain-Specific Optimization in Automata Learning. CAV (2003)
Hardi Hungar, Tiziana Margaria, Bernhard Steffen
Test-Based Model Generation For Legacy Systems. ITC (2003)
Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog
On the Verification of Cooperating Traffic Agents. FMCO (2003)
Bernhard Steffen, Hardi Hungar
Behavior-Based Model Construction. VMCAI (2003)
Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, Hans-Dieter Ide
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems. FASE (2002)
Hardi Hungar, Tiziana Margaria, Bernhard Steffen
Model Generation for Legacy Systems. RISSEF (2002)
Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen
Model Generation by Moderated Regular Extrapolation. FASE (2002)
Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen
Verification of Automotive Control Units. Correct System Design (1999)
Hardi Hungar
Model Checking and Higher-Order Recursion. MFCS (1999)
Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster
First-Order-CTL Model Checking. FSTTCS (1998)
Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli
A Compositional Real-Time Semantics of STATEMATE Designs. COMPOS (1997)
Hardi Hungar, Orna Grumberg, Werner Damm
What if model checking must be truly symbolic. CHARME (1995)
Hardi Hungar
Model Checking of macro Processes. CAV (1994)
Hardi Hungar
Local Model Checking for Parallel Compositions of Context-Free Processes. CONCUR (1994)
Hardi Hungar
Specification and Verification Using a Visual Formalism on Top of Temporal Logic. Formal Systems Specification (1994)
Hardi Hungar, Bernhard Steffen
Local Model-Checking for Context-Free Processes. Nord. J. Comput. 1 (3) (1994)
Hardi Hungar
Expressibility of the Semantics of Sequential Programs in First-Order Logic. Fundam. Informaticae 21 (4) (1994)
Hardi Hungar, Bernhard Steffen
Local Model Checking for Context-Free Processes. ICALP (1993)
Hardi Hungar
Combining Model Checking and Theorem Proving to Verify Parallel Processes. CAV (1993)
Hardi Hungar
The Complexity of Verifying Functional Programs. STACS (1993)
Hardi Hungar
Correstness of Programs over Poor Signatures. FSTTCS (1991)
Hardi Hungar
Complexity of Proving Program Correctness. TACS (1991)
Hardi Hungar
Complexity Bounds of Hoare-style Proof Systems LICS (1991)
Michal Grabowski, Hardi Hungar
On the Existence of Effective Hoare Logics LICS (1988)

Hardi Hungar.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hardi Hungar