One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches

@article{Viana2011OneSF,
  title={One step forward: Linking wireless self-organizing network validation techniques with formal testing approaches},
  author={Aline Carneiro Viana and St{\'e}phane Maag and Fatiha Za{\"i}di},
  journal={ACM Comput. Surv.},
  year={2011},
  volume={43},
  pages={7:1-7:36}
}
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… CONTINUE READING
Highly Cited
This paper has 28 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-10 of 17 extracted citations

References

Publications referenced by this paper.
Showing 1-10 of 37 references

A survey on real-world implementations of mobile ad-hoc networks

  • Wolfgang Kiess, Martin Mauvea
  • Ad Hoc Networks,
  • 2007
Highly Influential
11 Excerpts

Mathematical techniques for analysing concurrent and probabilitics systems

  • J. Rutten, M.Kwiatkowska, G. Norman, D. Parker
  • CRM Monograph Series,
  • 2004
Highly Influential
4 Excerpts

Similar Papers

Loading similar papers…