Selected Slides

  1. [ppt] "A Rewriting Based Model for Probabilistic Distributed Object Systems", UCI/Contessa Workshop, March 4, 2004, Irvine, CA.
  2. [ppt] "Probabilistic Modeling and Formal Analysis of Network Embedded Systems", MURI Contessa Meeting, UPenn, April, 2003.
[Home] [Downloads] [Publications] [Slides] [Examples] [Related]
This page is maintained by Koushik Sen (ksen at cs.uiuc.edu)