Abhishek Dhama

Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker: Bounded Fairness for Probabilistic Distributed Algorithms. ACSD 2011: 89-97

Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel: Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems. QEST 2010: 27-36

Abhishek Dhama, Oliver E. Theel: A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms. SSS 2010: 80-95

Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker: Dependability Engineering of Silent Self-stabilizing Systems. SSS 2009: 238-253

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

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)

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

Abhishek Dhama, Oliver E. Theel, Timo Warns: Reliability and Availability Analysis of Self-stabilizing Systems. SSS 2006: 244-261

Jens Oehlerking, Abhishek Dhama, Oliver E. Theel: Towards Automatic Convergence Verification of Self-stabilizing Algorithms. Self-Stabilizing Systems 2005: 198-213