Formal verification and simulation for performance analysis for probabilistic broadcast protocols

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4104 LNCS, Issue , 2006, Pages 128-141

  Fehnker, Ansgar ^a   Gao, Peng ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

BROADCASTING; COMPUTER SIMULATION; MATHEMATICAL MODELS; MONTE CARLO METHODS; PROBABILISTIC LOGICS; PROBABILITY; SEMANTICS;

BROADCAST PROTOCOLS; FORMAL VERIFICATION; PROBABILISTIC MODELS; PROBABILISTIC SYSTEMS;

NETWORK PROTOCOLS;

EID: 33749637876     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11814764_12     Document Type: Conference Paper

References (10)

1. Li, L., Halpern, J., Haas, Z.: Gossip-based ad hoc routing. In: INFOCOM. (2002)
2. Sasson, Y., Cavin, D., Schiper, A.: Probabilistic broadcast for flooding in wireless mobile ad hoc networks. In: WCNC 2003. (2003)
3. Cardell-Oliver, R.: Why Flooding is Unreliable (Extended Version). Technical Report UWA-CSSE-04-001, CSSE, University of Western Australia (2001)
4. Viswanath, K., Obraczka, K.: Modeling the performance of flooding in multihop ad hoc networks. Computer Communications Journal (2005)
5. Sasson, Y., Cavin, D., Schiper, A.: On the accuracy of manet simulators. In: Principles of Mobile Computing (POMC 2002). (2002) 38-43
6. Kwiatkowska, M., Norman, G., Sproston, J.: Probabilistic model checking of the IEEE 802.11 wireless local area network protocol. In Hermanns, H., Segala, R., eds.: PAPM/PROBMIV'02. Volume 2399 of LNCS., Springer (2002) 169-187
7. Kwiatkowska, M., Norman, G., Parker, D.: Probabilistic model checking and power-aware computing. In: PMCCS'05. (2005)
8. Amnell, T., Fersman, E., Mokrushin, L., Pettersson, P., Yi, W.: Times: A tool for schedulability analysis and code generation of real-time systems. In: FORMATS. (2003) 60-72
9. Kumar, R., Paul, A., Ramachandran, U.: Fountain broadcast for wireless networks. Technical report, CERCS, Georgia Tech (2005)
10. Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A tool for automatic verification of probabilistic systems. In: TACAS'06. (2006)