http://www.cs.uic.edu/bin/view/Sistla The Sistla web of TWiki. TWiki is a Web-Based Collaboration Platform for the Enterprise. en-us Copyright 2012 by contributing authors TWiki Administrator [webmaster@cs.uic.edu] The contributing authors of Computer Science Computer Science http://www.cs.uic.edu/bin/view/Sistla http://www.cs.uic.edu/pub/TWiki/TWikiLogos/T-logo-140x40-t.gif http://www.cs.uic.edu/bin/view/Sistla/Publications 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) 2011-07-13T20:38:41Z unknown http://www.cs.uic.edu/bin/view/Sistla/WebLeftBar Education Research Publications Experience Talks Tools Contact edit this " warn "off"}% (last changed by sistla) 2011-07-07T18:50:10Z unknown http://www.cs.uic.edu/bin/view/Sistla/Contact 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) 2009-10-19T12:08:01Z unknown http://www.cs.uic.edu/bin/view/Sistla/Talks 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) 2009-10-19T12:07:55Z unknown http://www.cs.uic.edu/bin/view/Sistla/Experience 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) 2009-10-19T11:33:43Z unknown http://www.cs.uic.edu/bin/view/Sistla/Research Research Methods in Concurrent and Distributed Systems http://www.cs.uic.edu/~sistla/interest db.html Database Management Systems (last changed by sistla) 2009-10-19T02:12:03Z unknown http://www.cs.uic.edu/bin/view/Sistla/WebHome Professor A. Prasad Sistla (last changed by sistla) 2009-10-17T18:51:59Z unknown http://www.cs.uic.edu/bin/view/Sistla/Experiance 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) 2009-06-19T20:37:35Z rdoma2 http://www.cs.uic.edu/bin/view/Sistla/Tools 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) 2009-06-19T20:08:20Z rdoma2 http://www.cs.uic.edu/bin/view/Sistla/Education Education Harvard University, Cambridge, Massachusetts: Ph.D. Computer Science/Applied Mathematics, 1983 Indian Institute of Science, Bangalore, India: M ... (last changed by RebeccaDoma) 2009-06-19T19:40:38Z rdoma2 http://www.cs.uic.edu/bin/view/Sistla/WebPreferences 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) 2009-06-19T17:17:26Z rdoma2 http://www.cs.uic.edu/bin/view/Sistla/Links Links Any additional links go here. (last changed by TWikiAdminUser) 2009-05-20T20:24:14Z admin http://www.cs.uic.edu/bin/view/Sistla/Teaching Teaching A few words about the courses I teach. (last changed by TWikiAdminUser) 2009-05-20T20:23:18Z admin http://www.cs.uic.edu/bin/view/Sistla/WebNotify TWikiGuest example #64;your.company .WebChangesAlert, .TWikiRegistration (last changed by TWikiAdminUser) 2009-05-14T12:19:13Z admin http://www.cs.uic.edu/bin/view/Sistla/WebTopicList (last changed by TWikiContributor) 2006-11-15T19:43:52Z unknown http://www.cs.uic.edu/bin/view/Sistla/WebSearchAdvanced (last changed by TWikiContributor) 2006-11-15T19:43:52Z unknown