Predicting Future Behavior of Distributed Systems Using Model Checking

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.
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