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

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
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 2009-10-19 - 12:07:55 - Main.sistla
  • Web background Sistla
  • Education
  • Research
  • Publications
  • Experience
  • Talks
  • Tools
  • Contact
[edit this]

  • Log In
  • Sistla.WebHome"> <img src="/pub/TWiki/TWikiDocGraphics/home.gif" width="16" height="16" alt="Home" title="Home" border="0" /> [_1] Web
  • New topic Create New Topic
  • Index Index
  • Search topic Search
  • Changes Changes
  • Notify Notifications
  • RSS feed, rounded corners RSS Feed
  • Statistics Statistics
  • Wrench, tools Preferences


 
College of Engineering University of Illinois at Chicago Home - this site is powered by TWiki(R)

  • ABOUT US
    • Our Department
    • Recent News
    • Contact Us
  • ACADEMICS
    • Prospective Students
    • Undergraduate
    • CS Minor
    • Graduate
    • Courses
  • RESEARCH
    • Overview
    • By Faculty
    • Labs
  • PEOPLE
    • Faculty
    • Adjuncts
    • Staff
    • Students
    • Alumni

Copyright 2016 The Board of Trustees
of the University of Illinois.webmaster@cs.uic.edu
WISEST
Helping Women Faculty Advance
Funded by NSF