Abhishek Dhama

Publication Activity (10 Years)

Years Active: 2005-2011
Publications (10 Years): 0

Carl von Ossietzky University of Oldenburg (PHD)

Education History

Carl von Ossietzky University of Oldenburg

PHD

Publications

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)
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)
Abhishek Dhama, Oliver E. Theel
A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms. SSS (2010)
Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker
Dependability Engineering of Silent Self-stabilizing Systems. SSS (2009)
Nils Müllner, Abhishek Dhama, Oliver E. Theel
Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation. Annual Simulation Symposium (2008)
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 Softw. Eng. Notes 31 (6) (2006)
Abhishek Dhama, Oliver E. Theel, Timo Warns
Reliability and Availability Analysis of Self-stabilizing Systems. SSS (2006)
Abhishek Dhama, Jens Oehlerking, Oliver E. Theel
Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps. ICPADS (1) (2006)
Jens Oehlerking, Abhishek Dhama, Oliver E. Theel
Towards Automatic Convergence Verification of Self-stabilizing Algorithms. Self-Stabilizing Systems (2005)

Abhishek Dhama.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Abhishek Dhama