Managing the development of large software systems: concepts and techniques
ICSE '87 Proceedings of the 9th international conference on Software Engineering
Design and validation of computer protocols
Design and validation of computer protocols
Stochastic Automata Network of Modeling Parallel Systems
IEEE Transactions on Software Engineering
IEEE INFOCOM '92 Proceedings of the eleventh annual joint conference of the IEEE computer and communications societies on One world through communications (Vol. 1)
An introduction to logic programming through Prolog
An introduction to logic programming through Prolog
Model checking for programming languages using VeriSoft
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Verification validation and accreditation of simulation models
Proceedings of the 29th conference on Winter simulation
Performance modelling with the formal specification language SDL
IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools
The unified software development process
The unified software development process
Performance engineering of SDL/MSC systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on advanced topics on SDL and MSC
Model checking
Bandera: extracting finite-state models from Java source code
Proceedings of the 22nd international conference on Software engineering
Software engineering (2nd ed.): principles and practice
Software engineering (2nd ed.): principles and practice
ACM Computing Surveys (CSUR)
MobiCast: a multicast scheme for wireless networks
Mobile Networks and Applications
Verisim: Formal Analysis of Network Simulations
IEEE Transactions on Software Engineering
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Automatic verification of real-time systems with discrete probability distributions
Theoretical Computer Science
Coping with communication gray zones in IEEE 802.11b based ad hoc networks
WOWMOM '02 Proceedings of the 5th ACM international workshop on Wireless mobile multimedia
Formal verification of standards for distance vector routing protocols
Journal of the ACM (JACM)
Mobility increases the capacity of ad hoc wireless networks
IEEE/ACM Transactions on Networking (TON)
On the accuracy of MANET simulators
Proceedings of the second ACM international workshop on Principles of mobile computing
Probabilistic Model Checking of the IEEE 802.11 Wireless Local Area Network Protocol
PAPM-PROBMIV '02 Proceedings of the Second Joint International Workshop on Process Algebra and Probabilistic Methods, Performance Modeling and Verification
Counter-Example Based Predicate Discovery in Predicate Abstraction
FMCAD '02 Proceedings of the 4th International Conference on Formal Methods in Computer-Aided Design
Automata For Modeling Real-Time Systems
ICALP '90 Proceedings of the 17th International Colloquium on Automata, Languages and Programming
Software Performance Models from System Scenarios in Use Case Maps
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
REAL: A Network Simulator
PE-WASUN '04 Proceedings of the 1st ACM international workshop on Performance evaluation of wireless ad hoc, sensor, and ubiquitous networks
A wireless sensor network For structural monitoring
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
A system for simulation, emulation, and deployment of heterogeneous sensor networks
SenSys '04 Proceedings of the 2nd international conference on Embedded networked sensor systems
An efficient approximate technique for solving fluid models
ACM SIGMETRICS Performance Evaluation Review
Unbounded system verification using decision procedure and predicate abstraction
Unbounded system verification using decision procedure and predicate abstraction
Queueing Networks and Markov Chains
Queueing Networks and Markov Chains
Wireless protocol testing and validation supported by formal methods: a hands-on report
Journal of Systems and Software - Special issue: Software engineering education and training
ReactiveML: a reactive extension to ML
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
Model checking, testing and verification working together
Formal Aspects of Computing
Formal description and analysis of a distributed location service for mobile ad hoc networks
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
MANET simulation studies: the incredibles
ACM SIGMOBILE Mobile Computing and Communications Review - Special Issue on Medium Access and Call Admission Control Algorithms for Next Generation Wireless Networks.: The Digital Library version of this issue has a corrected special issue title compared to the one in the print version of the issue.
Theory, Volume 1, Queueing Systems
Theory, Volume 1, Queueing Systems
Monte Carlo Simulation of LEACH Protocol for Wireless Sensor Networks
PDCAT '05 Proceedings of the Sixth International Conference on Parallel and Distributed Computing Applications and Technologies
GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks
InterSense '06 Proceedings of the first international conference on Integrated internet ad hoc and sensor networks
Testing methodology for an ad hoc routing protocol
Proceedings of the ACM international workshop on Performance monitoring, measurement, and evaluation of heterogeneous wireless and wired networks
A survey on real-world implementations of mobile ad-hoc networks
Ad Hoc Networks
EmStar: a software environment for developing and deploying wireless sensor networks
ATEC '04 Proceedings of the annual conference on USENIX Annual Technical Conference
Designing wireless protocols: methodology and applications
ICASSP '00 Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 06
A Methodology for Interoperability Testing of a MANET Routing Protocol
ICWMC '07 Proceedings of the Third International Conference on Wireless and Mobile Communications
Capacity scaling in delay tolerant networks with heterogeneous mobile nodes
Proceedings of the 8th ACM international symposium on Mobile ad hoc networking and computing
Predicate abstraction with indexed predicates
ACM Transactions on Computational Logic (TOCL)
A formal validation methodology for MANET routing protocols based on nodes' self similarity
Computer Communications
Simulation and the Monte Carlo Method (Wiley Series in Probability and Statistics)
Simulation and the Monte Carlo Method (Wiley Series in Probability and Statistics)
In search of dependable design
Communications of the ACM - Web science
Netkit: easy emulation of complex networks on inexpensive hardware
Proceedings of the 4th International Conference on Testbeds and research infrastructures for the development of networks & communities
Model Checking Medium Access Control for Sensor Networks
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Formal Techniques for the Analysis of Wireless Networks
ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
A Prototyping Environment for Wireless Multihop Networks
AINTEC '07 Proceedings of the 3rd Asian conference on Internet Engineering: Sustainable Internet
Coverage Ratio in the Wireless Sensor Networks Using Monte Carlo Simulation
NCM '08 Proceedings of the 2008 Fourth International Conference on Networked Computing and Advanced Information Management - Volume 01
Modeling per-flow throughput and capturing starvation in CSMA multi-hop wireless networks
IEEE/ACM Transactions on Networking (TON)
Network protocol interoperability testing based on contextual signatures and passive testing
Proceedings of the 2009 ACM symposium on Applied Computing
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols
Methods, Models and Tools for Fault Tolerance
Performance of wireless networks with hidden nodes: a queuing-theoretic analysis
Computer Communications
A passive testing approach based on invariants: application to the WAP
Computer Networks: The International Journal of Computer and Telecommunications Networking
Towards A Game Theoretic Understanding of Ad-Hoc Routing
Electronic Notes in Theoretical Computer Science (ENTCS)
Looking for better integration of design and performance engineering
SDL'03 Proceedings of the 11th international conference on System design
Formal verification and simulation for performance analysis for probabilistic broadcast protocols
ADHOC-NOW'06 Proceedings of the 5th international conference on Ad-Hoc, Mobile, and Wireless Networks
Quantitative µ-calculus analysis of power management in wireless networks
ICTAC'06 Proceedings of the Third international conference on Theoretical Aspects of Computing
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
ELIP: embedded location information protocol
NETWORKING'05 Proceedings of the 4th IFIP-TC6 international conference on Networking Technologies, Services, and Protocols; Performance of Computer and Communication Networks; Mobile and Wireless Communication Systems
Verifying quantitative properties using bound functions
CHARME'05 Proceedings of the 13 IFIP WG 10.5 international conference on Correct Hardware Design and Verification Methods
Performance analysis of the IEEE 802.11 distributed coordination function
IEEE Journal on Selected Areas in Communications
Lightweight testing of communication networks with e-motions
TAP'11 Proceedings of the 5th international conference on Tests and proofs
Big wireless measurement campaigns: are they really worth the price?
Proceedings of the 4th ACM international workshop on Hot topics in planet-scale measurement
Hi-index | 0.00 |
Wireless self-organizing networks (WSONs) have attracted considerable attention from the network research community; however, the key for their success is the rigorous validation of the properties of the network protocols. Applications of risk or those demanding precision (like alert-based systems) require a rigorous and reliable validation of deployed network protocols. While the main goal is to ensure the reliability of the protocols, validation techniques also allow the establishment of their correctness regarding the related protocols' requirements. Nevertheless, even if different communities have carried out intensive research activities on the validation domain, WSONs still raise new issues for and challenging constraints to these communities. We thus, advocate the use of complementary techniques coming from different research communities to efficiently address the validation of WSON protocols. The goal of this tutorial is to present a comprehensive review of the literature on protocol engineering techniques and to discuss difficulties imposed by the characteristics of WSONs on the protocol engineering community. Following the formal and nonformal classification of techniques, we provide a discussion about components and similarities of existing protocol validation approaches. We also investigate how to take advantage of such similarities to obtain complementary techniques and outline new challenges.