Here you will find slides about talks I have given.

PhD Oral Defense

"Une formalisation fonctionnelle des communications sur la puce", Ph.D. oral defense, Grenole, January 31st, 2006. [pdf]

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.

Julien Schmaltz
Last modified: Fri Aug 11 09:00:18 CEST 2006