People Search
Phones, Emails, Addresses, Background check, Web references
All public info
Like other search engines (Google or Bing) Radaris collects information from public sources.
(IIT, Mumbai) Dave Sands (Chalmers) A Prasad Sistla (U Illinois, Chicago) Michiel Smid (Magdeburg) Mandayam K. Srivas (SRI)
Rohit Chadha, A. Prasad Sistla and Mahesh Viswanathan. Model Checking Concurrent Programs with Nondeterminism and Randomization
To me, India is suffering from 'Nocturnal Enurosis' thats a bad habit of passing ... Sai Prasad Sistla, Visakhapatnam, India [email protected]
(IIT, Mumbai) Dave Sands (Chalmers) A Prasad Sistla (U Illinois, Chicago) Michiel Smid (Magdeburg) Mandayam K. Srivas (SRI)
To me, India is suffering from 'Nocturnal Enurosis' thats a bad habit of ... Sai Prasad Sistla, Visakhapatnam, India [email protected]
Rohit Chadha, A. Prasad Sistla and Mahesh Viswanathan. Model Checking Concurrent Programs with Nondeterminism and Randomization
19 Jun 2009 ... Professor A. Prasad Sistla. A. Prasad Sistla ... A. Prasad Sistla Department of Computer Science University of Illinois, Chicago ...
Sergio Ilarri, Ouri Wolfson, Eduardo Mena, Arantza Illarramendi, A. Prasad Sistla: A query processor for prediction-based monitoring of data streams. ...
Friends: William Smith, Sanjog Patnaik, Rahul Korrapati, Vasamsetti DorababuPrasad Sistla is on Facebook. Join Facebook to connect with Prasad Sistla and others you may know. Facebook gives people the power to share and makes the ...
Hyderabad Area, India - Project Manager at Blueliner IndiaView Prasad Sistla's professional profile on LinkedIn. LinkedIn is the world's largest business network, helping professionals like Prasad Sistla discover ...
View the profiles of professionals named Prasad Sistla on LinkedIn. There ...
Prasad Sistla (prasad_sistla) is on Twitter. Sign up for Twitter to follow Prasad Sistla (prasad_sistla) and get their latest updates.
A. Prasad Sistla. In this paper we present syntactic characterization of temporal formulas that express various properties of interest in the verification ...
by O Wolfson -
Steven M. German and A. Prasad Sistla. Reasoning about systems with many processes. Journal of the ACM , 39(3):675-735, July 1992. References and Citations. ...
Xing
Linkedin
Infobahn Systems (Information Technology and Services industry): Software Engineer, (February 2003-August 2005)
Eli ...
Vodafone IT (Privately Held; Telecommunications industry): Assistant Manager, (September 2010-Present)
Mphasis an HP Comp...