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
 
Copyright 2016 The Board of Trustees
of the University of Illinois.webmaster@cs.uic.edu
WISEST
Helping Women Faculty Advance
Funded by NSF