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