Books

2013

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

2012

1. Proceedings of GreHack 2012, the First International Symposium in Grey-Hat Hacking. Fabien Duchene, Jean-Luc Richier (eds.), Grenoble, France, October 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, June 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, March 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, January 2009.

2008

1. Colloque Francophone d'Ingénierie des Protocoles (CFIP'2008). Andrzej Duda, Roland Groz (eds.), Les Arcs, France, March 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, September 2007.

2006

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

2005

1. Laurent Toutain, Jean-Luc Richier, (eds). Gisèle Cizault (nom collectif). IPv6, théorie et pratique, 4ème édition. O'Reilly, November 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, July 2004.
2. R. Groz, R. M. Hierons. Testing of Communicating Systems, 16th IFIP International Conference, TestCom 2004. Springer, Oxford, UK, March 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, June 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, March 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, January 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, January 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, June 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, March 1998.