The Sistla web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. http://www.cs.uic.edu/bin/view/Sistla Copyright 2012 by contributing authors 2012-05-13T08:18:57Z http://www.cs.uic.edu/bin/view/Sistla/WebStatistics 2012-05-13T08:18:57Z

Statistics for nop Sistla Web Month: Topic views: Topic saves: File uploads: Most popular topic views: Top contributors for topic save ... (last changed by TWikiGuest)

TWikiGuest http://www.cs.uic.edu/bin/view/Sistla/Publications 2012-03-30T23:20:22Z

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

sistla http://www.cs.uic.edu/bin/view/Sistla/WebLeftBar 2011-07-07T18:50:10Z

Education Research Publications Experience Talks Tools Contact edit this " warn "off"}% (last changed by sistla)

sistla http://www.cs.uic.edu/bin/view/Sistla/Contact 2009-10-19T12:08:01Z

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

sistla http://www.cs.uic.edu/bin/view/Sistla/Talks 2009-10-19T12:07:55Z

Talks the full range of regular properties of Stochastic Systems, VMCAI, 2009 of Randomization in Automata on Finite Strings , UIC, 2009 Temporal Properties ... (last changed by sistla)

sistla http://www.cs.uic.edu/bin/view/Sistla/Experience 2009-10-19T11:33:43Z

Experience August 2000 onwards: Full Professor, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago. August 1994 July ... (last changed by sistla)

sistla http://www.cs.uic.edu/bin/view/Sistla/Research 2009-10-19T02:12:03Z

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

sistla http://www.cs.uic.edu/bin/view/Sistla/WebHome 2009-10-17T18:51:59Z

Professor A. Prasad Sistla (last changed by sistla)

sistla http://www.cs.uic.edu/bin/view/Sistla/Experiance 2009-06-19T20:37:35Z

Experiance August 2000 onwards: Full Professor, Department of Electrical Engineering and Computer Science, University of Illinois at Chicago. August 1994 July ... (last changed by RebeccaDoma)

RebeccaDoma http://www.cs.uic.edu/bin/view/Sistla/Tools 2009-06-19T20:08:20Z

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 ... (last changed by RebeccaDoma)

RebeccaDoma http://www.cs.uic.edu/bin/view/Sistla/Education 2009-06-19T19:40:38Z

Education Harvard University, Cambridge, Massachusetts: Ph.D. Computer Science/Applied Mathematics, 1983 Indian Institute of Science, Bangalore, India: M ... (last changed by RebeccaDoma)

RebeccaDoma http://www.cs.uic.edu/bin/view/Sistla/WebPreferences 2009-06-19T17:17:26Z

nop Sistla Web Preferences The following settings are web preferences of the Sistla web. These preferences overwrite the site level preferences in . and ... (last changed by RebeccaDoma)

RebeccaDoma http://www.cs.uic.edu/bin/view/Sistla/Links 2009-05-20T20:24:14Z

Links Any additional links go here. (last changed by TWikiAdminUser)

TWikiAdminUser http://www.cs.uic.edu/bin/view/Sistla/Teaching 2009-05-20T20:23:18Z

Teaching A few words about the courses I teach. (last changed by TWikiAdminUser)

TWikiAdminUser http://www.cs.uic.edu/bin/view/Sistla/WebNotify 2009-05-14T12:19:13Z

TWikiGuest example #64;your.company .WebChangesAlert, .TWikiRegistration (last changed by TWikiAdminUser)

TWikiAdminUser http://www.cs.uic.edu/bin/view/Sistla/WebTopicList 2006-11-15T19:43:52Z

(last changed by TWikiContributor)

TWikiContributor