Book Chapters

2018

  1. P. Bouyer, u. Fahrenberg, K. Larsen, N. Markey, J. Ouaknine, J. Worrell. Model Checking Real-Time Systems. In Handbook of model checking, pp. 1001-1046, April 2018. details doi pdf

2017

  1. P. Bouyer, F. Laroussinie, N. Markey, J. Ouaknine, J. Worrell. Timed temporal logics. In Models, Algorithms, Logics and Tools: Essays Dedicated to Kim Guldstrand Larsen on the Occasion of His 60th Birthday, Vol. 10460, pp. 211-230, Lecture Notes in Computer Science, Springer, August 2017. details doi pdf

2015

  1. N. Bertrand, S. Haddad. Contrôle, probabilités et observation partielle. In Informatique Mathématique. Une photographie en 2015, pp. 177-227, CNRS Edition, 2015. details

2009

  1. E. Badouel, P. Darondeau, L. Petrucci. Modular Synthesis of Petri Nets from Regular Languages. In Perspectives in Concurrency Theory (A Festschrift for Thiagarajan), pp. 1-21, Universities Press (India), 2009. details

2008

  1. C. Constant, T. Jéron, H. Marchand, V. Rusu. Validation of Reactive Systems. In Modeling and Verification of Real-TIME Systems - Formalisms and software Tools, S. Merz, N. Navet (eds.), Chap. 2, pp. 51-76, Hermès Science, January 2008. details

2006

  1. C. Constant, T. Jéron, H. Marchand, V. Rusu. Combinaison entre vérification et test pour la validation de systèmes réactifs. In Traité I2C. Systèmes Temps Réel: Techniques de Description et de Vérification - Théorie et Outils, Vol. 1, Chap. 2, pp. 59-88, Hermès Science, 2006. details

2004

  1. P. Darondeau. Unbounded Petri Net Synthesis. In Lectures on Concurrency and Petri Nets, Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.), Vol. 3098, pp. 413-438, Lecture Notes in Computer Science, Springer, 2004. details pdf

2002

  1. M. Bednarczyk, P. Darondeau. Looking for diamonds. In Synthesis and Control of Discrete Event Systems, B. Caillaud, P. Darondeau, L. Lavagno, X. Xie (eds.), pp. 214-219, Kluwer Academic Publishers, 2002. details download

2001

  1. B. Caillaud, P. Darondeau, L. Hélouet, G. Lesventes. HMSCs as specifications. with PN as completions. In Modeling and Verification of Parallel Processes, F. Cassez, Claude Jard, B. Rozoy, M. Dermot (eds.), Vol. 2067, pp. 125-152, Lecture Notes in Computer Science, Springer, 2001. details ps

1998

  1. Eric Badouel, Philippe Darondeau. Theory of Regions. In Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets, held in Dagstuhl, September 1996, Vol. 1491, pp. 529-586, Lecture Notes in Computer Science, Springer, 1998. details

1995

  1. T.P. Amagbegnon, P. Le Guernic, H. Marchand, E. Rutten. Signal- the specification of a generic, verified production cell controller. In Formal Development of Reactive Systems - Case Study Production Cell, C. Lewerentz, T. Lindner (eds.), Chap. 7, pp. 115-129, Lecture Notes in Computer Science, Springer Verlag, January 1995. 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 v216, © INRIA 2002-2007, Projet Lagadic