TWiki
>
Sistla Web
>
WebLeftBar
>
Talks
(2009-10-19, Main.sistla)
E
dit
A
ttach
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
E
dit
|
A
ttach
|
P
rint version
|
H
istory
: r1
|
B
acklinks
|
R
aw View
|
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