PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Dhama, Abhishek"

Author of the publication

copydeleteadd this publication to your clipboard
Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems.

, , , , , , , and . QEST, page 27-36. IEEE Computer Society, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Abhishek Himmatbhai Borad University of Stuttgart

 

Other publications of authors with the same name

Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation., , and . Annual Simulation Symposium, page 183-192. IEEE Computer Society, (2008)Dependability Engineering of Silent Self-stabilizing Systems., , , , , and . SSS, volume 5873 of Lecture Notes in Computer Science, page 238-253. Springer, (2009)Trustworthy software systems: a discussion of basic concepts and terminology., , , , , , , , , and 6 other author(s). ACM SIGSOFT Software Engineering Notes, 31 (6): 1-18 (2006)Bounded Fairness for Probabilistic Distributed Algorithms., , , , , , , and . ACSD, page 89-97. IEEE Computer Society, (2011)Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps., , and . ICPADS (1), page 23-30. IEEE Computer Society, (2006)Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems., , , , , , , and . QEST, page 27-36. IEEE Computer Society, (2010)A compositional framework for designing self-stabilizing distributed algorithms.. Carl von Ossietzky University of Oldenburg, (2013)Towards Automatic Convergence Verification of Self-stabilizing Algorithms., , and . Self-Stabilizing Systems, volume 3764 of Lecture Notes in Computer Science, page 198-213. Springer, (2005)Reliability and Availability Analysis of Self-stabilizing Systems., , and . SSS, volume 4280 of Lecture Notes in Computer Science, page 244-261. Springer, (2006)A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms., and . SSS, volume 6366 of Lecture Notes in Computer Science, page 80-95. Springer, (2010)