(ppt) “Hybrid Concolic Testing“, ICSE 2007, Minneapolis, MN, May 25.

(ppt) “Verification and Testing: Bridging the Gap“, OSQ Retreat, May 10, 2007.

“Concolic Testing of Sequential and Concurrent Programs“, Agitar Software Inc., Mountain View, CA, January 12, 2007.

“Concolic Testing of Sequential and Concurrent Programs“, Stanford University, December 4, 2006.

“Concolic Testing of Sequential and Concurrent Programs“, Fujitsu, Sunnyvale, CA, November 17, 2006.

“Scalable Automated Methods for Software Reliability“, Princeton University, April 18, 2006.

– , New York University, April 17, 2006.

– , Cornell University, April 13, 2006.

– , Yale University, April 11, 2006.

– , Microsoft Research, Redmond, April 5, 2006.

– , University of Toronto, March 28, 2006.

– , Purdue University, March 22, 2006.

– , IBM T.J. Watson Research Lab, March 20, 2006.

– , University of Pennsylvania, March 13, 2006.

– , Caltech, March 2, 2006.

– , University of California Berkeley, February 27, 2006.

– , University of Washington Seattle, February 22, 2006.

– , University of Michigan Ann Arbor, February 15, 2006.

(ppt)(pdf) “Validation of Security Protocols“, MURI Contessa Meeting, University of Illinois at Urbana Champaign, IL, October 7, 2005.

(ppt)(pdf) “CUTE: A Concolic Unit Testing Engine for C“, ESEC/FSE 2005, Lisbon, Portugal, September 8.

(ppt)(pdf) “On Statistical Model Checking of Stochastic Systems“, CAV 2005, Edinburgh, Scotland, July 8.

(ppt) “Formal Modeling and Analysis of DoS Using Probabilistic Rewrite Theories“, FCS 2005, Chicago, IL, June 30.

(ppt) “CUTE: A Concolic Unit Testing Engine for C“, Programming Language Seminar, UIUC, April 21, 2005.

(ppt) “DART: Directed Automated Random Testing“, Formal Methods Seminar, UIUC, March 7, 2005.

(pdf) “Learning Continuous Time Markov Chains from Sample Executions“, QEST 2004, University of Twente, Enschede, The Netherlands, September 29, 2004.

(ppt) “DART: Directed Automated Random Testing : A New Approach to Unit Testing“, Bell-Labs, Murray Hill, New Jersey, USA , August 11, 2004.

(ppt) “Statistical Model-Checking of Black-Box Probabilistic Systems“, CAV 2004, Boston, Massachusetts, USA, July 16, 2004.

(ppt) “Efficient Decentralized Monitoring of Safety in Distributed Systems“, ICSE 2004, Edinburgh, Scotland, May 27, 2004.

(ppt) “On Specifying and Monitoring Epistemic Properties of Distributed Systems“, WODA 2004, Edinburgh, Scotland, May 25, 2004.

(ppt) “Statistical Analysis of Probabilistic Systems“, Workshop on Models for Denial of Service (MDoS), UPenn, Philadelphia, April 28, 2004.

(ppt) “Online Efficient Predictive Safety Analysis of Multithreaded Programs“, TACAS 2004, Barcelona, Spain, March 29, 2004.

(ppt) “Light-weight Formals Methods for Verification“, UCI/Contessa Workshop, March 4, 2004, Irvine, CA.

(ppt) “Statistical Model-Checking of Black-Box Systems VESTA“, UCI/Contessa Workshop, March 4,2004, Irvine, CA.

(ppt) “A Rewriting Based Model for Probabilistic Distributed Object Systems“, UCI/Contessa Workshop, March 4, 2004, Irvine, CA.

(ppt) “Runtime Safety Analysis of Concurrent and Distributed Systems“, UCI Sofware Engineering Seminar, March 3, 2004, Irvine, CA.

(ppt) “Generating Optimal Linear Temporal Logic Monitors by Coinduction“, ASIAN 2003, Mumbai, India.

(ppt) “Eagle: Rule Based Runtime Verification“, UIUC Formal Methods Seminar, Sepetember, 2003.

(ppt) “Runtime Safety Analysis of Multithreaded Programs“, FSE/ESEC 2003, Helsinki, Finland.

(ppt) “Eagle: Rule-based Runtime Verification“, NASA-Ames Automated Software Engineering Group, July, 2004, Moffett Field, CA.

(ppt) “Probabilistic Modeling and Formal Analysis of Network Embedded Systems“, MURI Contessa Meeting, UPenn, April, 2003.