Runtime Verification and Reflection for Wireless Sensor Networks
Title | Runtime Verification and Reflection for Wireless Sensor Networks |
Publication Type | Conference Paper |
Year of Publication | 2013 |
Authors | Fischer, S, Leucker, M |
Conference Name | SESENA |
Publisher | IEEE |
Conference Location | San Francisco |
Abstract |
The paper proposes to re-visit a light-weight veri- fication technique called runtime verification in the context of wireless sensor networks. The authors believe that especially an extension of runtime verification which is called runtime reflection and which is not only able to detect faults, but diagnose and even repair them, can be an important step towards robust, self-organizing and self-healing WSNs. They present the basic idea of runtime reflection and possible applications. |
Bibtex:
@inproceedings {928, title = {Runtime Verification and Reflection for Wireless Sensor Networks}, booktitle = {SESENA}, year = {2013}, publisher = {IEEE}, organization = {IEEE}, address = {San Francisco}, abstract = {<p>\ </p> <p><span style="font-size: 9pt; font-family: NimbusRomNo9L; "><i>The\ </i>paper proposes to re-visit a light-weight veri- fication technique called runtime verification in the context of wireless sensor networks. The authors believe that especially an extension of runtime verification which is called runtime reflection and which is not only able to detect faults, but diagnose and even repair them, can be an important step towards robust, self-organizing and self-healing WSNs. They present the basic idea of runtime reflection and possible applications.\ </span></p> }, author = {Stefan Fischer and Martin Leucker} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Mahmoud Abdelrehim
- Aliyu Ali
- Phillip Bende
- Moritz Bayerkuhnlein
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Raik Dankworth
- Anja Grotrian
- Raik Hipler
- Elaheh Hosseinkhani
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Inger Struve
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Sparsh Tiwari
- Lars Vosteen
- Open Positions
- Contact