8 Dottore di ricerca 1990 - 2003

Pubblicazioni 1996-2009

• 2009
  • C. Girault, J.‑F. Pradat‑Peyre : “Analysis of High Level Petri Nets”, chapter in Petri Nets: Fundamental Models, Verification and Applications, M. Diaz (Ed.), pp. 221-266, (Wiley-ISTE), (ISBN: 9781848210790) (2009)
  • C. Girault, J.‑F. Pradat‑Peyre : “High Level Petri Nets”, chapter in Petri Nets: Fundamental Models, Verification and Applications, M. Diaz (Ed.), pp. 185-219, (Wiley-ISTE), (ISBN: 9781848210790) (2009)
• 2005
  • C. Girault, R. Valk : “Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications (China Version)”, (Publishing House of Electronics Industry), (ISBN: 7-121-00781-9) (2005)
• 2003
  • C. Girault, R. Valk : “Petri Nets for Systems Engineering : A Guide to Modeling, Verification, and Applications”, 607 pages, (Springer-Verlag), (ISBN: 3-540-41217-4) (2003)
  • F. Kordon, W. El‑Kaïm : “Code Generation”, chapter in Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, C. Girault, R. Valk (Eds.), pp. 433-469, (Springer-Verlag), (ISBN: 3-540-41217-4) (2003)
  • C. Dutheillet, J.‑M. Ilié, D. Poitrenaud, I. Vernier‑Mounier : “State-Space-Based Methods and Model Checking”, chapter in Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, C. Girault, R. Valk (Eds.), pp. 201-275, (Springer-Verlag), (ISBN: 3-540-41217-4) (2003)
  • M.‑P. Gervais, A. Diagne : “Telecommunications Systems”, chapter in Petri nets for Systems Engineering : A Guide to Modeling, Verification, and Applications, R. Valk, C. Girault (Eds.), pp. 541-566, (Springer-Verlag), (ISBN: 3-540-41217-4) (2003)
• 2001
  • J.‑T. Calvet, C. Girault : “A Simulation Environment for SDH Synchronization network planning”, Third International Workshop on Design of Reliable Communication Networks, T. Cinder, J. Mandli (Eds.), Budapest, Hungary (2001)
  • J.‑T. Calvet, C. Girault : “Fiabilité et distribution de la synchronisation dans les réseaux SDH”, 3èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, Saint-Jean de Luz, France, pp. 127-134, (Institut National de la Recherche en Informatique et Automatique (INRIA)) (2001)
  • C. Girault, J.‑F. Pradat‑Peyre : “Les Réseaux de Petri de Haut Niveau”, chapitre de Les Réseaux de Petri, Modèles Fondamentaux, M. Diaz (Ed.), pp. 223-254, (Hermes), (ISBN: 2-7462-0250-6) (2001)
• 1998
  • K. Fisler, C. Girault : “Modeling and Model Checking of a Shared Memory Consistency Protocol”, 18^th International Concference on Applications and Theory of Petri Nets, vol. 1420, Lecture Notes in Computer Science, J. Desel Silva (Ed.), Lisboa, Portugal, pp. 84-103, (Springer) (1998)
• 1996
  • L. Benalycherif, C. Girault : “Behavioural and Structural Composition Rules Preserving Liveness By Synchronization for Coloured Fifo Nets”, 16^th International Conference on Applications and Theory of Petri Nets, Osaka, Japan, pp. 73-92 (1996)
  • B. Folliot, C. Girault, P. Sens, P.‑G. Raverdy : “Proceedings of the Resource Allocation for Parallel Applications, From Local Area Networks to Multi-clustered High-speed Networks”, IFIP W. G.10.3 Workshop, Paris, France (1996)