University
of Freiburg | Faculty
of Applied Sciences | Institute
for Computer Science
| Computer Networks and Telematics
The tele Research Group
The tele Research Group
Research
- DFG Projekt: Unvollständiges Model Checking für Objektorientierte Systeme
- Directed Model Checking
- VIP: A Visual Interface for Promela
- Visual Modeling and Formal Validation
- Formal Modeling and Validation of Distributed, Object-Oriented Systems
- Message Sequence Charts and Message Flow Graphs
- Efficient, Parallel Protocol Implementation
- SDL, Real-Time and Quality of Service