Academic Journals

  1. C. Jard, T. Chatain, P. Bourhis. Diagnostic temporel dans les systèmes répartis à l'aide de dépliages de réseaux de Petri temporels. Journal européen des systèmes automatisés (JESA), 1-2-3:351-366, 2005. details

International Conferences

  1. A. Bouillard, B. Gaujal. Coupling time of a (max,plus) matrix. In Workshop on Max-Plus Algebras and Their Applications to Discrete-event Systems, Theoretical Computer Science, and Optimization, Pages 235-240, 2001. details
  2. T. Chatain, C. Jard. Time Supervision of Concurrent Systems using Symbolic Unfoldings of Time Petri Nets. In 3rd International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2005), LNCS, Volume 3829, Pages 187-201, September 2005. details
  3. T. Chatain. Diagnostic pour les systèmes distribués dynamiques partiellement observables. In Colloque Francophone d'Ingénierie des Protocoles (CFIP'05), March 2005. details

Research Reports

  1. A. Bouillard, B. Gaujal, J. Mairesse. Extremal throughputs in free-choice nets. Research Report LIP, No 14, 2005. details

This material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.This page is automatically generated by bib2html v210, © INRIA 2002-2006, Projet Lagadic