Talks < Sistla

Sistla Web>WebLeftBar>Talks (2009-10-19, Main.sistla) (raw view)EditAttach

---+ Talks
   * [[http://www.cs.uic.edu/~sistla/talks/VMCAI09.pdf][Monitoring the full range of &omega;-regular properties of Stochastic Systems]], VMCAI, 2009
   * [[http://www.cs.uic.edu/~sistla/talks/math.pdf][Power of Randomization in Automata on Finite Strings ]], UIC, 2009
   * [[http://www.cs.uic.edu/~sistla/talks/uiuc.pdf][Monitoring Temporal Properties of Systems]], UIUC, 2009
   * [[http://www.cs.uic.edu/~sistla/talks/ASIACCS08.ppt][CMV: Automatic Verification of Complete Mediation for Java Virtual Machines]], ASIACCS, 2008
   * [[http://www.cs.uic.edu/~sistla/talks/VMCAI08.pdf][Monitoring Temporal Properties of Stochastic Systems]], VMCAI, 2008
   * [[http://www.cs.uic.edu/~sistla/talks/VMCAI06.pdf][Monitoring Off-the-Shelf Components]], VMCAI, 2006
   * [[http://www.cs.uic.edu/~sistla/talks/symred.pdf][Symmetry Reductions in Model Checking]], VMCAI, 2003

Topic revision: r1 - 2009-10-19 - 12:07:55 - Main.sistla

Sistla

[edit this]

WISEST
Helping Women Faculty Advance
Funded by NSF