Predicting Future Behavior of Distributed Systems Using Model Checking
Event details
| Date | 20.12.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é Schiper
Research Proposal
Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Codeby Charles Killian et al.
CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems by Maysam Yabandeh 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é Schiper
Research Proposal
Life, Death, and the Critical Transition: Finding Liveness Bugs in Systems Codeby Charles Killian et al.
CrystalBall: Predicting and Preventing Inconsistencies in Deployed Distributed Systems by Maysam Yabandeh et al.
MODIST: Transparent Model Checking of Unmodified Distributed Systems by Junfeng Yang et al
Practical information
- General public
- Free
Contact
- Evelyn Duperrex