Talks
- Monitoring the full range of ω-regular properties of Stochastic Systems, VMCAI, 2009
- Power of Randomization in Automata on Finite Strings , UIC, 2009
- Monitoring Temporal Properties of Systems, UIUC, 2009
- CMV: Automatic Verification of Complete Mediation for Java Virtual Machines, ASIACCS, 2008
- Monitoring Temporal Properties of Stochastic Systems, VMCAI, 2008
- Monitoring Off-the-Shelf Components, VMCAI, 2006
- Symmetry Reductions in Model Checking, VMCAI, 2003
This topic: Sistla
> WebLeftBar > Talks
Topic revision: r1 - 2009-10-19 - 12:07:55 - Main.sistla