TWiki
>
Sistla Web
>
WebLeftBar
>
Talks
(2009-10-19, Main.sistla)
(raw view)
E
dit
A
ttach
---+ Talks * [[http://www.cs.uic.edu/~sistla/talks/VMCAI09.pdf][Monitoring the full range of ω-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
E
dit
|
A
ttach
|
P
rint version
|
H
istory
: r1
|
B
acklinks
|
V
iew topic
|
Ra
w
edit
|
M
ore topic actions
Topic revision: r1 - 2009-10-19 - 12:07:55 - Main.sistla
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
Create New Topic
Index
Search
Changes
Notifications
RSS Feed
Statistics
Preferences
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