hh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Mechanized Extraction of Topology Anti-patterns in Wireless Networks
Embedded Software Group, Delft University of Technology, Netherlands.
Vrije Universiteit Amsterdam, Department of Computer Science, Netherlands.
Embedded Software Group, Delft University of Technology, Netherlands.ORCID iD: 0000-0002-4869-6794
2012 (English)In: Proceedings of the 9th International Conference on Integrated Formal Methods (iFM 2012), Berlin: Springer Berlin/Heidelberg, 2012, Vol. 7321, 158-173 p.Conference paper, Published paper (Refereed)
Abstract [en]

Exhaustive and mechanized formal verification of wireless networks is hampered by the huge number of possible topologies and the large size of the actual networks. However, the generic communication structure in such networks allows for reducing the root causes of faults to faulty (sub-)topologies, called anti-patterns, of small size. We propose techniques to find such anti-patterns using a combination of model-checking and automated debugging. We apply the proposed technique on two well-known protocols for wireless sensor networks and show that the techniques indeed find the root causes in terms of canonical topologies featuring the fault. © 2012 Springer-Verlag.

Place, publisher, year, edition, pages
Berlin: Springer Berlin/Heidelberg, 2012. Vol. 7321, 158-173 p.
Series
Lecture Notes in Computer Science, ISSN 0302-9743
National Category
Computer and Information Science
Identifiers
URN: urn:nbn:se:hh:diva-20326DOI: 10.1007/978-3-642-30729-4_12Scopus ID: 2-s2.0-84864375717ISBN: 978-364230728-7 OAI: oai:DiVA.org:hh-20326DiVA: diva2:583412
Conference
9th International Conference on Integrated Formal Methods, IFM 2012, Pisa, Italy, 18-21 June, 2012; Code91380
Available from: 2013-01-08 Created: 2013-01-08 Last updated: 2014-11-11Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Mousavi, Mohammad Reza
Computer and Information Science

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 63 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf