 | 2009 |
|---|
| 57 |       | Michael Huth,
Nir Piterman,
Daniel Wagner:
Three-Valued Abstractions of Markov Chains: Completeness for a Sizeable Fragment of PCTL.
FCT 2009: 205-216 |
| 56 | | Adam Antonik,
Nathaniel Charlton,
Michael Huth:
Polynomial-Time Under-Approximation of Winning Regions in Parity Games.
Electr. Notes Theor. Comput. Sci. 225: 115-139 (2009) |
| 55 | | Adam Antonik,
Michael Huth,
Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
EXPTIME-complete Decision Problems for Modal and Mixed Specifications.
Electr. Notes Theor. Comput. Sci. 242(1): 19-33 (2009) |
| 54 | | Adam Antonik,
Michael Huth:
On the Complexity of Semantic Self-minimization.
Electr. Notes Theor. Comput. Sci. 250(1): 3-19 (2009) |
| 53 | | Harald Fecher,
Michael Huth,
Heiko Schmidt,
Jens Schönborn:
Refinement Sensitive Formal Semantics of State Machines With Persistent Choice.
Electr. Notes Theor. Comput. Sci. 250(1): 71-86 (2009) |
| 52 | | Michael Huth,
Orna Grumberg:
Special section on advances in reachability analysis and decision procedures: contributions to abstraction-based system verification.
STTT 11(2): 85-94 (2009) |
| 2008 |
|---|
| 51 | | Glenn Bruns,
Michael Huth:
Access-Control Policies via Belnap Logic: Effective and Efficient Composition and Analysis.
CSF 2008: 163-176 |
| 50 | | Adam Antonik,
Michael Huth,
Kim Guldstrand Larsen,
Ulrik Nyman,
Andrzej Wasowski:
Complexity of Decision Problems for Mixed and Modal Specifications.
FoSSaCS 2008: 112-126 |
| 49 | | Harald Fecher,
Michael Huth,
Nir Piterman,
Daniel Wagner:
Hintikka Games for PCTL on Labeled Markov Chains.
QEST 2008: 169-178 |
| 48 | | Harald Fecher,
Michael Huth:
Model Checking for Action Abstraction.
VMCAI 2008: 112-126 |
| 47 | | Nathaniel Charlton,
Michael Huth:
Falsifying Safety Properties Through Games on Over-approximating Models.
Electr. Notes Theor. Comput. Sci. 223: 71-86 (2008) |
| 46 | | Altaf Hussain,
Michael Huth:
On model checking multiple hybrid views.
Theor. Comput. Sci. 404(3): 186-201 (2008) |
| 2007 |
|---|
| 45 |  | Orna Grumberg,
Michael Huth:
Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007 Braga, Portugal, March 24 - April 1, 2007, Proceedings
Springer 2007 |
| 44 | | Nathaniel Charlton,
Michael Huth:
Hector: Software Model Checking with Cooperating Analysis Plugins.
CAV 2007: 168-172 |
| 43 | | Glenn Bruns,
Daniel S. Dantas,
Michael Huth:
A simple and expressive semantic framework for policy composition in access control.
FMSE 2007: 12-21 |
| 42 | | Harald Fecher,
Michael Huth:
More Precise Partition Abstractions.
VMCAI 2007: 167-181 |
| 41 | | Michael Huth:
Some current topics in model checking.
STTT 9(1): 25-36 (2007) |
| 2006 |
|---|
| 40 | | Harald Fecher,
Michael Huth:
Ranked Predicate Abstraction for Branching Time: Complete, Incremental, and Precise.
ATVA 2006: 322-336 |
| 39 | | Altaf Hussain,
Michael Huth:
Automata Games for Multiple-model Checking.
Electr. Notes Theor. Comput. Sci. 155: 401-421 (2006) |
| 38 | | Adam Antonik,
Michael Huth:
Efficient Patterns for Model Checking Partial State Spaces in CTL intersection LTL.
Electr. Notes Theor. Comput. Sci. 158: 41-57 (2006) |
| 37 | | Michael Huth:
Topological Analysis of Refinement.
Electr. Notes Theor. Comput. Sci. 161: 3-23 (2006) |
| 2005 |
|---|
| 36 | | Patrice Godefroid,
Michael Huth:
Model Checking Vs. Generalized Model Checking: Semantic Minimizations for Temporal Logics.
LICS 2005: 158-167 |
| 35 | | Michael Huth:
Abstraction and Probabilities for Hybrid Logics.
Electr. Notes Theor. Comput. Sci. 112: 61-76 (2005) |
| 34 | | Michael Huth:
Preface.
Electr. Notes Theor. Comput. Sci. 128(6): 1-2 (2005) |
| 33 | | Michael Huth:
Refinement is complete for implementations.
Formal Asp. Comput. 17(2): 113-137 (2005) |
| 32 | | Michael Huth:
Labelled transition systems as a Stone space.
Logical Methods in Computer Science 1(1): (2005) |
| 31 | | Michael Huth:
On finite-state approximants for probabilistic computation tree logic.
Theor. Comput. Sci. 346(1): 113-134 (2005) |
| 2004 |
|---|
| 30 | | Michael Huth,
Altaf Hussain:
On model checking multiple hybrid views.
ISoLA (Preliminary proceedings) 2004: 235-242 |
| 29 | | Michael Huth:
Beyond Image-Finiteness: Labelled Transition Systems as a Stone Space.
LICS 2004: 222-231 |
| 28 | | Michael Huth:
An Abstraction Framework for Mixed Non-deterministic and Probabilistic Systems.
Validation of Stochastic Systems 2004: 419-444 |
| 27 | | Michael Huth:
Labelled transition systems as a Stone space
CoRR abs/cs/0412063: (2004) |
| 26 | | Michael Huth,
Shekhar Pradhan:
Consistent Partial Model Checking.
Electr. Notes Theor. Comput. Sci. 73: 45-85 (2004) |
| 25 | | Michael Huth,
Radha Jagadeesan,
David A. Schmidt:
A domain equation for refinement of partial systems.
Mathematical Structures in Computer Science 14(4): 469-505 (2004) |
| 24 | | Michael Huth:
Mathematics for the exploration of requirements.
SIGCSE Bulletin 36(2): 34-39 (2004) |
| 2002 |
|---|
| 23 | | Michael Huth:
Possibilistic and Probabilistic Abstraction-Based Model Checking.
PAPM-PROBMIV 2002: 115-134 |
| 22 | | Michael Huth:
Model Checking Modal Transition Systems Using Kripke Structures.
VMCAI 2002: 302-316 |
| 2001 |
|---|
| 21 | | Patrice Godefroid,
Michael Huth,
Radha Jagadeesan:
Abstraction-Based Model Checking Using Modal Transition Systems.
CONCUR 2001: 426-440 |
| 20 | | Michael Huth,
Radha Jagadeesan,
David A. Schmidt:
Modal Transition Systems: A Foundation for Three-Valued Program Analysis.
ESOP 2001: 155-169 |
| 19 | | Michael Huth,
Shekhar Pradhan:
Model-Checking View-Based Partial Specifications.
Electr. Notes Theor. Comput. Sci. 45: (2001) |
| 18 | | Götz Alefeld,
Vladik Kreinovich,
Günter Mayer,
Michael Huth:
A Comment on the Shape of the Solution Set for Systems of Interval Linear Equations with Dependent Coefficients.
Reliable Computing 7(3): 275-277 (2001) |
| 2000 |
|---|
| 17 | | Michael Huth,
Achim Jung,
Klaus Keimel:
Linear types and approximation.
Mathematical Structures in Computer Science 10(6): 719-745 (2000) |
| 1999 |
|---|
| 16 | | Michael Huth:
A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems and Interval Transition Systems.
FSTTCS 1999: 369-380 |
| 15 | | Corina S. Pasareanu,
Matthew B. Dwyer,
Michael Huth:
Assume-Guarantee Model Checking of Software: A Comparative Case Study.
SPIN 1999: 168-183 |
| 14 | | Michael Huth:
On the Approximation of Denotational Mu-Semantics.
Applied Categorical Structures 7(1-2): 85-111 (1999) |
| 13 | | Christel Baier,
Michael Huth,
Marta Z. Kwiatkowska,
Mark Ryan:
Preface.
Electr. Notes Theor. Comput. Sci. 22: (1999) |
| 1998 |
|---|
| 12 | | Michael Huth,
Marta Z. Kwiatkowska:
Comparing CTL and PCTL on labeled Markov chains.
PROCOMET 1998: 244-262 |
| 11 | | Michael Huth:
The Interval Domain: A Matchmaker for aCTL and aPCTL.
Electr. Notes Theor. Comput. Sci. 14: (1998) |
| 1997 |
|---|
| 10 | | Reinhold Heckmann,
Michael Huth:
A Duality Theory for Quantitative Semantics.
CSL 1997: 255-274 |
| 9 | | Michael Huth,
Marta Z. Kwiatkowska:
Quantitative Analysis and Model Checking.
LICS 1997: 111-122 |
| 8 | | Michael Huth:
A powerdomain of possibility measures.
Electr. Notes Theor. Comput. Sci. 6: (1997) |
| 1995 |
|---|
| 7 | | Michael Huth:
A Maximal Monoidal Closed Category of Distributive Algebraic Domains
Inf. Comput. 116(1): 10-25 (1995) |
| 1994 |
|---|
| 6 | | Michael Huth,
Achim Jung,
Klaus Keimel:
Linear Types, Approximation, and Topology
LICS 1994: 110-114 |
| 5 | | Michael Huth:
Interaction Orders as Games.
Theory and Formal Methods 1994: 21-40 |
| 4 | | Adrian Fiech,
Michael Huth:
Algebraic Domains of Natural Transformations.
Theor. Comput. Sci. 136(1): 57-78 (1994) |
| 1993 |
|---|
| 3 | | Michael Huth:
Linear Domains and Linear Maps.
MFPS 1993: 438-453 |
| 2 | | Michael Huth:
On the Equivalence of State-Transition Systems.
Theory and Formal Methods 1993: 171-182 |
| 1991 |
|---|
| 1 | | Michael Huth:
Cartesian Closed Categories of Domains and the Space Proj(D).
MFPS 1991: 259-271 |
