fond
Posters & Covers

Posters for Conferences

vignette affiche
ACSD (2016)
vignette affiche
Ecole Temps Reel (2009)
vignette affiche
Ecole Temps Reel (2011)
vignette affiche
Ecole Temps Reel (2013)
vignette affiche
Ecole Temps Reel (2015)
vignette affiche
Ecole Temps Reel (2017)
vignette affiche
Formal Methods (2012)
vignette affiche
Formal Methods on Hiding and Disclosing Information (2013)
vignette affiche
IWAISE (2012)
vignette affiche
IWAISE (2014)
vignette affiche
IWAISE (2016)
vignette affiche
Journee OSIS (2016)
vignette affiche
Journees GT-Verif (2014)
vignette affiche
Methodes Formelles et Reseaux de Capteurs (2013)
vignette affiche
Monterey Workshop (2006)
vignette affiche
Monterey Workshop (2007)
vignette affiche
Monterey Workshop (2008)
vignette affiche
Monterey Workshop (2010)
vignette affiche
Monterey Workshop (2012)
vignette affiche
Petri Nets (2009)
vignette affiche
Petri Nets (2016)
vignette affiche
RPMC Workshop (2006)
vignette affiche
Rapid System Prototyping (2000)
vignette affiche
Rapid System Prototyping (2001)
vignette affiche
Rapid System Prototyping (2002)
vignette affiche
Rapid System Prototyping (2003)
vignette affiche
Rapid System Prototyping (2004)
vignette affiche
Rapid System Prototyping (2005)
vignette affiche
Rapid System Prototyping (2006)
vignette affiche
Rapid System Prototyping (2007)
vignette affiche
Rapid System Prototyping (2008)
vignette affiche
Rapid System Prototyping (2009)
vignette affiche
Reliable Software Technologies Ada-Europe (2009)
vignette affiche
WETICE (project) (2016)
vignette affiche
rejected project (merci la comm du CNAM) (2014)

Posters for projects

vignette affiche
AADL with TPT (2008)
vignette affiche
CPN-AMI (2006)
vignette affiche
CPN-AMI (2007)
vignette affiche
CPN-AMI (2008)
vignette affiche
CPN-AMI (2011)
vignette affiche
CPN-AMI (celebration) (2008)
vignette affiche
CosyVerif (2012)
vignette affiche
CosyVerif (2013)
vignette affiche
CosyVerif (2014)
vignette affiche
Demonstration at TACAS (2015)
vignette affiche
FrameKit (1999)
vignette affiche
MIDAS (2015)
vignette affiche
MoVe (2011)
vignette affiche
PolyORB (2003)
vignette affiche
PolyORB (2005)
vignette affiche
RNTL Flex-eWare (2007)
vignette affiche
RNTL Flex-eWare Journee Systematic (2007)
vignette affiche
RNTL MORSE (2003)
vignette affiche
RNTL MORSE (2004)
vignette affiche
RNTL MORSE (2005)
vignette affiche
RNTL MORSE (2006)

Posters for academic courses

vignette affiche
DESS ISI (2002)
vignette affiche
Licence Informatique (2005)
vignette affiche
Master Informatique (2005)
vignette affiche
Master Informatique (2007)
vignette affiche
Specialite IMA du Master Informatique (2007)
vignette affiche
Specialite RES du Master Informatique (2005)
vignette affiche
Specialite SAR du Master Informatique (2005)
vignette affiche
Specialite SAR du Master Informatique (2007)
vignette affiche
Specialite STL du Master Informatique (2005)
vignette affiche
Specialite STL du Master Informatique (2007)

Books and Proceedings covers

vignette affiche
APNOC workshop proceedings (2009)
vignette affiche
Basic PN Tutorial - part 1 (2009)
vignette affiche
Basic PN Tutorial - part 2 (2009)
vignette affiche
Basic PN Tutorial - part 3 (2009)
vignette affiche
Biomodel Engineering Tutorial (2009)
vignette affiche
CAD V and V Tutorial (2009)
vignette affiche
Continuous PN Tutorial (2009)
vignette affiche
Ecole Temps Reel (2009)
vignette affiche
Ecole Temps Reel (2011)
vignette affiche
Ecole Temps Reel (2013)
vignette affiche
Ecole Temps Reel (2015)
vignette affiche
Edited at Kluwer (2002)
vignette affiche
Evaluating Concurrent Soft arch with PN Tutorial (2009)
vignette affiche
IWAISE proceedings (2008)
vignette affiche
ORGMOD workshop proceedings (2009)
vignette affiche
PNML Tutorial (2009)
vignette affiche
PNSE workshop proceedings (2009)
vignette affiche
SUMo and APNOC workshops proceedings (2010)
vignette affiche
SUMo and CompoNet workshops proceedings (2011)
vignette affiche
System-Level Modeling and Validation Tutorial (2009)
vignette affiche
TiSto workshop proceedings (2009)