Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: Abhishek Dhama
@phdthesis{DBLP:phd/dnb/Dhama13, author = {Abhishek Dhama}, title = {A compositional framework for designing self-stabilizing distributed algorithms}, school = {Carl von Ossietzky University of Oldenburg}, year = {2013}, url = {http://oops.uni-oldenburg.de/1588}, urn = {urn:nbn:de:gbv:715-oops-16690}, timestamp = {Sat, 17 Jul 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/phd/dnb/Dhama13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/acsd/CrouzenHHDTWBB11, author = {Pepijn Crouzen and Ernst Moritz Hahn and Holger Hermanns and Abhishek Dhama and Oliver E. Theel and Ralf Wimmer and Bettina Braitling and Bernd Becker}, editor = {Beno{\^{\i}}t Caillaud and Josep Carmona and Kunihiko Hiraishi}, title = {Bounded Fairness for Probabilistic Distributed Algorithms}, booktitle = {11th International Conference on Application of Concurrency to System Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011}, pages = {89--97}, publisher = {{IEEE} Computer Society}, year = {2011}, url = {https://doi.org/10.1109/ACSD.2011.21}, doi = {10.1109/ACSD.2011.21}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/acsd/CrouzenHHDTWBB11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qest/WimmerBBHCHDT10, author = {Ralf Wimmer and Bettina Braitling and Bernd Becker and Ernst Moritz Hahn and Pepijn Crouzen and Holger Hermanns and Abhishek Dhama and Oliver E. Theel}, title = {Symblicit Calculation of Long-Run Averages for Concurrent Probabilistic Systems}, booktitle = {{QEST} 2010, Seventh International Conference on the Quantitative Evaluation of Systems, Williamsburg, Virginia, USA, 15-18 September 2010}, pages = {27--36}, publisher = {{IEEE} Computer Society}, year = {2010}, url = {https://doi.org/10.1109/QEST.2010.12}, doi = {10.1109/QEST.2010.12}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/qest/WimmerBBHCHDT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sss/DhamaT10, author = {Abhishek Dhama and Oliver E. Theel}, editor = {Shlomi Dolev and Jorge Arturo Cobb and Michael J. Fischer and Moti Yung}, title = {A Tranformational Approach for Designing Scheduler-Oblivious Self-stabilizing Algorithms}, booktitle = {Stabilization, Safety, and Security of Distributed Systems - 12th International Symposium, {SSS} 2010, New York, NY, USA, September 20-22, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6366}, pages = {80--95}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16023-3\_9}, doi = {10.1007/978-3-642-16023-3\_9}, timestamp = {Sat, 19 Oct 2019 20:07:49 +0200}, biburl = {https://dblp.org/rec/conf/sss/DhamaT10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sss/DhamaTCHWB09, author = {Abhishek Dhama and Oliver E. Theel and Pepijn Crouzen and Holger Hermanns and Ralf Wimmer and Bernd Becker}, editor = {Rachid Guerraoui and Franck Petit}, title = {Dependability Engineering of Silent Self-stabilizing Systems}, booktitle = {Stabilization, Safety, and Security of Distributed Systems, 11th International Symposium, {SSS} 2009, Lyon, France, November 3-6, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5873}, pages = {238--253}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-05118-0\_17}, doi = {10.1007/978-3-642-05118-0\_17}, timestamp = {Tue, 21 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sss/DhamaTCHWB09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/anss/MullnerDT08, author = {Nils M{\"{u}}llner and Abhishek Dhama and Oliver E. Theel}, title = {Derivation of Fault Tolerance Measures of Self-Stabilizing Algorithms by Simulation}, booktitle = {Proceedings 41st Annual Simulation Symposium {(ANSS-41} 2008), April 14-16, 2008, Ottawa, Canada}, pages = {183--192}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/ANSS-41.2008.26}, doi = {10.1109/ANSS-41.2008.26}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/anss/MullnerDT08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigsoft/BeckerHPBKPDLRWGMSHMW06, author = {Steffen Becker and Wilhelm Hasselbring and Alexandra Paul and Marko Boskovic and Heiko Koziolek and Jan Ploski and Abhishek Dhama and Henrik Lipskoch and Matthias Rohr and Daniel Winteler and Simon Giesecke and Roland Meyer and Mani Swaminathan and Jens Happe and Margarete Muhle and Timo Warns}, title = {Trustworthy software systems: a discussion of basic concepts and terminology}, journal = {{ACM} {SIGSOFT} Softw. Eng. Notes}, volume = {31}, number = {6}, pages = {1--18}, year = {2006}, url = {https://doi.org/10.1145/1218776.1218781}, doi = {10.1145/1218776.1218781}, timestamp = {Thu, 17 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigsoft/BeckerHPBKPDLRWGMSHMW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icpads/DhamaOT06, author = {Abhishek Dhama and Jens Oehlerking and Oliver E. Theel}, title = {Verification of Orbitally Self-Stabilizing Distributed Algorithms Using Lyapunov Functions and Poincare Maps}, booktitle = {12th International Conference on Parallel and Distributed Systems, {ICPADS} 2006, Minneapolis, Minnesota, USA, July 12-15, 2006}, pages = {23--30}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/ICPADS.2006.108}, doi = {10.1109/ICPADS.2006.108}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icpads/DhamaOT06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sss/DhamaTW06, author = {Abhishek Dhama and Oliver E. Theel and Timo Warns}, editor = {Ajoy Kumar Datta and Maria Gradinariu}, title = {Reliability and Availability Analysis of Self-stabilizing Systems}, booktitle = {Stabilization, Safety, and Security of Distributed Systems, 8th International Symposium, {SSS} 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4280}, pages = {244--261}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/978-3-540-49823-0\_17}, doi = {10.1007/978-3-540-49823-0\_17}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/sss/DhamaTW06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sss/OehlerkingDT05, author = {Jens Oehlerking and Abhishek Dhama and Oliver E. Theel}, editor = {Ted Herman and S{\'{e}}bastien Tixeuil}, title = {Towards Automatic Convergence Verification of Self-stabilizing Algorithms}, booktitle = {Self-Stabilizing Systems, 7th International Symposium, {SSS} 2005, Barcelona, Spain, October 26-27, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3764}, pages = {198--213}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11577327\_14}, doi = {10.1007/11577327\_14}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/sss/OehlerkingDT05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.