Talks

PhD Oral Defense

Conference/Workshop Presentations

1. "Formalizing On Chip Communication in a Functional Style", Trustworthy Software Workshop, Saabruecken, Germany, May 18-19, 2006. [pdf]
2. "A Generic Generic Network on Chip Model", paper presentation at TPHOLs 2005, Oxford, UK, August 22-25, 2005. [pdf]
3. "A Generic Model for On-Chip Communications", Invited Speaker, University of Saarland, March 29th, 2005. [pdf]
4. "A Functional Approach to the Formal Specification of Networks on Chip", paper presentation at FMCAD 2004, Austin, Texas, USA, November 14-17, 2004.
5. "A Functional Specification and Validation Model for Networks on Chip in the ACL2 Logic",paper presentation at ACL2'04, Austin, Texas, USA, November 18-19, 2004. [pdf]
6. "Validation of a Parameterized Bus Architecture Using ACL2", paper presentation at ACL2’03,Boulder, Colorado, USA, July 13-14, 2003. [pdf]"
7. "Formalization and Verification of the AMBA AHB Communication Architecture Using theACL2 Theorem Prover", paper presentation at DDECS 2003, Poznan, Poland, April 14-16, 2003.