ZeuS Projekt
| The ZeuS ("Zuverlässige Informationsverarbeitung in energiebewussten ubiquitären Systemen") Project deals with the quest of finding quality criteria and resource limitations in wireless sensor networks. Since the sensor nodes - in contrary to conventional distributed systems - underly strong resource limitations, it is important to state quality guarantees such as accuracy, velocity, authenticity, and confidentiality. To solve this task we experiment with modells for reliable information processing in energy-conscious ubiquitous sensor networks. |
| 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 | 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 | IEEE/IFIP WONS 2008, |
|
| Model Checking for Energy Efficient Scheduling in Wireless Sensor Networks | GI/ITG KuVS Fachgespräch Aachen 2007 - Energiebewusste Systeme und Methoden |
| Titel | Typ | Diplomand: |
|---|---|---|
| Verification of Sun SPOT's Network Library | Diplomarbeit | |
| Model Checking of Randomized Leader Election Algorithms | Diplomarbeit |
| Title | Type | Semester | Place |
|---|---|---|---|
| Modellprüfung und modellbasiertes Testen (SS 09) | Seminar | ||
| Formale Modellierung in Sensornetzen (SS 08) | Seminar | ||
| Formale Verifikation und Spezifikation in mobilen Sensornetzwerken (WS 07/08) | Konferenzseminar | Universität Mannheim | |
| Theorie und Anwendung von Model Checking (SS 07) | Seminar | SR -108 | |
| Formale Entwicklung objektorientierter Software (WS 06/07) | Praktikum | SR 301 |