Logic and Formal Methods

Dr. Frank Werner



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
15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010), September 20-21 2010, Antwerp, Belgium

Dissertation, Fakultät für Informatik, Universität Karlsruhe, 2009

8. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze", TU Harburg, August 2009

Frank Werner, Zinaida Benenson International Symposium on Performance Evaluation of Computer and Telecommunication Systems, Istanbul, July 13-16, 2009
7. GI/ITG KuVS Fachgespräch "Drahtlose Sensornetze"
25./26. September 2008, ScatterWeb GmbH / Freie Universität Berlin

The 5th International Conference on Wireless On-demand Network Systems and Services,
Garmisch-Partenkirchen, Germany

GI/ITG KuVS Fachgespräch Aachen 2007 - Energiebewusste Systeme und Methoden