Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol
暂无分享,去创建一个
Marta Z. Kwiatkowska | Gethin Norman | Jeremy Sproston | J. Sproston | M. Kwiatkowska | G. Norman | Jeremy Sproston
[1] J. Kemeny,et al. Denumerable Markov chains , 1969 .
[2] Mariëlle Stoelinga,et al. Mechanical verification of the IEEE 1394a root contention protocol using Uppaal2k , 2001, International Journal on Software Tools for Technology Transfer.
[3] Marta Z. Kwiatkowska,et al. Probabilistic Model Checking of Deadline Properties in the IEEE 1394 FireWire Root Contention Protocol , 2003, Formal Aspects of Computing.
[4] Dirk Beyer,et al. Improvements in BDD-Based Reachability Analysis of Timed Automata , 2001, FME.
[5] Marta Z. Kwiatkowska,et al. Probabilistic symbolic model checking with PRISM: a hybrid approach , 2004, International Journal on Software Tools for Technology Transfer.
[6] Alon Itai,et al. Timing Verification by Successive Approximation , 1992, CAV.
[7] Reinhard German,et al. Performance modeling of IEEE 802.11 wireless LANs with stochastic Petri nets , 2001, Perform. Evaluation.
[8] Stavros Tripakis. Timed Diagnostics for Reachability Properties , 1999, TACAS.
[9] Thomas A. Henzinger,et al. A User Guide to HyTech , 1995, TACAS.
[10] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[11] Kim G. Larsen,et al. Scaling up Uppaal Automatic Verification of Real-Time Systems Using Compositionality and Abstraction , 2000, FTRTFT.
[12] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[13] Masahiro Fujita,et al. Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation , 1997, Formal Methods Syst. Des..
[14] Stavros Tripakis,et al. L'analyse formelle des systèmes temporisés en pratique. (The Formal Analysis of Timed Systems in Practice) , 1998 .
[15] K. Brown,et al. Graduate Texts in Mathematics , 1982 .
[16] Luca de Alfaro,et al. Computing Minimum and Maximum Reachability Times in Probabilistic Systems , 1999, CONCUR.
[17] Andrea Bianco,et al. Model Checking of Probabalistic and Nondeterministic Systems , 1995, FSTTCS.
[18] Nancy A. Lynch,et al. Probabilistic Simulations for Probabilistic Processes , 1994, Nord. J. Comput..
[19] Moshe Y. Vardi. Automatic verification of probabilistic concurrent finite state programs , 1985, 26th Annual Symposium on Foundations of Computer Science (sfcs 1985).
[20] Conrado Daws,et al. Two examples of verification of multirate timed automata with Kronos , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.
[21] Roberto Segala,et al. Modeling and verification of randomized distributed real-time systems , 1996 .
[22] R. Segala,et al. Automatic Verification of Real-Time Systems with Discrete Probability Distributions , 1999, ARTS.
[23] Cyrus Derman,et al. Finite State Markovian Decision Processes , 1970 .