Modeling and analyzing mobile ad hoc networks in Real-Time Maude
From MaRDI portal
(Redirected from Publication:730472)
Recommendations
Cites work
- scientific article; zbMATH DE number 1189278 (Why is no real title available?)
- A Calculus for Mobile Ad Hoc Networks
- A calculus of trustworthy ad hoc networks
- A framework for mobile ad hoc networks in Real-Time Maude
- A framework for security analysis of mobile wireless networks
- A process calculus for mobile ad hoc networks
- A timed calculus for wireless systems
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- An observational theory for mobile ad hoc networks (full version)
- Broadcast Abstraction in a Stochastic Calculus for Mobile Networks
- Computer Aided Verification
- Conditional rewriting logic as a unified model of concurrency
- Formal analysis of leader election in MANETs using Real-Time Maude
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- Formal verification of standards for distance vector routing protocols
- Model checking MANETs with arbitrary mobility
- Rewriting modulo SMT and open system analysis
- Semantic foundations for generalized rewrite theories
- Semantics and pragmatics of real-time maude
- Specification of real-time and hybrid systems in rewriting logic
- Towards a calculus for wireless systems
Cited in
(9)- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- A rewriting-logic-with-SMT-based formal analysis and parameter synthesis framework for parametric time Petri nets
- A framework for mobile ad hoc networks in Real-Time Maude
- Model checking MANETs with arbitrary mobility
- Formal analysis of leader election in MANETs using Real-Time Maude
- A New Analytical Model and Protocol for Mobile Ad-Hoc Networks Based on Time Varying Behavior of Nodes
- Modeling and efficient verification of wireless ad hoc networks
- An Observational Theory for Mobile Ad Hoc Networks
This page was built for publication: Modeling and analyzing mobile ad hoc networks in Real-Time Maude
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q730472)