BibSonomy :: author :: Hungar ::

tag user group author concept BibTeX key search:all

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(40)

<< < 1 | 2 > >>

On the Existence of Effective Hoare Logics
Michal Grabowski, and Hardi Hungar LICS, page 428-435. IEEE Computer Society, (1988)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
Complexity Bounds of Hoare-style Proof Systems
Hardi Hungar LICS, page 120-126. IEEE Computer Society, (1991)
to dblp by dblp on Jan 20, 2012, 12:00 AM
URL | BibTeX
UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems.
Michaela Huhn, and Hardi Hungar Model-Based Engineering of Embedded Real-Time Systems, volume 6100 of Lecture Notes in Computer Science, page 201-237. Springer, (2007)
to dblp by dblp on Oct 25, 2011, 12:00 AM
URL | BibTeX
Expressibility of the Semantics of Sequential Programs in First-Order Logic.
Hardi Hungar Fundam. Inform. 21(4):345-365 (1994)
to dblp by dblp on Sep 12, 2011, 12:00 AM
URL | BibTeX
Using contract-based component specifications for virtual integration testing and architecture design.
Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, and Ingo Stierand DATE, page 1023-1028. IEEE, (2011)
to dblp by dblp on Sep 2, 2011, 12:00 AM
URL | BibTeX
On the Verification of Cooperating Traffic Agents.
Werner Damm, Hardi Hungar, and Ernst-Rüdiger Olderog FMCO, volume 3188 of Lecture Notes in Computer Science, page 77-110. Springer, (2003)
to dblp by dblp on Jul 8, 2011, 12:00 AM
URL | BibTeX
Model Generation for Legacy Systems.
Hardi Hungar, Tiziana Margaria, and Bernhard Steffen RISSEF, volume 2941 of Lecture Notes in Computer Science, page 167-183. Springer, (2002)
to dblp by dblp on Jul 6, 2011, 12:00 AM
URL | BibTeX
Behavior-Based Model Construction.
Bernhard Steffen, and Hardi Hungar VMCAI, volume 2575 of Lecture Notes in Computer Science, page 5-19. Springer, (2003)
to dblp by dblp on Jul 4, 2011, 12:00 AM
URL | BibTeX
Demonstration of an Operational Procedure for the Model-Based Testing of CTI Systems.
Andreas Hagerer, Hardi Hungar, Tiziana Margaria, Oliver Niese, Bernhard Steffen, and Hans-Dieter Ide FASE, volume 2306 of Lecture Notes in Computer Science, page 336-340. Springer, (2002)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Model Generation by Moderated Regular Extrapolation.
Andreas Hagerer, Hardi Hungar, Oliver Niese, and Bernhard Steffen FASE, volume 2306 of Lecture Notes in Computer Science, page 80-95. Springer, (2002)
to dblp by dblp on Jun 29, 2011, 12:00 AM
URL | BibTeX
Specification and Verification Using a Visual Formalism on Top of Temporal Logic.
Hardi Hungar Formal Systems Specification, volume 1169 of Lecture Notes in Computer Science, page 305-339. Springer, (1994)
to dblp by dblp on Jun 27, 2011, 12:00 AM
URL | BibTeX
What if model checking must be truly symbolic.
Hardi Hungar, Orna Grumberg, and Werner Damm CHARME, volume 987 of Lecture Notes in Computer Science, page 1-20. Springer, (1995)
to dblp by dblp on Jun 23, 2011, 12:00 AM
URL | BibTeX
Verification of Automotive Control Units.
Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, and Peter Jansen Correct System Design, volume 1710 of Lecture Notes in Computer Science, page 319-341. Springer, (1999)
to dblp by dblp on Jun 20, 2011, 12:00 AM
URL | BibTeX
A Compositional Real-Time Semantics of STATEMATE Designs.
Werner Damm, Bernhard Josko, Hardi Hungar, and Amir Pnueli COMPOS, volume 1536 of Lecture Notes in Computer Science, page 186-238. Springer, (1997)
to dblp by dblp on Jun 17, 2011, 12:00 AM
URL | BibTeX
Behavior-based model construction.
Hardi Hungar, and Bernhard Steffen STTT 6(1):4-14 (2004)
to dblp by dblp on Jun 3, 2011, 12:00 AM
URL | BibTeX
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, and Erwin Reyzl Software Engineering, volume 121 of LNI, page 291-294. GI, (2008)
to dblp by dblp and 1 other user on May 31, 2011, 12:00 AM
URL | BibTeX
UML-basierte Entwicklung sicherheitskritischer Systeme im Bahnbereich.
Hardi Hungar MBEES, volume 2006-1 of Informatik-Bericht, page 63-64. TU Braunschweig, Institut für Software Systems Engineering, (2006)
to dblp by dblp on Jul 21, 2010, 4:07 PM
URL | BibTeX
Automatic Validation and Verification in a Model-Based Development Process.
Udo Brockmeyer, Werner Damm, Hardi Hungar, and Bernhard Josko MBEES, volume 2005-1 of Informatik-Bericht, page 113-124. TU Braunschweig, Institut für Software Systems Engineering, (2005)
to dblp by dblp on Jul 21, 2010, 4:07 PM
URL | BibTeX
Preface.
Michaela Huhn, and Hardi Hungar Electr. Notes Theor. Comput. Sci. 238(4):1-2 (2009)
to dblp by dblp on Dec 4, 2009, 12:00 AM
URL | BibTeX
Local Model Checking for Parallel Compositions of Context-Free Processes.
Hardi Hungar CONCUR, volume 836 of Lecture Notes in Computer Science, page 114-128. Springer, (1994)
to dblp by dblp on Oct 13, 2009, 12:00 AM
URL | BibTeX

<< < 1 | 2 > >>publications per page: 5 10 20 50 100