Reactive modules. Formal Methods in System Design, pp.7-48, 1999. ,
Verifying continuous time Markov chains, Proc. CAV'96, pp.269-276, 1996. ,
DOI : 10.1007/3-540-61474-5_75
Algebraic decision diagrams and their applications. Formal Methods in System Design, pp.171-206, 1997. ,
On the Logical Characterisation of Performability Properties, Proc. ICALP'00, pp.780-792, 2000. ,
DOI : 10.1007/3-540-45022-X_65
Model-checking algorithms for continuous-time markov chains, IEEE Transactions on Software Engineering, vol.29, issue.6, pp.524-541, 2003. ,
DOI : 10.1109/TSE.2003.1205180
Approximate symbolic model checking of continuous-time Markov chains, Proc. CONCUR'99, pp.146-161, 1999. ,
Multi-terminal binary decision diagrams: An efficient data structure for matrix representation. Formal Methods in System Design, pp.10149-169, 1997. ,
Model Checking, 1999. ,
A logic for reasoning about time and reliability, Formal Aspects of Computing, vol.2, issue.1, pp.512-535, 1994. ,
DOI : 10.1007/BF01211866
Modeling and Analysis of Stochastic Systems, 1995. ,
Probabilistic symbolic model checking with PRISM: a hybrid approach, International Journal on Software Tools for Technology Transfer, vol.24, issue.2, pp.128-142, 2004. ,
DOI : 10.1007/s10009-004-0140-2
Controller dependability analysis by probabilistic model checking, Control Engineering Practice, vol.15, issue.11, pp.1427-1434, 2006. ,
DOI : 10.1016/j.conengprac.2006.07.003
Stochastic Model Checking, Formal Methods for the Design of Computer, Communication and Software Systems: Performance Evaluation (SFM'07), pp.220-270, 2007. ,
DOI : 10.1007/978-3-540-72522-0_6
Stochastic reward nets for reliability prediction, Communications in Reliability, Maintainability and Serviceability, vol.1, issue.2, pp.9-20, 1994. ,
Implementation of Symbolic Model Checking for Probabilistic Systems, 2002. ,
Introduction to the Numerical Solution of Markov Chains, 1994. ,