| 2005 |
|---|
| 5 | EE | Bernhard Schätz,
Peter Braun,
Franz Huber,
Alexander K. Wißpeintner:
Checking and Transforming Models with AutoFOCUS.
ECBS 2005: 307-314 |
| 2003 |
|---|
| 4 | EE | Bernhard Schätz,
Peter Braun,
Franz Huber,
Alexander K. Wißpeintner:
Consistency in Model-Based Development.
ECBS 2003: 287-296 |
| 2002 |
|---|
| 3 | EE | Monika Vetterling,
Guido Wimmel,
Alexander K. Wißpeintner:
Secure systems development based on the common criteria: the PalME project.
SIGSOFT FSE 2002: 129-138 |
| 2001 |
|---|
| 2 | | Guido Wimmel,
Alexander K. Wißpeintner:
Extended Description Techniques for Security Engineering.
SEC 2001: 469- |
| 2000 |
|---|
| 1 | | Alexander K. Wißpeintner,
Franz Huber,
Jan Philipps:
Model Checking and Random Competition - A Study Using the Model Checking Framework MIC.
FBT 2000: 91-100 |
