Improved probabilistic models for 802.11 protocol verification

Lecture Notes in Computer Science

Volumn 3576, Issue , 2005, Pages 239-252

  Roy, Amitabha ^a   Gopinath, K ^a  

^a INDIAN INSTITUTE OF SCIENCE   (India)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER NETWORKS; MATHEMATICAL MODELS; OPTIMIZATION;

MEDIUM ACCESS CONTROL LAYER (MAC); VERIFICATION;

PROBABILITY;

EID: 26444449874     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/11513988_24     Document Type: Conference Paper

References (16)

1. The Institute of Electrical and Inc. Electronics Engineers. IEEE Std. 802.11 - Wireless LAN Medium Access Control(MAC) and Physical Layer (PHY) specifications, 1999.
2. Marta Kwiatkowska, Gethin Norman, and Jeremy Spronston. Probabilistic model checking of the IEEE 802.11 wireless local area network protocol. In Proc. PAPM/PROBMIV'02, volume 2399, pages 169-187. Springer, LNCS, 2002.
3. Moustafa Youssef, Arunchandar Vasan, and Raymond Miller. Specification and analysis of the dcf and pcf protocols in the 802.11 standard using systems of communicating machines. In IEEE ICNP 2002, November 2002.
4. Marta Kwiatkowska, Gethin Norman, Roberto Segala, and Jeremy Sproston. Automatic verification of real-time systems with discrete probability distributions. Lecture Notes in Computer Science, 1601:75-95, 1999.
5. . M. Kwiatkowska, G. Norman, and D. Parker. PRISM: Probabilistic symbolic model checker. In T. Field, P. Harrison, J. Bradley, and U. Harder, editors, Proc. 12th International Conference on Modelling Techniques and Tools for Computer Performance Evaluation (TOOLS'02), volume 2324 of LNCS, pages 200-204. Springer, 2002.
6. Kim Guldstrand Larsen, Paul Pettersson, and Wang Yi. UPPAAL in a nutshell. In International Journal on Software Tools for Technology Transfer, volume 1, pages 134-152, 1997.
7. P.R. D'Argenio, Bertrand Jeannet, Henrik E. Jensen, and Kim G. Larsen. Reduction and refinement strategies for probabilistic analysis. In Process Algebra and Probabilistic Methods. Performance Modeling and Verification: Second Joint International Workshop PAPM-PROBMIV 2002, volume 2399. LNCS, 2002.
8. http://agni.csa.iisc.ernet.in/~gopi/aroy/paper.pdf.
9. Roberto Segala and Nancy Lynch. Probabilistic simulations for probabilistic processes. Nordic Journal of Computing, 2(2):250-273, 1995.
10. th IEEE Symposium on Logic in Computer Science (LICS'03), pages 351-360. IEEE Computer Society Press, 2003.
11. Marta Kwiatkowska, Gethin Norman, and Jeremy Sproston. Probabilistic model checking of the 802.11 wireless local area network protocol. Technical Report CSR-02-05, School of Computer Science,University of Birmingham, 2002.
12. Christel Baier and Marta Z. Kwiatkowska. Model checking for a probabilistic branching time logic with fairness. Distributed Computing, 11(3): 125-155, 1998.
13. John G. Kemeney, J. Laurie Snell, and Anthony W. Knapp. Denumerable Markov Chains. Springer Verlag, 1976.
14. Hans Hansson and Bengt Jonsson. A logic for reasoning about time and reliability. Formal Aspects of Computing, 6(5):512-535, 1994.
15. I. F. Akyildiz, W. Su, Y. Sankarasubramaniam, and E. Cayirci. Wireless sensor networks: a survey. Comput. Networks, 38(4):393-422, 2002.
16. International Telecommunication Union. Coding of speech at 8 kbit/s using conjugate-structure algebraic-code-excited linear-prediction (CS-ACELP), 1996.