| 2008 |
|---|
| 5 | EE | Nils Müllner,
Abhishek Dhama,
Oliver E. Theel:
Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation.
Annual Simulation Symposium 2008: 183-192 |
| 2006 |
|---|
| 4 | EE | Abhishek Dhama,
Jens Oehlerking,
Oliver E. Theel:
Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps.
ICPADS (1) 2006: 23-30 |
| 3 | EE | Abhishek Dhama,
Oliver E. Theel,
Timo Warns:
Reliability and Availability Analysis of Self-stabilizing Systems.
SSS 2006: 244-261 |
| 2 | 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) |
| 2005 |
|---|
| 1 | EE | Jens Oehlerking,
Abhishek Dhama,
Oliver E. Theel:
Towards Automatic Convergence Verification of Self-stabilizing Algorithms.
Self-Stabilizing Systems 2005: 198-213 |
