Publications
Title |
Author(s) |
Source |
| Correctness of Sensor Network Applications by Software Bounded Model Checking |
Frank Werner, David Faragó |
15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010), September 20-21 2010, Antwerp, Belgium |
| Applied Formal Methods in Wireless Sensor Networks |
Frank Werner |
Dissertation, Fakultät für Informatik, Universität Karlsruhe, 2009 |
| Modeling Security Aspects of Network Aggregation Protocols |
Frank Werner |
8. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze", TU Harburg, August 2009 |
| Formally Verified Authenticated Query Dissemination in Sensor Networks |
Frank Werner, Zinaida Benenson |
International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Istanbul, July 13-16, 2009 |
| Vergleichbarkeit von Ansätzen zur Netzwerkanalyse in drahtlosen Sensornetzen |
Joachim Wilke, Frank Werner, Markus Bestehorn, Zinaida Benenson, Simon Kellner, Erik-Oliver Blaß |
7. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze"
25./26. September 2008, ScatterWeb GmbH / Freie Universität Berlin
|
| Analysis of authenticated Query Flooding by Probabilistic Means |
Peter H. Schmitt
Frank Werner |
IEEE/IFIP WONS 2008,
The 5th International Conference on Wireless On-demand Network Systems and Services,
Garmisch-Partenkirchen, Germany |
| Model Checking for Energy Efficient Scheduling in Wireless Sensor Networks |
Peter H. Schmitt
Frank Werner |
GI/ITG KuVS Fachgespräch Aachen 2007 - Energiebewusste Systeme und Methoden |
