dblp.uni-trier.dewww.uni-trier.de

Hardi Hungar Vis

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

*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
31EEWerner 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
30EEMichaela 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
29EEMichaela 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
28EEWerner 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
27EEHardi Hungar, Bernhard Steffen: Behavior-based model construction. STTT 6(1): 4-14 (2004)
2003
26EEHardi Hungar, Oliver Niese, Bernhard Steffen: Domain-Specific Optimization in Automata Learning. CAV 2003: 315-327
25EEWerner Damm, Hardi Hungar, Ernst-Rüdiger Olderog: On the Verification of Cooperating Traffic Agents. FMCO 2003: 77-110
24EEHardi Hungar, Tiziana Margaria, Bernhard Steffen: Test-Based Model Generation For Legacy Systems. ITC 2003: 971-980
23EEBernhard Steffen, Hardi Hungar: Behavior-Based Model Construction. VMCAI 2003: 5-19
2002
22EEAndreas 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
21EEAndreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen: Model Generation by Moderated Regular Extrapolation. FASE 2002: 80-95
20EEHardi Hungar, Tiziana Margaria, Bernhard Steffen: Model Generation for Legacy Systems. RISSEF 2002: 167-183
1999
19EETom 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
18EEHardi Hungar: Model Checking and Higher-Order Recursion. MFCS 1999: 149-159
1998
17EEJürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster: First-Order-CTL Model Checking. FSTTCS 1998: 283-294
1997
16EEWerner 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
12EEHardi Hungar: Model Checking of macro Processes. CAV 1994: 169-181
11EEHardi 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
7EEHardi Hungar: Combining Model Checking and Theorem Proving to Verify Parallel Processes. CAV 1993: 154-165
6EEHardi Hungar, Bernhard Steffen: Local Model Checking for Context-Free Processes. ICALP 1993: 593-605
5EEHardi Hungar: The Complexity of Verifying Functional Programs. STACS 1993: 428-439
1991
4EEHardi 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

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]
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 © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)