Possibilistic and Probabilistic Abstraction-Based Model Checking (2002)

Cached

Download Links

by Michael Huth
Venue:Process Algebra and Probabilistic Methods, Performance Modeling and Veri Second Joint International Workshop PAPM-PROBMIV 2002, volume 2399 of Lecture Notes in Computer Science
Citations:4 - 2 self

Active Bibliography

11 A domain equation for refinement of partial systems – Michael R. A. Huth, Radha Jagadeesan, David A. Schmidt
9 Analysing randomized distributed algorithms – Gethin Norman - 2004
55 On probabilistic model checking – Marta Kwiatkowska, Gethin Norman, David Parker - 1996
57 Weak Bisimulation for Fully Probabilistic Processes – Christel Baier, Holger Hermanns - 1999
32 Comparative branching-time semantics for Markov chains – Christel Baier, Joost-pieter Katoen, Holger Hermanns, Verena Wolf - 2003
The Interval Domain as a Semantic Foundation for Reasoning About Uncertainty Or Vagueness – Michael Huth
6 Ranked predicate abstraction for branching time: Complete – Harald Fecher, Michael Huth
27 Probabilistic Automata: System Types, Parallel Composition and Comparison – A. Sokolova, E. P. De Vink - 2004
63 Abstraction-based Model Checking using Modal Transition Systems – Patrice Godefroid, Michael Huth, Radha Jagadeesan - 2001
2 Taking Chances on || and fail: Extending Strong and Probabilistic Bisimulation – J. I. Den Hartog, E. P. De Vink - 1999
9 Approximating Continuous Markov Processes РJos̩e Desharnais, Radha Jagadeesan, Vineet Gupta, Prakash Panangaden - 2000
37 A Hierarchy of Probabilistic System Types – Falk Bartels, Ana Sokolova, Erik de Vink - 2003
4 A Unifying Framework for Model Checking Labeled Kripke Structures, Modal Transition Systems, and Interval Transition Systems – Michael Huth - 1999
50 Implementation of Symbolic Model Checking for Probabilistic Systems – David Anthony Parker - 2002
12 Probability and Nondeterminism in Operational Models of Concurrency – Roberto Segala - 2006
14 On Model Checking Multiple Hybrid Views – Altaf Hussain, Michael Huth - 2004
2-Valued and 3-Valued Abstraction-Refinement in Model Checking – Orna Grumberg
8 Lightweight Reasoning About Program Correctness – Marsha Chechik, Wei Ding - 2000
24 A game-based framework for CTL counterexamples and 3-valued abstraction-refinement – Sharon Shoham, Orna Grumberg - 2003