Chapitres de livres

2013

1. Y. Falcone, K. Havelung, G. Reger. A Tutorial on Runtime Verification. In Summer School Marktoberdorf 2012 - Engineering Dependable Software Systems, Manfred Broy, Doron Peled (eds.), pp. 141-176, IOS Press, 2013.
2. Muhammad Naeem Irfan, Catherine Oriat, Roland Groz. Model Inference and Testing. In Advances in Computers, Atif Memon (ed.), Vol. 89, pp. 89-139, Elsevier, Avril 2013.

2009

1. Jean-Louis Boulanger, Alban Rasse, Akram Idani. Models Oriented Approach for developing railway safety-critical systems with UML. In Handbook of Software Engineering Research and Productivity Technologies: Implications of Globalisation, Chapter 19, Information Science Reference, IGI Global, pp. 305-330, 2009.
2. Yves Ledru. Modeling Airport Security Regulations. In Protecting Airline Passengers in the Age of Terrorism, Paul Seidenstat, Francis X. Splane (eds.), pp. 228-246, Greenwood Publishing Group, Praeger Security International, 2009.

2008

1. Antonia Bertolino, Eda Marchetti, Ioannis Parissis Cesare Bartolini. Data Flow-based Validation of Web Services Compositions: Perspectives and Examples. In Architecting Dependable Systems V, LNCS 5135, 2008.

2007

1. Akram Idani. B2UML vs UML2B: Bridging the gap between formal and graphical software modelling paradigms. In Computer Software Engineering Research, Chapter 6, pp. 161-177, 2007.

2002

1. J. Estublier, J.-M. Favre, R. Sanlaville. An Industrial Experience with Dassault Systèmes' Component Model. In Building Reliable Component-Based Software Systems, Ivica Crnkovic, Magnus Larsson (eds.), pp. 375-386, Artech House Publishers, Juillet 2002.

2001

1. Marie-Laure Potet. Composition des machines et des raffinements. In Spécification formelle avec B, Henri Habrias (ed.), pp. 301-332, Hermes-Lavoisier, Science Publications, 2001.

2000

1. Hubert Baumeister, Didier Bert. Software Specification Methods: An Overview Using a Case Study. (à paraître), (à paraître), Chap. 0, (Eds: M. Frappier, H. Habrias), FACIT, Springer-Verlag, 2000.
2. S. Dupuy, A. Front-Conte, C. Saint-Marcel. Using UML with a Behaviour-Driven Method. In Software Specification Methods: An Overview Using a Case Study, à paraître, M. Frappier, H. Habrias (eds.), à paraître, Springer, 2000.

1999

1. D. Avrilionis, I. Robertson, P.-Y. Cunin, B. Warboys. Meta-Process. In Software Process Technology Principles, J.-C. Derniame, A. Fuggetta (eds.), Chap. 2, Wiley, 1999.

1996

1. Y. Ledru, M.-L. Potet. A VDM specification of the steam-boiler problem. In Steam-Boiler Case Study, pp. 283-317, Springer, 1996.