View source for Publications:Mechanized Extraction of Topology Anti-patterns in Wireless Networks

<div style='display: none'>
== Do not edit this section ==
</div>
{{PublicationSetupTemplate|Author=Matthias Woehrle, Rena Bakhshi, Mohammad Reza Mousavi
|PID=583412
|Name=Woehrle, Matthias ( Embedded Software Group, Delft University of Technology, Netherlands);Bakhshi, Rena (Vrije Universiteit Amsterdam, Department of Computer Science, Netherlands);Mousavi, Mohammad Reza [mohmou] ( Embedded Software Group, Delft University of Technology, Netherlands)
|Title=Mechanized Extraction of Topology Anti-patterns in Wireless Networks
|PublicationType=Conference Paper
|ContentType=Refereegranskat
|Language=eng
|Journal=
|JournalISSN=
|Status=
|Volume=7321
|Issue=
|HostPublication=Proceedings of the 9th International Conference on Integrated Formal Methods (iFM 2012)
|Conference=9th International Conference on Integrated Formal Methods, IFM 2012, Pisa, Italy, 18-21 June, 2012; Code91380
|StartPage=158
|EndPage=173
|Year=2012
|Edition=
|Pages=
|City=Berlin
|Publisher=Springer Berlin/Heidelberg
|Series=Lecture Notes in Computer Science
|SeriesISSN=0302-9743
|ISBN=978-364230728-7
|Urls=
|ISRN=
|DOI=http://dx.doi.org/10.1007/978-3-642-30729-4_12
|ISI=
|PMID=
|ScopusId=2-s2.0-84864375717
|NBN=urn:nbn:se:hh:diva-20326
|LocalId=
|ArchiveNumber=
|Keywords=
|Categories=Data- och informationsvetenskap (102)
|ResearchSubjects=
|Projects=
|Notes=
|Abstract=<p>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.</p>
|Opponents=
|Supervisors=
|Examiners=
|Patent=
|ThesisLevel=
|Credits=
|Programme=
|Subject=
|Uppsok=
|DefencePlace=
|DefenceLanguage=
|DefenceDate=
|CreatedDate=2013-01-08
|PublicationDate=2013-01-08
|LastUpdated=2013-02-26
|diva=http://hh.diva-portal.org/smash/record.jsf?searchId=1&pid=diva2:583412}}
<div style='display: none'>

== Keep all hand-made modifications below ==
</div>{{PublicationDisplayTemplate}}