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

Titel der Konferenz

DATE 2011

Alle Autoren

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

Jahr

2011

Titel

Using Guided Simulation to Assess Driver Assistance Systems

Titel der Konferenz

FORMS/FORMAT 2010

Jahr

2011

Titel

Predicting the Effect of Driver Assistance via Simulation

Titel der Konferenz

Human Modelling in Assisted Transportation 2010 (HMAT)

Jahr

2011

Titel

Compositionality with Strong Assumptions

Titel der Konferenz

Nordic Workshop on Programming Theory

Alle Autoren

Hungar, Hardi

Jahr

2011

Titel

Architecture Modeling

Titel der Konferenz

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

Jahr

2011

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

Buchtitel

Model-Based Engineering of Embedded Real-Time Systems

Alle Autoren

Huhn, Michaela; Hungar, Hardi

Jahr

2010

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

Buchtitel

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.

Jahr

2009

Titel

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

Buchtitel

Electronic Notes in Theoretical Computer Science

Titel der Konferenz

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

Alle Autoren

Huhn, Michaela; Hungar, Hardi

Jahr

2009

OPRAIL - Normenkonforme Entwicklung sicherheitsrelevanter Software unter Einsatz der UML

Buchtitel

SIGNAL + DRAHT 09/2007

Alle Autoren

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

Jahr

2007

Titel

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

Buchtitel

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

Jahr

2007

Titel

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

Buchtitel

Proceedings FORMS/FORMAT 2007

Alle Autoren

Hungar, Hardi; Robbe, Oliver; Wirtz, Boris

Jahr

2007

Automatic verification of hybrid systems with large discrete state space

Buchtitel

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.

Jahr

2006

Titel

Verification of cooperating traffic agents

Alle Autoren

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

Jahr

2006

On the Verification of Cooperating Traffic Agents

Buchtitel

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

Alle Autoren

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

Jahr

2004

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

Buchtitel

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.

Jahr

1999

Titel

Model Checking and Higher-Order Recursion

Buchtitel

Math. Found. of Comp. Sc.

Alle Autoren

Hungar, Hardi

Jahr

1999

Titel

Verification of Automotive Control Units

Buchtitel

Correct System Design

Alle Autoren

Bienmüller, T.; Bohn, J.; Brinkmann, H.; Brockmeyer, U.; Damm, W.; Hungar, H.; Jansen, P.

Jahr

1999

First-Order-CTL Model Checking

Buchtitel

18th Conference on Foundations of Software Technology and Theroretical Computer Science

Alle Autoren

Bohn, J.; Damm, W.; Grumberg, O.; Hungar, H.; Laster, K.

Jahr

1998

Titel

A Compositional Real-time Semantics of STATEMATE Designs

Buchtitel

Compositionality: The Significant Difference; International Symposium COMPOS '97

Alle Autoren

Damm, W.; Josko, B.; Hungar, H.; Pnueli, A.

Jahr

1998