Hardi Hungar

2008
36		Michaela 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
35		Hardi 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
34		Hardi 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
33		Hardi Hungar: Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision. Software Engineering (Workshops) 2008: 339-340
32		Hardi Hungar, Erwin Reyzl: Ergebnisse des Workshops "Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme". Software Engineering (Workshops) 2008: 345-349
2007
31	EE	Werner 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
30	EE	Michaela 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
29	EE	Michaela 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
28	EE	Werner 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
27	EE	Hardi Hungar, Bernhard Steffen: Behavior-based model construction. STTT 6(1): 4-14 (2004)
2003
26	EE	Hardi Hungar, Oliver Niese, Bernhard Steffen: Domain-Specific Optimization in Automata Learning. CAV 2003: 315-327
25	EE	Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog: On the Verification of Cooperating Traffic Agents. FMCO 2003: 77-110
24	EE	Hardi Hungar, Tiziana Margaria, Bernhard Steffen: Test-Based Model Generation For Legacy Systems. ITC 2003: 971-980
23	EE	Bernhard Steffen, Hardi Hungar: Behavior-Based Model Construction. VMCAI 2003: 5-19
2002
22	EE	Andreas 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
21	EE	Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen: Model Generation by Moderated Regular Extrapolation. FASE 2002: 80-95
20	EE	Hardi Hungar, Tiziana Margaria, Bernhard Steffen: Model Generation for Legacy Systems. RISSEF 2002: 167-183
1999
19	EE	Tom 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
18		Hardi Hungar: Model Checking and Higher-Order Recursion. MFCS 1999: 149-159
1998
17		Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster: First-Order-CTL Model Checking. FSTTCS 1998: 283-294
1997
16	EE	Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli: A Compositional Real-Time Semantics of STATEMATE Designs. COMPOS 1997: 186-238
1995
15		Hardi Hungar, Orna Grumberg, Werner Damm: What if model checking must be truly symbolic. CHARME 1995: 1-20
14		Werner Damm, Hardi Hungar, Peter Kelb, Rainer Schlör: Statecharts. Formal Development of Reactive Systems 1995: 131-149
13		Jürgen Bohn, Hardi Hungar: Traverdi - Transformation and Verification of Distributed Systems. KORSO Book 1995: 317-338
1994
12		Hardi Hungar: Model Checking of macro Processes. CAV 1994: 169-181
11		Hardi Hungar: Local Model Checking for Parallel Compositions of Context-Free Processes. CONCUR 1994: 114-128
10		Hardi Hungar: Specification and Verification Using a Visual Formalism on Top of Temporal Logic. Formal Systems Specification 1994: 305-339
9		Hardi Hungar: Expressibility of the Semantics of Sequential Programs in First-Order Logic. Fundam. Inform. 21(4): 345-365 (1994)
8		Hardi Hungar, Bernhard Steffen: Local Model-Checking for Context-Free Processes. Nord. J. Comput. 1(3): 364- (1994)
1993
7		Hardi Hungar: Combining Model Checking and Theorem Proving to Verify Parallel Processes. CAV 1993: 154-165
6		Hardi Hungar, Bernhard Steffen: Local Model Checking for Context-Free Processes. ICALP 1993: 593-605
5		Hardi Hungar: The Complexity of Verifying Functional Programs. STACS 1993: 428-439
1991
4		Hardi Hungar: Correstness of Programs over Poor Signatures. FSTTCS 1991: 109-120
3		Hardi Hungar: Complexity Bounds of Hoare-style Proof Systems LICS 1991: 120-126
2		Hardi Hungar: Complexity of Proving Program Correctness. TACS 1991: 459-474
1988
1		Michal Grabowski, Hardi Hungar: On the Existence of Effective Hoare Logics LICS 1988: 428-435

Coauthor Index

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

Colors in the list of coauthors