Hardi Hungar

According to our database, Hardi Hungar authored at least 50 papers between 1988 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Safe AI in Autonomous Vehicles - Track at AISoLA 2023.

Falk Howar, Hardi Hungar

Proceedings of the Bridging the Gap Between AI and Reality, 2023

2022

Formal Methods for a Digital Industry - Industrial Track at ISoLA 2022.

Axel Hessenkämper, Falk Howar, Hardi Hungar, Andreas Rausch

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

2021

Use Cases for Simulation in the Development of Automated Driving Systems.

Hardi Hungar

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

Formal Methods for a Digital Industry - Industrial Day at ISoLA 2021.

Falk Howar, Hardi Hungar, Andreas Rausch

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation, 2021

2020

A Concept of Scenario Space Exploration with Criticality Coverage Guarantees - Extended Abstract.

Hardi Hungar

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

2018

Scenario-Based Validation of Automated Driving Systems.

Hardi Hungar

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Applying Decision Graphs in the Context of Automated Driving.

Hardi Hungar

Proceedings of the Models, Mindsets, 2018

2014

Detecting Consistencies and Inconsistencies of Pattern-Based Functional Requirements.

Christian Ellen, Sven Sieverding, Hardi Hungar

Proceedings of the Formal Methods for Industrial Critical Systems, 2014

2013

Opening up the Verification and Validation of Safety-Critical Software.

Hardi Hungar, Marc Behrens

Proceedings of the Software Engineering 2013 - Workshopband (inkl. Doktorandensymposium), Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar, 2013

2012

Components and Contracts: A Semantical Foundation for Compositional Refinement.

Hardi Hungar

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VIII, 2012

2011

Using contract-based component specifications for virtual integration testing and architecture design.

Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand

Proceedings of the Design, Automation and Test in Europe, 2011

2010

Using Guided Simulation to Assess Driver Assistance Systems.

Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter

Proceedings of the FORMS/FORMAT 2010, 2010

2009

An Approach to Discovery with miAamics and jABC.

Christian Kubczak, Tiziana Margaria, Bernhard Steffen, Christian Winkler, Hardi Hungar

Proceedings of the Semantic Web Services Challenge, Results from the First Year., 2009

2008

Preface.

Michaela Huhn, Hardi Hungar

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

Ergebnisse des Workshops "Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme".

Hardi Hungar, Erwin Reyzl

Proceedings of the Software Engineering 2008, 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

Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008

Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision.

Hardi Hungar

Proceedings of the Software Engineering 2008, 2008

2007

07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems.

Michaela Huhn, Hardi Hungar, Doron A. Peled

Proceedings of the Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06., 2007

07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems.

Michaela Huhn, Hardi Hungar, Doron A. Peled

Proceedings of the Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06., 2007

UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems.

Michaela Huhn, Hardi Hungar

Proceedings of the Model-Based Engineering of Embedded Real-Time Systems, 2007

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

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

UML-basierte Entwicklung sicherheitskritischer Systeme im Bahnbereich.

Hardi Hungar

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme II, 2006

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

Proceedings of the Automated Technology for Verification and Analysis, 2006

2005

Automatic Validation and Verification in a Model-Based Development Process.

Udo Brockmeyer, Werner Damm, Hardi Hungar, Bernhard Josko

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme I, 2005

2004

Behavior-based model construction.

Hardi Hungar, Bernhard Steffen

Int. J. Softw. Tools Technol. Transf., 2004

2003

Test-Based Model Generation For Legacy Systems.

Hardi Hungar, Tiziana Margaria, Bernhard Steffen

Proceedings of the Proceedings 2003 International Test Conference (ITC 2003), Breaking Test Interface Bottlenecks, 28 September, 2003

On the Verification of Cooperating Traffic Agents.

Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog

Proceedings of the Formal Methods for Components and Objects, 2003

Domain-Specific Optimization in Automata Learning.

Hardi Hungar, Oliver Niese, Bernhard Steffen

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

Model Generation for Legacy Systems.

Hardi Hungar, Tiziana Margaria, Bernhard Steffen

Proceedings of the Radical Innovations of Software and Systems Engineering in the Future, 2002

Model Generation by Moderated Regular Extrapolation.

Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen

Proceedings of the Fundamental Approaches to Software Engineering, 2002

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

Proceedings of the Fundamental Approaches to Software Engineering, 2002

1999

Model Checking and Higher-Order Recursion.

Hardi Hungar

Proceedings of the Mathematical Foundations of Computer Science 1999, 1999

Verification of Automotive Control Units.

Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen

Proceedings of the Correct System Design, 1999

1998

First-Order-CTL Model Checking.

Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

1997

A Compositional Real-Time Semantics of STATEMATE Designs.

Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli

Proceedings of the Compositionality: The Significant Difference, International Symposium, 1997

1995

Statecharts.

Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör

Proceedings of the Formal Development of Reactive Systems - Case Study Production Cell, 1995

Traverdi - Transformation and Verification of Distributed Systems.

Jürgen Bohn, Hardi Hungar

Proceedings of the KORSO, 1995

What if model checking must be truly symbolic.

Hardi Hungar, Orna Grumberg, Werner Damm

Proceedings of the Correct Hardware Design and Verification Methods, 1995

1994

Local Model-Checking for Context-Free Processes.

Hardi Hungar, Bernhard Steffen

Nord. J. Comput., 1994

Expressibility of the Semantics of Sequential Programs in First-Order Logic.

Hardi Hungar

Fundam. Informaticae, 1994

Specification and Verification Using a Visual Formalism on Top of Temporal Logic.

Hardi Hungar

Proceedings of the Formal Systems Specification, 1994

Local Model Checking for Parallel Compositions of Context-Free Processes.

Hardi Hungar

Proceedings of the CONCUR '94, 1994

Model Checking of macro Processes.

Hardi Hungar

Proceedings of the Computer Aided Verification, 6th International Conference, 1994

1993

The Complexity of Verifying Functional Programs.

Hardi Hungar

Proceedings of the STACS 93, 1993

Combining Model Checking and Theorem Proving to Verify Parallel Processes.

Hardi Hungar

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1991

Complexity of Proving Program Correctness.

Hardi Hungar

Proceedings of the Theoretical Aspects of Computer Software, 1991

Complexity Bounds of Hoare-style Proof Systems

Hardi Hungar

Proceedings of the Sixth Annual Symposium on Logic in Computer Science (LICS '91), 1991

Correstness of Programs over Poor Signatures.

Hardi Hungar

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1991

1990

Über Komplexitätsfragen Hoarescher Beweissysteme: effiziente Beweiserstellung und komplexitätsbedingte Grenzen bestimmter Systeme.

Hardi Hungar

PhD thesis, 1990

1988

On the Existence of Effective Hoare Logics

Michal Grabowski, Hardi Hungar

Proceedings of the Third Annual Symposium on Logic in Computer Science (LICS '88), 1988