Hardi Hungar Coauthor index DBLP Vis pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2009
37Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaela Huhn, Hardi Hungar: Preface. Electr. Notes Theor. Comput. Sci. 238(4): 1-2 (2009)
2008
36no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaela Huhn, Hardi Hungar, Doron Peled: Tools for the Model-based Development of Certifiable, Dependable Systems, 10.06. - 15.06.2007 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany 2008
35no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi 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: 291-294
34no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi 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: 299-302
33no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar: Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision. Software Engineering (Workshops) 2008: 339-340
32no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar, Erwin Reyzl: Ergebnisse des Workshops "Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme". Software Engineering (Workshops) 2008: 345-349
2007
31Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner 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: 425-440
30Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaela Huhn, Hardi Hungar, Doron 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
29Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichaela Huhn, Hardi Hungar, Doron Peled: 07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems. Tools for the Model-based Development of Certifiable, Dependable Systems 2007
2006
28Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner 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: 276-291
2004
27Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar, Bernhard Steffen: Behavior-based model construction. STTT 6(1): 4-14 (2004)
2003
26Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar, Oliver Niese, Bernhard Steffen: Domain-Specific Optimization in Automata Learning. CAV 2003: 315-327
25Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Damm, Hardi Hungar, Ernst-Rüdiger Olderog: On the Verification of Cooperating Traffic Agents. FMCO 2003: 77-110
24Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar, Tiziana Margaria, Bernhard Steffen: Test-Based Model Generation For Legacy Systems. ITC 2003: 971-980
23Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBernhard Steffen, Hardi Hungar: Behavior-Based Model Construction. VMCAI 2003: 5-19
2002
22Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas 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: 336-340
21Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen: Model Generation by Moderated Regular Extrapolation. FASE 2002: 80-95
20Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar, Tiziana Margaria, Bernhard Steffen: Model Generation for Legacy Systems. RISSEF 2002: 167-183
1999
19Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLTom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen: Verification of Automotive Control Units. Correct System Design 1999: 319-341
18Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar: Model Checking and Higher-Order Recursion. MFCS 1999: 149-159
1998
17Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster: First-Order-CTL Model Checking. FSTTCS 1998: 283-294
1997
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli: A Compositional Real-Time Semantics of STATEMATE Designs. COMPOS 1997: 186-238
1995
15no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar, Orna Grumberg, Werner Damm: What if model checking must be truly symbolic. CHARME 1995: 1-20
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLWerner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör: Statecharts. Formal Development of Reactive Systems 1995: 131-149
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJürgen Bohn, Hardi Hungar: Traverdi - Transformation and Verification of Distributed Systems. KORSO Book 1995: 317-338
1994
12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar: Model Checking of macro Processes. CAV 1994: 169-181
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar: Local Model Checking for Parallel Compositions of Context-Free Processes. CONCUR 1994: 114-128
10no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar: Specification and Verification Using a Visual Formalism on Top of Temporal Logic. Formal Systems Specification 1994: 305-339
9no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar: Expressibility of the Semantics of Sequential Programs in First-Order Logic. Fundam. Inform. 21(4): 345-365 (1994)
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar, Bernhard Steffen: Local Model-Checking for Context-Free Processes. Nord. J. Comput. 1(3): 364- (1994)
1993
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar: Combining Model Checking and Theorem Proving to Verify Parallel Processes. CAV 1993: 154-165
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar, Bernhard Steffen: Local Model Checking for Context-Free Processes. ICALP 1993: 593-605
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar: The Complexity of Verifying Functional Programs. STACS 1993: 428-439
1991
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar: Correstness of Programs over Poor Signatures. FSTTCS 1991: 109-120
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar: Complexity Bounds of Hoare-style Proof Systems LICS 1991: 120-126
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLHardi Hungar: Complexity of Proving Program Correctness. TACS 1991: 459-474
1988
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMichal Grabowski, Hardi Hungar: On the Existence of Effective Hoare Logics LICS 1988: 428-435

Coauthor Index

1Tom Bienmüller [19]
2Jürgen Bohn [13] [17] [19]
3Henning Brinkmann [19]
4Udo Brockmeyer [19]
5Werner Damm [14] [15] [16] [17] [19] [25] [28] [31]
6Stefan Disch [28] [31]
7Michal Grabowski [1]
8Orna Grumberg [15] [17]
9Andreas Hagerer [21] [22]
10Michaela Huhn [29] [30] [36] [37]
11Hans-Dieter Ide [22]
12Swen Jacobs [31]
13Peter Jansen [19]
14Bernhard Josko [16]
15Peter Kelb [14]
16Tiziana Margaria (Tiziana Margaria-Steffen) [20] [22] [24]
17Oliver Niese [21] [22] [26]
18Ernst-Rüdiger Olderog [25]
19Jun Pang [28] [31]
20Doron Peled [29] [30] [36]
21Florian Pigorsch [28] [31]
22Amir Pnueli [16]
23Erwin Reyzl [32] [34] [35]
24Rainer Schlör [14]
25Christoph Scholl [28] [31]
26Bernhard Steffen [6] [8] [20] [21] [22] [23] [24] [26] [27]
27Uwe Waldmann [28] [31]
28Boris Wirtz [28] [31]
29Karen Yorav (Karen Laster) [17]

Colors in the list of coauthors

Copyright © Sun Mar 14 22:39:24 2010 by Michael Ley (ley@uni-trier.de)