Formal modeling and validation of a power-efficient grouping protocol for WSNs
From MaRDI portal
Publication:444471
DOI10.1016/J.JLAP.2011.12.001zbMATH Open1252.68041OpenAlexW1973884659MaRDI QIDQ444471FDOQ444471
Olaf Owe, Ilangko Balasingham, Fatemeh Kazemeyni, Einar Broch Johnsen
Publication date: 14 August 2012
Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.jlap.2011.12.001
Recommendations
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- Finding the Number of Clusters Minimizing Energy Consumption of Wireless Sensor Networks
- Algorithmic Aspects of Wireless Sensor Networks
- Modeling and simulation of low power wireless sensor networks based on generalized nets
- A hierarchical formal method for performance evaluation of WSNs protocol
Network design and communication in computer systems (68M10) Distributed systems (68M14) Network protocols (68M12)
Cites Work
- Towards Maude 2. 0
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Game theory
- Title not available (Why is that?)
- A structural approach to operational semantics
- Title not available (Why is that?)
- Formal methods for open object-based distributed systems. 10th IFIP WG 6.1 international conference, FMOODS 2008, Oslo, Norway, June 4--6, 2008. Proceedings
- Conditional rewriting logic as a unified model of concurrency
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude
- Methods, models and tools for fault tolerance
- Integrated formal methods. 6th international conference, IFM 2007, Oxford, UK, July 2--5, 2007. Proceedings.
- An Object-Oriented Component Model for Heterogeneous Nets
- Title not available (Why is that?)
Uses Software
This page was built for publication: Formal modeling and validation of a power-efficient grouping protocol for WSNs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q444471)
