Publications

Bibliography by years

1998 1999 2000 2001
2002 2003 2004 2005
2006 2007 2008 2009
2010 2011 2012

Bibliography by authors

Eric Badouel
Albert Benveniste
Benoît Caillaud
Philippe Darondeau
Bastien Maubert
Sophie Pinchinat

Bibliography by categories

Thesis
Academic Journals
Books
Book Chapters
International Conferences
National Conferences
Research Reports
Misc

Bibliography by keywords

Contract-based design and interface theoriesHybrid modeling
Max-plus algebra
Petri nets
Scenario languages
Supervisory control
Synchronous systems

LaTeX

Download a complete bibliography of the S4 team (large BibTeX file).

Links

Back to the home page of the S4 team.