Assume-Guarantee Verification for Probabilistic Systems, Proc. of TACAS'10, pp.23-37, 2010. ,
DOI : 10.1007/978-3-642-12002-2_3
URL : https://hal.archives-ouvertes.fr/inria-00458058
Quantitative Multi-objective Verification for Probabilistic Systems, Proc. of TACAS'11, pp.112-127, 2011. ,
DOI : 10.1007/978-3-642-12002-2_3
URL : https://hal.archives-ouvertes.fr/hal-00647055
Stubborn sets for reduced state space generation, Proc. of the 10th International Conference on Application and Theory of Petri Nets, pp.491-515, 1989. ,
DOI : 10.1007/3-540-53863-1_36
Using partial orders to improve automatic verification methods, Proc. of CAV'90, pp.176-185, 1990. ,
DOI : 10.1007/BFb0023731
All from one, one for all: on model checking using representatives, Proc. of CAV'93, pp.409-423, 1993. ,
DOI : 10.1007/3-540-56922-7_34
A technique of state space search based on unfolding, Formal Methods in System Design, vol.22, issue.12, 1995. ,
DOI : 10.1007/BF01384314
Partial order reduction for probabilistic systems, First International Conference on the Quantitative Evaluation of Systems, 2004. QEST 2004. Proceedings., pp.230-239, 2004. ,
DOI : 10.1109/QEST.2004.1348037
Partial Order Reduction for Probabilistic Branching Time, Electronic Notes in Theoretical Computer Science, vol.153, issue.2, pp.97-116, 2006. ,
DOI : 10.1016/j.entcs.2005.10.034
URL : http://doi.org/10.1016/j.entcs.2005.10.034
Partial order reduction on concurrent probabilistic programs, QEST'04, pp.240-249, 2004. ,
Quantitative Analysis under Fairness Constraints, Proc. of ATVA'09), pp.135-150, 2009. ,
DOI : 10.1007/978-3-642-04761-9_12
Partial Order Reduction for Markov Decision Processes: A Survey, Proc. of FMCO'05, pp.408-427, 2005. ,
DOI : 10.1007/11804192_19
Compositional Analysis for Weak Stubborn Sets, 2011 Eleventh International Conference on Application of Concurrency to System Design, 2011. ,
DOI : 10.1109/ACSD.2011.25
A logic for reasoning about time and reliability, Formal Aspects of Computing, vol.2, issue.1, pp.512-535, 1994. ,
DOI : 10.1007/BF01211866
Model checking of probabilistic and nondeterministic systems, Proc. of FSTTCS'95, 1995. ,
DOI : 10.1007/3-540-60692-0_70
The temporal logic of programs, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977), pp.46-57, 1977. ,
DOI : 10.1109/SFCS.1977.32
Formal verification of probabilistic systems, 1997. ,
Reduction Techniques for Model Checking Markov Decision Processes, 2008 Fifth International Conference on Quantitative Evaluation of Systems, pp.45-54, 2008. ,
DOI : 10.1109/QEST.2008.45
Incremental quantitative verification for Markov decision processes, 2011 IEEE/IFIP 41st International Conference on Dependable Systems & Networks (DSN), 2011. ,
DOI : 10.1109/DSN.2011.5958249
URL : https://hal.archives-ouvertes.fr/hal-00647057
More Stubborn Set Methods for Process Algebras, Proc. of POMIV'96, ser. DIMACS Series in Discrete Mathematics and Theoretical Computer Science, pp.213-231, 1997. ,
DOI : 10.1007/978-3-319-32582-8_16
A stubborn attack on state explosion, Formal Methods in System Design, vol.31, issue.3, pp.297-322, 1992. ,
DOI : 10.1007/BF00709154
Solving the ignoring problem for partial order reduction, International Journal on Software Tools for Technology Transfer, vol.1, issue.4, pp.155-170, 2010. ,
DOI : 10.1007/s10009-010-0137-y
The state explosion problem, " in Lectures on Petri Nets I: Basic Models, pp.429-528, 1998. ,
Depth-First Search and Linear Graph Algorithms, SIAM Journal on Computing, vol.1, issue.2, pp.146-160, 1972. ,
DOI : 10.1137/0201010
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.327.8418
On finding the strongly connected components in a directed graph, Information Processing Letters, vol.49, issue.1, pp.9-14, 1994. ,
DOI : 10.1016/0020-0190(94)90047-7
PRISM: A Tool for Automatic Verification of Probabilistic Systems, Proc. of TACAS'06, 2006. ,
DOI : 10.1007/11691372_29
Performance analysis of probabilistic timed automata using digital clocks, 2006. ,