Probabilistic Extensions of Process Algebras (2001)

Cached

Download Links

by Bengt Jonsson , Kim G. Larsen , Wang Yi
Venue:Handbook of Process Algebra
Citations:67 - 5 self

Active Bibliography

47 Model Checking for Probability and Time: From Theory to Practice – Marta Kwiatkowska - 2003
32 Comparative branching-time semantics for Markov chains – Christel Baier, Joost-pieter Katoen, Holger Hermanns, Verena Wolf - 2003
27 Probabilistic Automata: System Types, Parallel Composition and Comparison – A. Sokolova, E. P. De Vink - 2004
45 A Markov Chain Model Checker – Holger Hermanns, Joost-pieter Katoen, Joachim Meyer-kayser, Markus Siegle - 2000
139 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
Multi-Terminal Decision Diagrams: a Data Structure for Numerical Integration (Extended Abstract) – Christel Baier, Joost-pieter Katoen, Holger Hermanns
124 Approximate symbolic model checking of continuous-time Markov chains (Extended Abstract) – Christel Baier, Joost-pieter Katoen, Holger Hermanns - 1999
8 Simulation for Continuous-Time Markov Chains – Christel Baier, Joost-Pieter Katoen, Holger Hermanns, Boudewijn Haverkort - 2002
Model Checking of Probabilistic Systems Against Temporal Logic Specifications – Marta Kwiatkowska - 1999
1 SYMBOLIC IMPLEMENTATION OF MODEL-CHECKING PROBABILISTIC TIMED AUTOMATA – Fuzhi Wang - 2006
24 Symbolic model checking for probabilistic processes using MTBDDs and the Kronecker representation – Luca De Alfaro, Marta Kwiatkowska, Gethin Norman, David Parker, Roberto Segala - 2000
184 PRISM: Probabilistic symbolic model checker – Marta Kwiatkowska, Gethin Norman, David Parker - 2002
137 Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach – Marta Kwiatkowska, Gethin Norman, David Parker - 2002
128 Model-checking algorithms for continuous-time Markov chains – Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen - 2003
1 Theories for Ubiquitous Processes and Data: Platform for 15-year – Robin Milner - 2002
55 On probabilistic model checking – Marta Kwiatkowska, Gethin Norman, David Parker - 1996
33 Verifying quantitative properties of continuous probabilistic timed automata – Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston - 2000
57 Weak Bisimulation for Fully Probabilistic Processes – Christel Baier, Holger Hermanns - 1999
4 Automatic Verification of Liveness Properties of Randomized Systems (Extended Abstract – Christel Baier, Marta Kwiatkowska - 1997