50 Recent Changes in Sistla Web retrieved at 08:07 (GMT)

Statistics for nop Sistla Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ...

Publications Journal Publications Automatic Verification of Finite State Concurrent Systems Using Temporal Logic Specifications (with E.M.Clarke and E.A.Emerson ...

Education Research Publications Experience Talks Tools Contact edit this " warn "off"}%

Contact Mailing Address: A. Prasad SistlaDepartment of Computer Science University of Illinois, Chicago 1120 Science Engineering Offices ( MC 152 ) 851 South Morgan ...

Talks the full range of regular properties of Stochastic Systems, VMCAI, 2009 of Randomization in Automata on Finite Strings , UIC, 2009 Temporal Properties ...

Experience August 2000 onwards: Full Professor, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago. August 1994 July ...

Research Methods in Concurrent and Distributed Systems http://www.cs.uic.edu/~sistla/interest db.html Database Management Systems

Professor A. Prasad Sistla

Experiance August 2000 onwards: Full Professor, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago. August 1994 July ...

Tools Symmetry Based Model Checker @2000 Copyright A.Prasad Sistla and University of Illinois at Chicago SMC is a symmetry based model checker that was developed ...

Education Harvard University, Cambridge, Massachusetts: Ph.D. Computer Science/Applied Mathematics, 1983 Indian Institute of Science, Bangalore, India: M ...

nop Sistla Web Preferences The following settings are web preferences of the Sistla web. These preferences overwrite the site level preferences in . and ...

Links Any additional links go here.

Teaching A few words about the courses I teach.

TWikiGuest example #64;your.company .WebChangesAlert, .TWikiRegistration

Computer Science's nop Sistla web

" else " nop Computer Science's nop Sistla web"}% /Sistla