Predicting Future Behavior of Distributed Systems Using Model Checking

Thumbnail

Event details

Date 16.09.2011
Hour 15:00
Speaker Mr Ivo Mihailovic
Location
INN326
Category Conferences - Seminars
EDIC Candidacy Exam:
Exam president: Prof. Christoph Koch
Thesis director: Prof. Dejan Kostic
Co-examiner: Prof. André Schipper

Research Proposal

Life Death and the Critical Transition: Finding Liveness Bugs in Systems Code by Charles Killian et al.
CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems by Viktor Kuncak et al.
MODIST: Transparent Model Checking of Unmodified Distributed Systems by Junfeng Yang et al.

Practical information

  • General public
  • Free

Contact

  • Evelyn Duperrex

Tags

EDICCandidacyExam

Event broadcasted in

Share