Evaluating complex MAC protocols for sensor networks with APMC

DOI10.1016/J.ENTCS.2007.05.027zbMATH Open1335.68013OpenAlexW2135757886MaRDI QIDQ5178993FDOQ5178993

Authors: Michaël Cadilhac, Thomas Herault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil 

Publication date: 18 March 2015

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2007.05.027

Recommendations

• Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC
• Distribution, approximation and probabilistic model checking
• Computer Aided Verification
• A state-based model of sensor protocols
• Semantic analysis of gossip protocols for wireless sensor networks

zbMATH Keywords

wireless sensor networksapproximate verification

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Cites Work

• Title not available (Why is that?)
• Verification, Model Checking, and Abstract Interpretation
• Packet Switching in Radio Channels: Part I--Carrier Sense Multiple-Access Modes and Their Throughput-Delay Characteristics
• Title not available (Why is that?)
• Computer Aided Verification
• Tools and Algorithms for the Construction and Analysis of Systems
• Algorithmic Aspects of Wireless Sensor Networks
• Development of the ALOHANET
• Probabilistic model checking of the CSMA/CD protocol using PRISM and APMC
• Title not available (Why is that?)
• Probabilistic model checking of deadline properties in the IEEE 1394 fireWire root contention protocol
• Throughput Analysis for Persistent CSMA Systems
• Information processing in sensor networks. Second international workshop, IPSN 2003, Palo Alto, CA, USA, April 22--23, 2003. Proceedings
• An abstract Monte-Carlo method for the analysis of probabilistic programs
• Contention-Free MAC Protocols for Wireless Sensor Networks
• Title not available (Why is that?)

Cited In (3)

• Probabilistic verification and approximation
• Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
• APMC

Uses Software

• PRISM

This page was built for publication: Evaluating complex MAC protocols for sensor networks with APMC

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5178993)