Abhishek Dhama

According to our database, Abhishek Dhama authored at least 10 papers between 2005 and 2013.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2013

A compositional framework for designing self-stabilizing distributed algorithms.

Abhishek Dhama

PhD thesis, 2013

2011

Bounded Fairness for Probabilistic Distributed Algorithms.

Pepijn Crouzen, Ernst Moritz Hahn, Holger Hermanns, Abhishek Dhama, Oliver E. Theel, Ralf Wimmer, Bettina Braitling, Bernd Becker

Proceedings of the 11th International Conference on Application of Concurrency to System Design, 2011

2010

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

Abhishek Dhama, Oliver E. Theel

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010

Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems.

Ralf Wimmer, Bettina Braitling, Bernd Becker, Ernst Moritz Hahn, Pepijn Crouzen, Holger Hermanns, Abhishek Dhama, Oliver E. Theel

Proceedings of the QEST 2010, 2010

2009

Dependability Engineering of Silent Self-stabilizing Systems.

Abhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker

Proceedings of the Stabilization, 2009

2008

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

Nils Müllner, Abhishek Dhama, Oliver E. Theel

Proceedings of the Proceedings 41st Annual Simulation Symposium (ANSS-41 2008), 2008

2006

Trustworthy software systems: a discussion of basic concepts and terminology.

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

ACM SIGSOFT Softw. Eng. Notes, 2006

Reliability and Availability Analysis of Self-stabilizing Systems.

Abhishek Dhama, Oliver E. Theel, Timo Warns

Proceedings of the Stabilization, 2006

Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps.

Abhishek Dhama, Jens Oehlerking, Oliver E. Theel

Proceedings of the 12th International Conference on Parallel and Distributed Systems, 2006

2005

Towards Automatic Convergence Verification of Self-stabilizing Algorithms.

Jens Oehlerking, Abhishek Dhama, Oliver E. Theel

Proceedings of the Self-Stabilizing Systems, 2005