Get my own profile
Public access
View all10 articles
1 article
available
not available
Based on funding mandates
Co-authors
- Ouri WolfsonProfessor of Computer Science, University of Illinois, Chicago, Fellow ACM, Fellow IEEE, Fellow AAASVerified email at uic.edu
- Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
- Clement YuProfessor of Computer Science, University of Illinois at ChicagoVerified email at cs.uic.edu
- Mahesh ViswanathanUniversity of Illinois, Urbana-ChampaignVerified email at illinois.edu
- Rohit ChadhaUniversity of MissouriVerified email at missouri.edu
- VN VenkatakrishnanProfessor of Computer Science, University of Illinois at ChicagoVerified email at uic.edu
- Moshe Y. VardiRice UniversityVerified email at cs.rice.edu
- Pierre WolperProfessor of Computer Science, Université de Liège, BelgiumVerified email at ulg.ac.be
- Somesh JhaLubar Chair of Computer Science, University of WisconsinVerified email at cs.wisc.edu
- Miloš ŽefranProfessor of Electrical and Computer Engineering, University of Illinois at ChicagoVerified email at uic.edu
- Jennifer Lundelius WelchProfessor, Department of Computer Science and Engineering, Texas A&M UniversityVerified email at cse.tamu.edu
- Patrice GodefroidLaceworkVerified email at lacework.net
- Sriram RajamaniMicrosoft Research Verified email at microsoft.com
- Parosh AbdullaProfessor of Computer Science, Uppsala UniversityVerified email at it.uu.se
- Stefan KieferProfessor of Computer Science, University of OxfordVerified email at cs.ox.ac.uk
- Philip S. YuProfessor of Computer Science, University of Illinons at ChicagoVerified email at cs.uic.edu
- Lenore D. ZuckUniversity of Illinois, Chicago
Follow
Aravinda Prasad Sistla
Professor of Computer Science, University of Illinois at Chicago
Verified email at uic.edu - Homepage