| 2008 |
|---|
| 3 | EE | Mani Swaminathan,
Martin Fränzle,
Joost-Pieter Katoen:
The Surprising Robustness of (Closed) Timed Automata against Clock-Drift.
IFIP TCS 2008: 537-553 |
| 2007 |
|---|
| 2 | EE | Mani Swaminathan,
Martin Fränzle:
A Symbolic Decision Procedure for Robust Safety of Timed Systems.
TIME 2007: 192 |
| 2006 |
|---|
| 1 | EE | Steffen Becker,
Wilhelm Hasselbring,
Alexandra Paul,
Marko Boskovic,
Heiko Koziolek,
Jan Ploski,
Abhishek Dhama,
Henrik Lipskoch,
Matthias Rohr,
Daniel Winteler,
Simon Giesecke,
Roland Meyer,
Mani Swaminathan,
Jens Happe,
Margarete Muhle,
Timo Warns:
Trustworthy software systems: a discussion of basic concepts and terminology.
ACM SIGSOFT Software Engineering Notes 31(6): 1-18 (2006) |
