Researchers
Robert Esser
Jörn W. Janneck
Simon Künzli
Marco Platzner
Lothar Thiele
Previous Members
Kim Mason
Martin Naedele
Students and their projects
- Manuel Hilty
Visual specification of graphical syntax
- Alper Oezmacun
- VisualCTL - a visual model checking language
- Wolfgang Habicht
A visual interface for Abstract State Machines
- Stefan Egli, Markus Schlup
Coupling of simulators for discrete event and continuous systems
(This work is now part of CodeSign version 2.5.)
- Martin Bollinger
Modeling of industrial real-time systems
- Markus von Arx
Translation of net models
ETH - Dept. of Electrical Engineering - TIK - Computer Engineering
Moses Home
