MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Hardi Hungar" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

11 documents found, showing 1 through 10. Next 10 →

ATOM

Model Checking and Higher-Order Recursion
by Hardi Hungar — 1999 — Mathematical Foundations of Computer Science 1999, LNCS 1672
…Model Checking and Higher-Order Recursion Hardi Hungar OFFIS, Oldenburg, Germany hungar…
Cited by 5 (0 self) – Add To MetaCart

Test-Based Model Generation for Legacy Systems
by Hardi Hungar, Tiziana Margaria, Bernhard Steffen — 2003 — IEEE International Test Conference (ITC), Charlotte, NC, September 30 - October
…Abstract TEST-BASED MODEL GENERATION FOR LEGACY SYSTEMS Hardi Hungar 1,2 , Tiziana Margaria 1…
Cited by 2 (1 self) – Add To MetaCart

Domain-Specific Optimization in Automata Learning
by Hardi Hungar, Oliver Niese, Bernhard Steffen — 2003 — In Proc. 15 th Int. Conf. on Computer Aided Verification
…Domain-Specific Optimization in Automata Learning Hardi Hungar, Oliver Niese, and Bernhard Ste…
Cited by 13 (1 self) – Add To MetaCart

Model Generation by Moderated Regular Extrapolation
by Andreas Hagerer, Hardi Hungar, Oliver Niese, Bernhard Steffen — 2002
…Model Generation by Moderated Regular Extrapolation Andreas Hagerer 1, Hardi Hungar 1, Oliver…
Cited by 12 (4 self) – Add To MetaCart

What if Model Checking Must Be Truly Symbolic
by Hardi Hungar, Orna Grumberg, Werner Damm — 1995
…What if Model Checking Must Be Truly Symbolic Hardi Hungar OFFIS, Oldenburg hungar…
Cited by 9 (3 self) – Add To MetaCart

A Compositional Real-time Semantics of STATEMATE Designs
by Werner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli — 1998
… , Hardi Hungar 1 , and Amir Pnueli 2 1 OFFIS, Oldenburg, Germany 2 Weizmann Institute, Rehovot…
Cited by 46 (6 self) – Add To MetaCart

First-Order-CTL Model Checking
by Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster — 1998
…First-Order-CTL Model Checking ? Jurgen Bohn 1 Werner Damm 1 Orna Grumberg 2 Hardi Hungar 1…
Cited by 5 (2 self) – Add To MetaCart

Verification of Automotive Control Units
by Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen — 1999
… 1 , Udo Brockmeyer 2 , Werner Damm 1;2 , Hardi Hungar 2 , and Peter Jansen 3 1 Carl von…
Cited by 4 (3 self) – Add To MetaCart

Exact State Set Representations in the Verification of Linear Hybrid Systems with Large Discrete State Space ⋆
by Werner Damm, Hardi Hungar, Swen Jacobs, Jun Pang, Florian Pigorsch, Christoph Scholl
… State Space ⋆ Werner Damm 2,3 ,StefanDisch 1 , Hardi Hungar 3 , Swen Jacobs 4 , Jun Pang 2 , Florian…
Cited by 1 (1 self) – Add To MetaCart

Automatic verification of hybrid systems with large discrete state space
by Werner Damm, Stefan Disch, Hardi Hungar, Jun Pang, Florian Pigorsch, Christoph Scholl, Uwe Waldmann, Boris Wirtz — 2006 — in Proc. of the 4th Int. Symp. on Automated Technology for Verification and Analysis
…,2 , Stefan Disch 3 , Hardi Hungar 2 , Jun Pang 1 , Florian Pigorsch 3 , Christoph Scholl 3 , Uwe Waldmann 4…
Cited by 3 (2 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB