dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Abhishek Dhama Coauthor index pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2011
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLPepijn 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
2010
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLRalf 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
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhishek Dhama, Oliver E. Theel: A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms. SSS 2010: 80-95
2009
6Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhishek Dhama, Oliver E. Theel, Pepijn Crouzen, Holger Hermanns, Ralf Wimmer, Bernd Becker: Dependability Engineering of Silent Self-stabilizing Systems. SSS 2009: 238-253
2008
5Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLNils Müllner, Abhishek Dhama, Oliver E. Theel: Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation. Annual Simulation Symposium 2008: 183-192
2006
4Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhishek Dhama, Jens Oehlerking, Oliver E. Theel: Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps. ICPADS (1) 2006: 23-30
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAbhishek Dhama, Oliver E. Theel, Timo Warns: Reliability and Availability Analysis of Self-stabilizing Systems. SSS 2006: 244-261
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLSteffen 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)
2005
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLJens Oehlerking, Abhishek Dhama, Oliver E. Theel: Towards Automatic Convergence Verification of Self-stabilizing Algorithms. Self-Stabilizing Systems 2005: 198-213

Coauthor Index

1Bernd Becker [6] [8] [9]
2Steffen Becker [2]
3Marko Boskovic [2]
4Bettina Braitling [8] [9]
5Pepijn Crouzen [6] [8] [9]
6Simon Giesecke [2]
7Ernst Moritz Hahn [8] [9]
8Jens Happe [2]
9Wilhelm Hasselbring [2]
10Holger Hermanns [6] [8] [9]
11Heiko Koziolek [2]
12Henrik Lipskoch [2]
13Roland Meyer [2]
14Margarete Muhle [2]
15Nils Müllner [5]
16Jens Oehlerking [1] [4]
17Alexandra Paul [2]
18Jan Ploski [2]
19Matthias Rohr [2]
20Mani Swaminathan [2]
21Oliver E. Theel [1] [3] [4] [5] [6] [7] [8] [9]
22Timo Warns [2] [3]
23Ralf Wimmer [6] [8] [9]
24Daniel Winteler [2]

Last update Tue May 29 20:41:18 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page