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