On the Verification of Timed Ad Hoc Networks

DOI10.1007/978-3-642-24310-3_18MaRDI QIDQ3172855zbMATH OpenOpenAlexFDO

Authors Giorgio Delzanno, Othmane Rezine, Arnaud Sangnier, Riccardo Traverso, Parosh A. Abdulla

Publication date 7 October 2011

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-24310-3_18

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Network protocols (68M12)

Recommendations

• Parameterized verification of time-sensitive models of ad hoc network protocols
• Parameterized verification of ad hoc networks
• Verification of a class of self-timed computational networks
• Modeling and efficient verification of wireless ad hoc networks
• Verification of mobile ad hoc networks: an algebraic approach
• scientific article; zbMATH DE number 1670505

Cites work

• scientific article; zbMATH DE number 1755138 (Why is no real title available?)
• A timed calculus for wireless systems
• Closed, open, and robust timed networks
• Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
• Model checking of systems with many identical timed processes
• Nets with tokens which carry data
• On the power of cliques in the parameterized verification of ad hoc networks
• Parameterized verification of ad hoc networks
• Parameterized verification of time-sensitive models of ad hoc network protocols
• Query-Based Model Checking of Ad Hoc Network Protocols
• Static analysis of topology-dependent broadcast networks
• Subgraphs and well‐quasi‐ordering

Cited in

(11)

• scientific article; zbMATH DE number 7447739 (Why is no real title available?)
• Query-Based Model Checking of Ad Hoc Network Protocols
• Controlling a population
• Model checking parameterised multi-token systems via the composition method
• Parameterized verification of coverability in infinite state broadcast networks
• Regular separability of well-structured transition systems
• On the power of cliques in the parameterized verification of ad hoc networks
• Parameterized verification of ad hoc networks
• Parameterized verification of time-sensitive models of ad hoc network protocols
• Parametric timed broadcast protocols
• Modeling and efficient verification of wireless ad hoc networks

This page was built for publication: On the Verification of Timed Ad Hoc Networks

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