Posters for Conferences
 ACSD (2016) |
 Ecole Temps Reel (2009) |
 Ecole Temps Reel (2011) |
|---|---|---|
 Ecole Temps Reel (2013) |
 Ecole Temps Reel (2015) |
 Ecole Temps Reel (2017) |
 Formal Methods (2012) |
 Formal Methods on Hiding and Disclosing Information (2013) |
 IWAISE (2012) |
 IWAISE (2014) |
 IWAISE (2016) |
 Journee OSIS (2016) |
 Journees GT-Verif (2014) |
 Methodes Formelles et Reseaux de Capteurs (2013) |
 Monterey Workshop (2006) |
 Monterey Workshop (2007) |
 Monterey Workshop (2008) |
 Monterey Workshop (2010) |
 Monterey Workshop (2012) |
 Petri Nets (2009) |
 Petri Nets (2016) |
 RPMC Workshop (2006) |
 Rapid System Prototyping (2000) |
 Rapid System Prototyping (2001) |
 Rapid System Prototyping (2002) |
 Rapid System Prototyping (2003) |
 Rapid System Prototyping (2004) |
 Rapid System Prototyping (2005) |
 Rapid System Prototyping (2006) |
 Rapid System Prototyping (2007) |
 Rapid System Prototyping (2008) |
 Rapid System Prototyping (2009) |
 Reliable Software Technologies Ada-Europe (2009) |
 TOOLympics (2019) |
 TOOLympics (2023) |
-2016.jpg) WETICE (project) (2016) |
-2014.jpg) rejected project (merci la comm du CNAM) (2014) |
Posters for projects
 AADL with TPT (2008) |
 CPN-AMI (2006) |
 CPN-AMI (2007) |
|---|---|---|
 CPN-AMI (2008) |
 CPN-AMI (2011) |
-2008.jpg) CPN-AMI (celebration) (2008) |
 CosyVerif (2012) |
 CosyVerif (2013) |
 CosyVerif (2014) |
 Demonstration at TACAS (2015) |
 FrameKit (1999) |
 MIDAS (2015) |
 MoVe (2011) |
 PolyORB (2003) |
 PolyORB (2005) |
 RNTL Flex-eWare (2007) |
 RNTL Flex-eWare Journee Systematic (2007) |
 RNTL MORSE (2003) |
 RNTL MORSE (2004) |
 RNTL MORSE (2005) |
 RNTL MORSE (2006) |
Posters for academic courses
 DESS ISI (2002) |
 Licence Informatique (2005) |
 Master Informatique (2005) |
|---|---|---|
 Master Informatique (2007) |
 Specialite IMA du Master Informatique (2007) |
 Specialite RES du Master Informatique (2005) |
 Specialite SAR du Master Informatique (2005) |
 Specialite SAR du Master Informatique (2007) |
 Specialite STL du Master Informatique (2005) |
 Specialite STL du Master Informatique (2007) |
Books and Proceedings covers
 APNOC workshop proceedings (2009) |
 Basic PN Tutorial - part 1 (2009) |
 Basic PN Tutorial - part 2 (2009) |
|---|---|---|
 Basic PN Tutorial - part 3 (2009) |
 Biomodel Engineering Tutorial (2009) |
 CAD V and V Tutorial (2009) |
 Continuous PN Tutorial (2009) |
 Ecole Temps Reel (2009) |
 Ecole Temps Reel (2011) |
 Ecole Temps Reel (2013) |
 Ecole Temps Reel (2015) |
 Edited at Kluwer (2002) |
 Evaluating Concurrent Soft arch with PN Tutorial (2009) |
 IWAISE proceedings (2008) |
 ORGMOD workshop proceedings (2009) |
 PNML Tutorial (2009) |
 PNSE workshop proceedings (2009) |
 SUMo and APNOC workshops proceedings (2010) |
 SUMo and CompoNet workshops proceedings (2011) |
 System-Level Modeling and Validation Tutorial (2009) |
 TiSto workshop proceedings (2009) |