Modeling Routing Protocols in Adhoc Networks
From MaRDI portal
Publication:3628490
DOI10.1007/978-3-540-89985-3_52zbMATH Open1183.68083OpenAlexW106520219WikidataQ57835497 ScholiaQ57835497MaRDI QIDQ3628490FDOQ3628490
Authors: Fatemeh Ghassemi, Ali Movaghar 
Publication date: 20 May 2009
Published in: Communications in Computer and Information Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-89985-3_52
Recommendations
Cites Work
- Uppaal in a nutshell
- Title not available (Why is that?)
- Title not available (Why is that?)
- Algebra of communicating processes with abstraction
- Formal verification of standards for distance vector routing protocols
- Using Probabilistic Kleene Algebra for Protocol Verification
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Process algebras for network communication
- Formalizing Compatibility and Substitutability in Communication Protocols Using I/O-Constraint Automata
- Algebraic modeling of an ad hoc network for mobile computing
Cited In (19)
- Formal verification of secure ad hoc routing protocols using AVISPA: ARAN case study
- Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols
- Probabilistic model checking of AODV
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude
- Towards an algebra of routing tables
- Modelling and Initial Validation of the DYMO Routing Protocol for Mobile Ad-Hoc Networks
- Title not available (Why is that?)
- Title not available (Why is that?)
- Modeling and verifying ad hoc routing protocols
- Formal Techniques for Networked and Distributed Systems – FORTE 2004
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- Modelling and verifying the AODV routing protocol
- Modeling routing overhead of reactive protocols at link layer and network layer in wireless multihop networks
- Wired/Wireless Internet Communications
- A framework for mobile ad hoc networks in Real-Time Maude
- Formal analysis of leader election in MANETs using Real-Time Maude
- Modeling and efficient verification of wireless ad hoc networks
- A high-order description model of message propagation process in ad hoc network
- One step forward: linking wireless self-organizing network validation techniques with formal testing approaches
Uses Software
This page was built for publication: Modeling Routing Protocols in Adhoc Networks
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3628490)
