Person

PD Dr. Hardi Hungar

Research and Developement Division

Verkehr / Safety Analysis & Verification

Technology-Cluster

Dependable System Design

Responsibility

Verkehr / Safety Analysis & Verification: Technologieclusterleiter

Room

SEG 2

Phone

+49 441 9722-521

fax

(0441) 9722-502

Address

OFFIS

E-Mail

hardi.hungar [ A T ] offis.de

Publications

2011

Title

Using Contract-based Component Specifications for Virtual Integration Testing and Architecture Design

Title of Conference

DATE 2011

Alle Autoren

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

Year

2011

Title

Using Guided Simulation to Assess Driver Assistance Systems

Title of Conference

FORMS/FORMAT 2010

Year

2011

Title

Predicting the Effect of Driver Assistance via Simulation

Title of Conference

Human Modelling in Assisted Transportation 2010 (HMAT)

Year

2011

Title

Compositionality with Strong Assumptions

Title of Conference

Nordic Workshop on Programming Theory

Alle Autoren

Hungar, Hardi

Year

2011

Title

Architecture Modeling

Title of Conference

OFFIS Technical Report

Alle Autoren

Andreas Baumgart, Eckard B¨ode, Matthias B¨uker, Werner Damm, G¨unter Ehmen, Tayfun Gezgin, Stefan Henkler, Hardi Hungar, Bernhard Josko, Markus Oertel, Thomas Peikenkamp, Philipp Reinkemeier, Ingo Stierand, Raphael Weber

Year

2011

2010

Title

UML for Software Safety and Certification: Model-Based Development of Safety-critical Software-Intensive Systems

booktitle

Model-Based Engineering of Embedded Real-Time Systems

Alle Autoren

Huhn, Michaela; Hungar, Hardi

Year

2010

2009

Title

Integrated Modeling for Safe Transportation - Driver modeling and driver experiments.

booktitle

Fahrermodellierung in Wissenschaft und Wirtschaft, 2. Berliner Fachtagung für Fahrermodellierung

Alle Autoren

Baumann, M.; Colonius, H.; Hungar. H.; Köster, F.; Langner, M.; Lüdtke, A.; Möbus, C.; Peinke, J.; Puch, S.; Schiessl, C.; Steenken, R.; Weber, L.

Year

2009

Title

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems (SafeCert 2008)

booktitle

Electronic Notes in Theoretical Computer Science

Title of Conference

Certification of Safety-Critical Software Controlled Systems (SafeCert 2008)

Alle Autoren

Huhn, Michaela; Hungar, Hardi

Year

2009

2007

Title

OPRAIL - Normenkonforme Entwicklung sicherheitsrelevanter Software unter Einsatz der UML

booktitle

SIGNAL + DRAHT 09/2007

Alle Autoren

Hungar, Hardi; Bruhns, Gerhard; Plan, Oliver; Lemke, Oliver

Year

2007

Title

Exact state set representations in the verification of linear hybrid systems with large discrete state-space

booktitle

Automated Technology for Verification and Analysis, 5th International Symposium, ATVA 2007

Alle Autoren

Damm, Werner; Disch, Stefan; Hungar, Hardi; Jacobs, Swen; Pang, Jun; Pigorsch, Florian; Scholl, Christoph; Waldmann, Uwe; Wirtz, Boris

Year

2007

Title

Safe-UML - Restricting UML for the development of safety-critical systems

booktitle

Proceedings FORMS/FORMAT 2007

Alle Autoren

Hungar, Hardi; Robbe, Oliver; Wirtz, Boris

Year

2007

2006

Title

Automatic verification of hybrid systems with large discrete state space

booktitle

Proceedings of the 4th International Symposium on Automated Technology for Verification and Analysis (ATVA'06)

Alle Autoren

Damm, W.; Disch, S.; Hungar, H.; Pang, J.; Pigorsch, F.; Scholl, C.; Waldmann, U.; Wirtz, B.

Year

2006

Title

Verification of cooperating traffic agents

Alle Autoren

Damm, W.; Hungar, H., Olderog, E.-R.

Year

2006

2004

Title

On the Verification of Cooperating Traffic Agents

booktitle

Proc. FMCO '03: Formal Methods for Components and Objects

Alle Autoren

Damm, W.; Hungar, H.; Olderog, E.-R.

Year

2004

1999

Title

Formal Verification of an Avionics Application using Abstraction and Symbolic Model Checking

booktitle

Towards System Safety - Proceedings of the Seventh Safety-critical Systems Symposium, Huntingdon, UK

Alle Autoren

Bienmüller, T.; Brockmeyer, U.; Damm, W.; Döhmen, G.; Eßmann, C.; Holberg, H. J.; Hungar, H.; Josko, B.; Schlör, R.; Wittich, G.; Wittke, H.; Clements, G.