Ouvrages

2013

1. Proceedings of GreHack 2013, the Second International Symposium on Research in Grey-Hat Hacking. Fabien Duchene (ed.), Springer, Grenoble, France, Novembre 2013. download

2012

1. Proceedings of GreHack 2012, the First International Symposium in Grey-Hat Hacking. Fabien Duchene, Jean-Luc Richier (eds.), Grenoble, France, Octobre 2012.

2011

1. Yves Ledru, Anne-Françoise Le Meur, Olivier Caron. Actes des troisièmes journées nationales du GDR CNRS Génie de la Programmation et du Logiciel. Université de Lille, Juin 2011.

2010

1. Howard Barringer, Yliès Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon J. Pace, Grigore Rosu, Oleg Sokolsky, Nikolai Tillmann, (eds). Runtime Verification - First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings. Lecture Notes in Computer Science, Springer, 2010.
2. Eric Cariou, Laurence Duchien, Yves Ledru. Actes des deuxièmes journées nationales du GDR CNRS Génie de la Programmation et du Logiciel. Université de Pau et des Pays de l'Adour, Mars 2010.

2009

1. Yves Ledru, Marc Pantel. Actes des journées nationales du GDR CNRS Génie de la Programmation et du Logiciel. IRIT Press, Toulouse, Janvier 2009.

2008

1. Colloque Francophone d'Ingénierie des Protocoles (CFIP'2008). Andrzej Duda, Roland Groz (eds.), Les Arcs, France, Mars 2008.

2007

1. Lydie du Bousquet, Jean-Luc Richier, (eds). Feature Interactions in Software and Communication Systems IX, International Conference on Feature Interactions in Software and Communication Systems, ICFI 2007. IOS Press, Grenoble, France, Septembre 2007.

2006

1. Neelam Gupta, Yves Ledru, Johannes Mayer. Proceedings of the Third International Workshop on Software Quality Assurance (SOQUA2006). ACM Press, Portland (OR), Novembre 2006.

2005

1. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique, 4ème édition. O'Reilly, Novembre 2005.

2004

1. P. Gruenbacher, Y. Ledru. Special issue. \\ http://www.ercim.org/publication/Ercim\_News/enw58/, Volume 58, ERCIM News on Automated Software Engineering, Juillet 2004.
2. R. Groz, R. M. Hierons. Testing of Communicating Systems, 16th IFIP International Conference, TestCom 2004. Springer, Oxford, UK, Mars 2004.

2003

1. Didier Bert, Henri Habrias, Véronique Viguié Donzeau-Gouge. Méthode B. Volume 22(1), Technique et Science Informatiques, RSTI série TSI, Hermès-Lavoisier, 2003.
2. Didier Bert, Jonathan P. Bowen, Steve King, Marina Walden. ZB 2003: Formal Specification and Development in Z and B, 3rd International Conference of Z and B Users. LNCS 2651, Springer, Turku, Finland, Juin 2003.

2002

1. Y. Ledru, D. Redmiles. Report on the Workshop on State of the Art in Automated Software Engineering. 17th International Conference on Automated Software Engineering, IEEE Computer Society Press, Edinburgh, UK, 2002.
2. B. Marre, F. Ouabdesselam. Numéro spécial - Test de logiciel. Volume 21(9), Technique et Science Informatiques, 2002.
3. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique, 3ème édition. O'Reilly, Mars 2002.
4. D. Bert, J. P. Bowen, M. C. Henson, K. Robinson. ZB2002: Formal Specification and Development in Z and B, 2nd International Conference of Z and B Users. LNCS 2272, Springer, Grenoble, France, Janvier 2002.

2001

1. Y. Ledru, M.-L. Potet. Numéro spécial - Approches formelles pour l'aide au développement de logiciels. Volume 20(7), Technique et Science Informatiques, 2001.

2000

1. Recent Trends in Algebraic Development Techniques. 14th International Workshop, WADT'99, Château de Bonas, France, September 1999. Selected Papers. Didier Bert, Christine Choppy, Peter Mosses (eds.), Lecture Notes in Computer Science, No 1827, Springer-Verlag, 2000.
2. Actes de l'atelier Approches Formelles dans l'Assistance au Développement des Logiciels (AFADL'2000). Y. Ledru (ed.), IMAG, Grenoble, Janvier 2000.

1999

1. C. Welty, M. Lowry, Y. Ledru. Guest Editorial - special issue on ASE'97. Automated Software Engineering, Volume 6, Kluwer Academic Publisher, Boston, MA, 1999.
2. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique, 2ème édition. O'Reilly, Juin 1999.

1998

1. Didier Bert. Proceedings of the 2nd Int. B Conference, B'98: Recent Advances in the Development and Use of the B Method. Lecture Notes in Computer Science, No 1393, Springer-Verlag, 1998.
2. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique. O'Reilly, Mars 1998.