Recent Changes in Sistla Web retrieved at 02:40 (GMT)

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

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

Professor A. Prasad Sistla

Education Research Publications Experience Talks Tools Contact #91;edit this .` #91; 1 #93; Web...

Publications Conference Publications under isolation and the Value problem for hierarchical probabilistic automata (with Rohit Chadha, Mahesh Viswanathan), 20th...

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

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...

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.

This is a subscription service to be automatically notified by e mail when topics change in this 1 web. This is a convenient service, so you do not have to come...

TWiki`s Sistla web The 1 web of TWiki. TWiki is a Web Based Collaboration Platform for the Enterprise.

/Sistla The 1 web of TWiki. TWiki is a Web Based Collaboration Platform for the Enterprise.