TrustSoft - Graduate School on Trustworthy Software Systems

Abhishek Dhama


Doctoral Student

Graduate School on Trustworthy Software Systems , TRUSTSOFT

Carl von Ossietzky University of Oldenburg

Contact Details

Postal address     Carl v. Ossietzky Universität

    Fakultät II, Department für Informatik

    Oldenburg, Niedersachsen 26111

    Germany
Telephone     +49 441 798 4669
Fax     +49 441 798 2756
Email     Abhishek.Dhama@Informatik.Uni-Oldenburg.DE


Research

Thesis Advisor     Prof. Dr. -Ing. Oliver Theel
Working Dissertation Title     An algebra for composition of self-stabilizing distributed algorithms
Research Interests     Fault tolerance, in particular self-stabilization

    Program verification techniques

    Middleware


 

Publications

  • Abhishek Dhama, Jens Oehlerking, and Oliver Theel.
    Verification of orbitally self-stabilizing distributed algorithms using Lyapunov functions and Poincaré maps.
    In 12th International Conference on Parallel and Distributed Systems (ICPADS), 2006.
  • Jens Oehlerking, Abhishek Dhama, and Oliver Theel.
    Towards automatic convergence verification of self-stabilizing algorithms.
    In T. Herman and S. Tixeuil, editors, Self-Stabilizing Systems, volume LNCS 3764, pages 198-213. Springer-Verlag, 2005.