| 2008 |
|---|
| 5 | EE | Christian Webel,
Reinhard Gotzhein,
Joachim Nicolay:
NQSL - Formal Language and Tool Support for Network Quality-of-Service Requirements.
FORTE 2008: 218-233 |
| 2007 |
|---|
| 4 | EE | Christian Webel,
Reinhard Gotzhein:
Formalization of Network Quality-of-Service Requirements.
FORTE 2007: 309-324 |
| 2006 |
|---|
| 3 | EE | Thomas Kuhn,
Reinhard Gotzhein,
Christian Webel:
Model-Driven Development with SDL - Process, Tools, and Experiences.
MoDELS 2006: 83-97 |
| 2005 |
|---|
| 2 | EE | Ingmar Fliege,
Alexander Geraldy,
Reinhard Gotzhein,
Thomas Kuhn,
Christian Webel:
Developing safety-critical real-time systems with SDL design patterns and components.
Computer Networks 49(5): 689-706 (2005) |
| 2003 |
|---|
| 1 | | Andreas Metzger,
Christian Webel:
Feature Interaction Detection in Building Control Systems by Means of a Formal Product Model.
FIW 2003: 105-122 |
