Search the dblp DataBase
Hardi Hungar :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
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. [Citation Graph (0, 0)][DBLP ] ATVA, 2006, pp:276-291 [Conf ] Tom Bienmüller , Jürgen Bohn , Henning Brinkmann , Udo Brockmeyer , Werner Damm , Hardi Hungar , Peter Jansen Verification of Automotive Control Units. [Citation Graph (0, 0)][DBLP ] Correct System Design, 1999, pp:319-341 [Conf ] Hardi Hungar Combining Model Checking and Theorem Proving to Verify Parallel Processes. [Citation Graph (0, 0)][DBLP ] CAV, 1993, pp:154-165 [Conf ] Hardi Hungar Model Checking of macro Processes. [Citation Graph (0, 0)][DBLP ] CAV, 1994, pp:169-181 [Conf ] Hardi Hungar , Oliver Niese , Bernhard Steffen Domain-Specific Optimization in Automata Learning. [Citation Graph (0, 0)][DBLP ] CAV, 2003, pp:315-327 [Conf ] Hardi Hungar , Orna Grumberg , Werner Damm What if model checking must be truly symbolic. [Citation Graph (0, 0)][DBLP ] CHARME, 1995, pp:1-20 [Conf ] Werner Damm , Bernhard Josko , Hardi Hungar , Amir Pnueli A Compositional Real-Time Semantics of STATEMATE Designs. [Citation Graph (0, 0)][DBLP ] COMPOS, 1997, pp:186-238 [Conf ] Hardi Hungar Local Model Checking for Parallel Compositions of Context-Free Processes. [Citation Graph (0, 0)][DBLP ] CONCUR, 1994, pp:114-128 [Conf ] Hardi Hungar Specification and Verification Using a Visual Formalism on Top of Temporal Logic. [Citation Graph (0, 0)][DBLP ] Formal Systems Specification, 1994, pp:305-339 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] FASE, 2002, pp:336-340 [Conf ] Andreas Hagerer , Hardi Hungar , Oliver Niese , Bernhard Steffen Model Generation by Moderated Regular Extrapolation. [Citation Graph (0, 0)][DBLP ] FASE, 2002, pp:80-95 [Conf ] Werner Damm , Hardi Hungar , Ernst-Rüdiger Olderog On the Verification of Cooperating Traffic Agents. [Citation Graph (0, 0)][DBLP ] FMCO, 2003, pp:77-110 [Conf ] Jürgen Bohn , Werner Damm , Orna Grumberg , Hardi Hungar , Karen Laster First-Order-CTL Model Checking. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1998, pp:283-294 [Conf ] Hardi Hungar Correstness of Programs over Poor Signatures. [Citation Graph (0, 0)][DBLP ] FSTTCS, 1991, pp:109-120 [Conf ] Hardi Hungar , Bernhard Steffen Local Model Checking for Context-Free Processes. [Citation Graph (0, 0)][DBLP ] ICALP, 1993, pp:593-605 [Conf ] Hardi Hungar , Tiziana Margaria , Bernhard Steffen Test-Based Model Generation For Legacy Systems. [Citation Graph (0, 0)][DBLP ] ITC, 2003, pp:971-980 [Conf ] Jürgen Bohn , Hardi Hungar Traverdi - Transformation and Verification of Distributed Systems. [Citation Graph (0, 0)][DBLP ] KORSO Book, 1995, pp:317-338 [Conf ] Werner Damm , Hardi Hungar , Peter Kelb , Rainer Schlör Statecharts. [Citation Graph (0, 0)][DBLP ] Formal Development of Reactive Systems, 1995, pp:131-149 [Conf ] Michal Grabowski , Hardi Hungar On the Existence of Effective Hoare Logics [Citation Graph (0, 0)][DBLP ] LICS, 1988, pp:428-435 [Conf ] Hardi Hungar Complexity Bounds of Hoare-style Proof Systems [Citation Graph (0, 0)][DBLP ] LICS, 1991, pp:120-126 [Conf ] Hardi Hungar Model Checking and Higher-Order Recursion. [Citation Graph (0, 0)][DBLP ] MFCS, 1999, pp:149-159 [Conf ] Hardi Hungar , Tiziana Margaria , Bernhard Steffen Model Generation for Legacy Systems. [Citation Graph (0, 0)][DBLP ] RISSEF, 2002, pp:167-183 [Conf ] Hardi Hungar The Complexity of Verifying Functional Programs. [Citation Graph (0, 0)][DBLP ] STACS, 1993, pp:428-439 [Conf ] Hardi Hungar Complexity of Proving Program Correctness. [Citation Graph (0, 0)][DBLP ] TACS, 1991, pp:459-474 [Conf ] Bernhard Steffen , Hardi Hungar Behavior-Based Model Construction. [Citation Graph (0, 0)][DBLP ] VMCAI, 2003, pp:5-19 [Conf ] Hardi Hungar Expressibility of the Semantics of Sequential Programs in First-Order Logic. [Citation Graph (0, 0)][DBLP ] Fundam. Inform., 1994, v:21, n:4, pp:345-365 [Journal ] Hardi Hungar , Bernhard Steffen Local Model-Checking for Context-Free Processes. [Citation Graph (0, 0)][DBLP ] Nord. J. Comput., 1994, v:1, n:3, pp:364-0 [Journal ] Hardi Hungar , Bernhard Steffen Behavior-based model construction. [Citation Graph (0, 0)][DBLP ] STTT, 2004, v:6, n:1, pp:4-14 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] ATVA, 2007, pp:425-440 [Conf ] 07241 Abstracts Collection - Tools for the Model-based Development of Certifiable, Dependable Systems. [Citation Graph (, )][DBLP ] 07241 Summary - Tools for the Model-based Development of Certifiable, Dependable Systems. [Citation Graph (, )][DBLP ] Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung. [Citation Graph (, )][DBLP ] Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme: Bedeutung modellbasierter und formaler Ansätze für effiziente Entwicklung und Zertifizierung. [Citation Graph (, )][DBLP ] Ergebnisse des Workshops "Software-Entwicklung und Zertifizierung im Umfeld sicherheitskritischer und hochverfügbarer Systeme". [Citation Graph (, )][DBLP ] Positionsstatement: Zertifizierungsargumentationen mit mathematischer Präzision. [Citation Graph (, )][DBLP ] UML-basierte Entwicklung sicherheitskritischer Systeme im Bahnbereich. [Citation Graph (, )][DBLP ] Automatic Validation and Verification in a Model-Based Development Process. [Citation Graph (, )][DBLP ] Preface. [Citation Graph (, )][DBLP ] Search in 0.003secs, Finished in 0.309secs