BibTeX records: Abhishek Dhama

download as .bib file

@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}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics