Hardi Hungar

	2011
42		Werner Damm, Hardi Hungar, Bernhard Josko, Thomas Peikenkamp, Ingo Stierand: Using contract-based component specifications for virtual integration testing and architecture design. DATE 2011: 1023-1028
	2010
41		Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter: Using Guided Simulation to Assess Driver Assistance Systems. FORMS/FORMAT 2010: 195-205
	2009
40		Michaela Huhn, Hardi Hungar: Preface. Electr. Notes Theor. Comput. Sci. 238(4): 1-2 (2009)
	2008
39		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
38		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
37		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
36		Hardi Hungar: Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision. Software Engineering (Workshops) 2008: 339-340
35		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
34		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
33		Michaela Huhn, Hardi Hungar: UML for Software Safety and Certification - Model-Based Development of Safety-Critical Software-Intensive Systems. Model-Based Engineering of Embedded Real-Time Systems 2007: 201-237
32		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
31		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
30		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
29		Hardi Hungar: UML-basierte Entwicklung sicherheitskritischer Systeme im Bahnbereich. MBEES 2006: 63-64
	2005
28		Udo Brockmeyer, Werner Damm, Hardi Hungar, Bernhard Josko: Automatic Validation and Verification in a Model-Based Development Process. MBEES 2005: 113-124
	2004
27		Hardi Hungar, Bernhard Steffen: Behavior-based model construction. STTT 6(1): 4-14 (2004)
	2003
26		Hardi Hungar, Oliver Niese, Bernhard Steffen: Domain-Specific Optimization in Automata Learning. CAV 2003: 315-327
25		Werner Damm, Hardi Hungar, Ernst-Rüdiger Olderog: On the Verification of Cooperating Traffic Agents. FMCO 2003: 77-110
24		Hardi Hungar, Tiziana Margaria, Bernhard Steffen: Test-Based Model Generation For Legacy Systems. ITC 2003: 971-980
23		Bernhard Steffen, Hardi Hungar: Behavior-Based Model Construction. VMCAI 2003: 5-19
	2002
22		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		Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen: Model Generation by Moderated Regular Extrapolation. FASE 2002: 80-95
20		Hardi Hungar, Tiziana Margaria, Bernhard Steffen: Model Generation for Legacy Systems. RISSEF 2002: 167-183
	1999
19		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		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] [28]
5	Werner Damm	[14] [15] [16] [17] [19] [25] [28] [30] [34] [42]
6	Stefan Disch	[30] [34]
7	Martin Fränzle	[41]
8	Tayfun Gezgin	[41]
9	Michal Grabowski	[1]
10	Orna Grumberg	[15] [17]
11	Andreas Hagerer	[21] [22]
12	Michaela Huhn	[31] [32] [33] [39] [40]
13	Hans-Dieter Ide	[22]
14	Swen Jacobs	[34]
15	Peter Jansen	[19]
16	Bernhard Josko	[16] [28] [42]
17	Peter Kelb	[14]
18	Tiziana Margaria (Tiziana Margaria-Steffen)	[20] [22] [24]
19	Oliver Niese	[21] [22] [26]
20	Ernst-Rüdiger Olderog	[25]
21	Jun Pang	[30] [34]
22	Thomas Peikenkamp	[42]
23	Doron Peled	[31] [32] [39]
24	Florian Pigorsch	[30] [34]
25	Amir Pnueli	[16]
26	Stefan Puch	[41]
27	Erwin Reyzl	[35] [37] [38]
28	Gerald Sauter	[41]
29	Rainer Schlör	[14]
30	Christoph Scholl	[30] [34]
31	Bernhard Steffen	[6] [8] [20] [21] [22] [23] [24] [26] [27]
32	Ingo Stierand	[42]
33	Uwe Waldmann	[30] [34]
34	Boris Wirtz	[30] [34]
35	Karen Yorav (Karen Laster)	[17]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page