Abhishek Dhama

Trustworthy software systems: a discussion of basic concepts and terminology

Wilhelm Hasselbring, Steffen Becker, Heiko Koziolek, 2006, SOEN.

A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms

Oliver E. Theel, Abhishek Dhama, A. Dhama, 2010, SSS.

Dependability Engineering of Silent Self-stabilizing Systems

Bernd Becker, Oliver E. Theel, Holger Hermanns, 2009, SSS.

Towards Automatic Convergence Verification of Self-stabilizing Algorithms

Oliver E. Theel, Abhishek Dhama, Jens Oehlerking, 2005, Self-Stabilizing Systems.

Reliability and Availability Analysis of Self-stabilizing Systems

Oliver E. Theel, Abhishek Dhama, Timo Warns, 2006, SSS.

Verification of orbitally self-stabilizing distributed algorithms using Lyapunov functions and Poincare maps

Oliver E. Theel, Abhishek Dhama, Jens Oehlerking, 2006, 12th International Conference on Parallel and Distributed Systems - (ICPADS'06).

Bounded Fairness for Probabilistic Distributed Algorithms

Bernd Becker, Oliver E. Theel, Holger Hermanns, 2011, 2011 Eleventh International Conference on Application of Concurrency to System Design.

Fiber-Optic Fabry–Pérot Sensor Based on Periodic Focusing Effect of Graded-Index Multimode Fibers

Bernd Becker, Holger Hermanns, Abhishek Dhama, 2010, IEEE Photonics Technology Letters.

A compositional framework for designing self-stabilizing distributed algorithms

Abhishek Dhama, A. Dhama, 2013 .

Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation

Oliver E. Theel, Abhishek Dhama, Nils Müllner, 2008, 41st Annual Simulation Symposium (anss-41 2008).

Deriving a Good Trade-off Between System Availability and Time Redundancy

Oliver E. Theel, Abhishek Dhama, Oliver Theel, 2009, 2009 Symposia and Workshops on Ubiquitous, Autonomic and Trusted Computing.