Publications of Yves Ledru

Load the BibTeX file

Books

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.
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.
3. 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.
4. Neelam Gupta, Yves Ledru, Johannes Mayer. Proceedings of the Third International Workshop on Software Quality Assurance (SOQUA2006). ACM Press, Portland (OR), November 2006.
5. P. Gruenbacher, Y. Ledru. Special issue. \\ http://www.ercim.org/publication/Ercim\_News/enw58/, Volume 58, ERCIM News on Automated Software Engineering, July 2004.
6. 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.
7. 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.
8. C. Welty, M. Lowry, Y. Ledru. Guest Editorial - special issue on ASE'97. Automated Software Engineering, Volume 6, Kluwer Academic Publisher, Boston, MA, 1999.

Academic Journals

1. Yves Ledru, Akram Idani, Jérémy Milhau, Nafees Qamar, Régine Laleau, Jean-Luc Richier, Mohamed-Amine Labiadh. Validation of IS Security Policies featuring Authorisation Constraints. International Journal of Information System Modeling and Design (IJISMD), 2014.
2. Yves Ledru, Alexandre Petrenko, Sergiy Boroday, Nadine Mandran. Prioritising Test Cases with String Distances. Journal of Automated Software Engineering, 19(1):65-95, 2012. download
3. Yves Ledru, Lydie du Bousquet. Apport d'un prototype spécifié en Z dans le redéveloppement d'un outil de test. Technique et Science Informatiques, RSTI, série TSI, 31(6):743-767, 2012.
4. J. Milhau, A. Idani, R. Laleau, M. A. Labiadh, Y. Ledru, M. Frappier. Combining UML, ASTD and B for the formal specification of an access control filter. Innov. Syst. Softw. Eng, 7:303-313, December 2011.
5. Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet. Reusing a JML specification dedicated to verification for testing, and vice-versa: case studies. Journal of Automatic Reasoning, Special issue on Tests and Proofs, 45(4):415-435, 2010.
6. Akram Idani, Mohamed-Amine Labiadh, Yves Ledru. Infrastructure dirigée par les modèles pour une intégration adaptable et évolutive de UML et B. Ingénierie des Systèmes d'Information, 15(3):87-112, 2010.
7. Yves Ledru, Régine Laleau, Sylvie Vignes. Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports. Ingénierie des Systèmes d'Information, RSTI, série ISI, 13(4):133-157, 2008.
8. Akram Idani, Yves Ledru, Didier Bert. Approche formelle pour la dérivation de vues structurelles UML à partir de développements B. Formalisation, preuve et extension pour la prise en compte des raffinements B. Technique et Science Informatiques, RSTI, série TSI, 26, 2007.
9. Akram Idani, Yves Ledru. Object Oriented Concepts Identification from Formal B Specifications. International Journal of Formal Methods in System Design, 30(3):217-232, June 2007. download
10. R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Donzeau-Gouge, C. Dubois, F. Peureux. Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Software Process: Improvement and Practice (SPIP), 11(5):487-503, 2006.
11. Akram Idani, Yves Ledru. Dynamic Graphical UML Views from Formal B Specifications. Int. Journal of Information and Software Technology, 48(3):154-169, March 2006.
12. Mehdi Kessis, Yves Ledru, Gérard Vandome. Test de couverture des serveurs J2EE : Etude du serveur JOnAS et de sa suite de tests. Génie Logiciel, 74:37-42, 2005.
13. S. Dupuy, Y. Ledru, M. Chabre-Peccoud. Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z. L'Objet, numéro thématique Méthodes formelles pour les objets, 6(1), 2000.
14. Y. Ledru. Specification and animation of a bank transfer using KIDS/VDM. Automated Software Engineering, 4:33-51, 1997.

Book Chapters

1. 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.
2. Y. Ledru, M.-L. Potet. A VDM specification of the steam-boiler problem. In Steam-Boiler Case Study, pp. 283-317, Springer, 1996.

International Conferences

1. Amira Radhouani, Akram Idani, Yves Ledru. Extraction of Insider Attack Scenarios for a Formal Information System Modeling. In Proceedings of the Formal Methods for Security Workshop co-located with the PetriNets-2014 Conference, Véronique Cortier, Riadh Robbana (eds.), Volume 1158, Pages 5-19, 2014.
2. Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Akram Idani, Yves Ledru. B Formal Validation of ERTMS/ETCS Railway Operating Rules. In 4th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z, Yamine Aït Ameur, Klaus-Dieter Schewe (eds.), LNCS, Volume 8477, Pages 124-129, 2014.
3. Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Taha Triki, German Vega, Julien Botella, Safouan Taha. Test Generation and Evaluation from High-Level Properties for Common Criteria Evaluations - The TASCCC Testing Tool. In 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation (ICST 2013), Pages 431-438, Luxembourg, 2013. download
4. Muhammad Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu. Automated Reviewing of Healthcare Security Policies. In Postproceedings of the 2nd Intl Symposium on the Foundations of Health Information Engineering and Systems - FHIES 2012, Lecture Notes in Computer Science, Volume 7789, Pages 176-193, 2013.
5. Akram Idani, Yves Ledru, Adil Anwar. A rigorous reasoning about model transformations using the B method. In International Conference on Exploring Modelling Methods for Systems Analysis and Design (EMMSAD'2013), held at CAiSE 2013, Pages 426-440, Valencia, Spain, June 2013.
6. Muhammad Nafees Qamar, Johannes Faber, Yves Ledru, Zhiming Liu. Automated Reviewing of Healthcare Security Policies. In Preproceedings of the 2nd Intl Symposium on the Foundations of Health Information Engineering and Systems - FHIES 2012, Pages 176-193, 2012.
7. Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella. Model-based filtering of combinatorial test suites. In Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), LNCS, Volume 7212, Pages 439-454, Tallinn, Estonia, March 2012.
8. Muhammad Nafees Qamar, Yves Ledru, Akram Idani. Validation of Security-Design Models using Z. In Proceedings of the 13th International Conference on Formal Engineering Methods (ICFEM 2011), LNCS, Volume 6991, Pages 259-274, Durham, United Kingdom, October 2011.
9. Yves Ledru, Jean-Luc Richier, Akram Idani, Mohamed-Amine Labiadh. From KAOS to RBAC: A Case Study in Designing Access Control Rules from a Requirements Analysis. In Conference on Network and Information Systems Security (SAR-SSI 2011), Pages 157-164, La Rochelle, France, May 2011. download
10. Yves Ledru, Muhammad Nafees Qamar, Akram Idani, Jean-Luc Richier, Mohamed-Amine Labiadh. Validation of Security Policies by the Animation of Z Specifications. In SACMAT 2011, 16th ACM Symposium on Access Control Models and Technologies, Ruth Breu, Jason Crampton, Jorge Lobo (eds.), Pages 155-164, Innsbruck, Austria, 2011.
11. Ajitha Rajan, Lydie du Bousquet, Yves Ledru, German Vega, Jean-Luc Richier. Assertion-based test oracles for home automation systems. In Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software, MOMPES'10, Pages 45-52, New York, NY, USA, 2010. download download
12. Yves Ledru, Alexandre Petrenko, Sergiy Boroday. Using String Distances for Test Case Prioritisation. In 24th IEEE/ACM International Conference on Automated Software Engineering (ASE 2009), J. Grundy, M. Heimdahl, G. Taentzer (eds.), Pages 510-514, Auckland, New Zealand, November 2009.
13. Luca Ferro, Laurence Pierre, Yves Ledru, Lydie du Bousquet. Generation of test programs for the assertion-based verification of TLM models. In Design and Test Workshop, 2008. IDT 2008. 3rd International, Pages 237-242, 2008. download download
14. Frédéric Dadeau, Yves Ledru, Lydie du Bousquet. Directed random reduction of combinatorial test suites. In RT '07: Proceedings of the 2nd international workshop on Random testing, Pages 18-25, New York, NY, USA, 2007. download
15. Michel Lemoine, Eduardo R. Lopez Ruiz, Yves Ledru, Didier Bert, Régine Laleau, Fabien Peureux, Fabrice Bouquet, Véronique Donzeau-Gouge, Catherine Dubois, Jean-Frédéric Etienne, Sylvie Vignes. EDEMOI : a methodology for security of air transport system. In 2nd European Conference on Aerospace Sciences (EUCASS), 2007.
16. Yves Ledru. A Formalisation of the Soccer Substitution Rules. In Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006, Régine Laleau, Michel Lemoine (eds.), CEUR Workshop Proceedings, Volume 241, 2007.
17. Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes. Validation of Regulation Documents by Automated Analysis of Formal Models. In Proceedings of the CAISE*06 Workshop on Regulations Modelling and their Validation and Verification ReMo2V '06, Luxemburg, June 5-9, 2006, Régine Laleau, Michel Lemoine (eds.), CEUR Workshop Proceedings, Volume 241, 2007.
18. Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabrice Bouquet. Using Computer Science Modeling Techniques for Airport Security Certification. In Proc. of the First International Conference on Research Challenges in Information Science, Ouarzazate, Maroc, April 2007.
19. Frédéric Dadeau, Yves Ledru, Lydie du Bousquet. Measuring a Java Test Suite Coverage using JML Specifications. In Third Workshop on Model-Based Testing (MBT), Braga, Portugal, March 2007.
20. Lydie du Bousquet, Yves Ledru, Frédéric Dadeau, F. Allouti. A Case Study in Matching Test and Proof Coverage. In Third Workshop on Model-Based Testing (MBT), Braga, Portugal, March 2007.
21. Yves Ledru, Lydie du Bousquet. Tobias-Z: An executable formal specification of a test generator. In 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan, Demonstration, Pages 353-354, 2006.
22. Y. Ledru, R. Laleau, M. Lemoine, S. Vignes, D. Bert, V. Donzeau-Gouge, C. Dubois, F. Peureux. An attempt to combine UML and formal methods to model airport security. In CAISE Forum 2006 - Proceedings of the Forum of the 18th International Conference on Advanced Information Systems Engineering, N. Boudjlida, N. Guelfi (eds.), Pages 47-50, Presses universitaires de Namur, Luxembourg, June 2006.
23. Yves Ledru. Using Jaza to animate RoZ specifications of UML class diagrams. In Proceedings of Int. Z User Meeting (ZUM'06), USA, April 2006.
24. Akram Idani, Yves Ledru, Didier Bert. A Reverse-engineering Approach to Understanding B Specifications with UML Diagrams. In 30th Annual IEEE/NASA Software Engineering Workshop (SEW-30), Loyola College Graduate Center, Columbia MD, USA, April 2006.
25. Akram Idani, Yves Ledru, Didier Bert. Derivation of UML Class Diagrams as Static Views of Formal B Developments. In ICFEM'05 - Int. Conf. On Formal Engineering Methods, Manchester, November 2005.
26. M. Kessis, Y. Ledru, G. Vandome. Experiences in Coverage Testing of a Java Middleware. In Fifth Int. Workshop on Software Engineering and Middleware (SEM 2005), Pages 39-45, Lisbonne, September 2005.
27. R. Laleau, S. Vignes, Y. Ledru, M. Lemoine, D. Bert, V. Viguié Donzeau-Gouge, C. Dubois, F. Peureux. Application of Requirements Analysis Techniques to the analysis of civil aviation security standards. In First International Workshop on Situational Requirements Engineering Processes (SREP'05), organized by IFIP WG8.1 Method Engineering Task Group, in conjunction with the 13th IEEE International Requirements Engineering Conference, Paris, France, August 2005.
28. S. Dupuy-Chessa, L. du Bousquet, J. Bouchet, Y. Ledru. Test of the ICARE platform fusion mechanism. In 12th International Workshop on Design, Specification and Verification of Interactive Systems (DSVIS'05), 12 pages, Newcastle upon Tyne, England, July 2005.
29. Y. Ledru, L. du Bousquet, O. Maury, P. Bontron. Filtering TOBIAS combinatorial test suites. In Proceedings of ETAPS/FASE'04 - Fundamental Approaches to Software Engineering, Pages 281-294, Barcelona, 2004.
30. L. du Bousquet, Y. Ledru, O. Maury, C. Oriat, J.-L. Lanet. A case study in JML-based software validation (short paper). In Proceedings of 19th Int. IEEE Conf. on Automated Sofware Engineering (ASE'04), Pages 294-297, Linz, September 2004.
31. Akram Idani, Yves Ledru. Object Oriented Concepts Identification from Formal B Specifications. In Proceedings of 9th Int. Workshop on Formal Methods for Industrial Critical Systems (FMICS'04), ENTCS 133 (2005), Elsevier, Pages 159-174, Linz, September 2004. download
32. Y. Ledru, S. Dupuy, H. Fadil. Towards Computer-Aided Design of OCL Constraints. In Proceedings of CAISE'04 Workshops Vol. 1 -EMMSAD'04: Evaluating Modeling Methods for Systems Analysis and Design, Pages 329-338, Riga, June 2004.
33. O. Maury, Y. Ledru, P. Bontron, L. du Bousquet. Using TOBIAS for the automatic generation of VDM test cases. In Third VDM Workshop (in conjunction with FME2002), 15 pages, Copenhagen, Danemark, 2002.
34. Y. Ledru, S. Dupuy. From UML to Z, a support for requirements engineering with RoZ. In Formal Methods Europe 2001, Tutorial, 2001.
35. R. Sanlaville, J.-M. Favre, Y. Ledru. Helping Various Stakeholders to Understand a Very Large Component-Based Software. In Euromicro Workshop on Component-Based Software Engineering, Pages 104-113, Warsaw, 2001.
36. Y. Ledru, L. du Bousquet, P. Bontron, O. Maury, C. Oriat, M.-L. Potet. Test purposes: adapting the notion of specification to testing. In Proceedings of the 16th International Conference on Automated Software Engineering, Pages 127-134, San Diego, November 2001.
37. S. Dupuy, Y. Ledru, M. Chabre-Peccoud. An Overview of RoZ : a Tool for Integrating UML and Z Specifications. In 12th Conference on Advanced information Systems Engineering-CAiSE'2000, Lecture Notes in Computer Science, Volume 1789, Stockholm, Suède, 2000.
38. S. Dupuy, J-C. Freire, M.Chabre-Peccoud, Y. Ledru. Formal and Informal Specifications: a proposal for a coupling. In 13th International Conference Software & Systems Engineering and their Applications-ICSSEA'2000, Paris, France, December 2000.
39. S.T. Nguyen, J.M. Favre, Y. Ledru, J. Estublier. Exploring Large Software Products. In 13th International Conference Software & Systems Engineering and their Applications-ICSSEA'2000, Paris, December 2000.
40. Yves Ledru, Marie-Laure Potet, Rémy Sanlaville. VDM modules. In Workshop VDM in Practice, at FM'99 World Congress on Formal Methods, FM'99 CD-ROM, 1999.
41. S. Dupuy, Y. Ledru, M. Chabre-Peccoud. Translating the OMT dynamic model into Object-Z. In 11th Int. Conf. of Z Users-ZUM'98, Lecture Notes in Computer Science, Volume 1493, Berlin, Germany, 1998.
42. Y. Ledru. Identifying pre-conditions with the Z/EVES theorem prover. In Proceedings of the 13th International Conference on Automated Software Engineering, Honolulu, October 1998.
43. S. Dupuy, Y. Ledru, M. Chabre-Peccoud. Integrating OMT and Object-Z. In Proceedings of BCS FACS/EROS ROOM Workshop, Technical Report GR/K67311-2, A. Evans, K. Lano (eds.), Dept. of Computing, Imperial College, London, UK, June 1997.
44. Y. Ledru. Using KIDS as a Tool Support for VDM. In Proceedings of the 18th International Conference on Software Engineering, Pages 236-245, Berlin (Germany), 1996.
45. Y. Ledru. Complementing semi-formal specifications with Z. In Proceedings of the 11th Knowledge-Based Software Engineering Conference, Pages 52-61, 1996.
46. Y. Ledru. Specification and animation of a bank transfer. In Proceedings of the 10th Knowledge-Based Software Engineering Conference, Pages 192-199, Boston, MA, 1995.
47. Y. Ledru, Y. Chiaramella. Integrating and Teaching ZSP and Z. In Proceedings of ``Z twenty years on - what is its future?'', H. Habrias (ed.), Nantes, 1995.

National conferences or workshops

1. Rahma Ben Ayed, Simon Collart Dutilleul, Philippe Bon, Yves Ledru, Akram Idani. Modélisation et validation formelle des règles d'exploitation ferroviaire. In Actes de la Conférence AFADL'14: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 1-15, Paris, 2014.
2. Akram Idani, Yves Ledru, Mohamed-Amine Labiadh. B4MSecure : une plateforme IDM pour la modélisation et la validation de politiques de sécurité en Systèmes d'Information (démo). In Actes de la Conférence AFADL'13: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 85-89, Nancy, 2013.
3. Taha Triki, Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, Julien Botella. Nouveaux mécanismes de filtrage de tests basés sur le modèle. In Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, Pages 179-180, Rennes, France, 2012.
4. Taha Triki, Lydie du Bousquet, Yves Ledru. Réduction de suites de tests avec des critères d'équivalence basés sur la couverture structurelle. In Actes de la Conférence AFADL'12: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 120-134, Grenoble, January 2012.
5. Muhammad Nafees Qamar, Yves Ledru, Akram Idani. Evaluating RBAC Supported Techniques and Their Validation and Verification. In Fifth International Workshop on Secure Software Engineering (SecSE'11) in conjunction with 6th IEEE International Conference on Availability, Reliability and Security (ARES'11), Pages 734-739, Vienna, Austria, August 2011.
6. Y. Ledru, A. Idani, J. Milhau, M.-N. Qamar, R. Laleau, J.-L. Richier, M.-A. Labiadh. Taking into account functional models in the validation of IS security policies. In WISSE 2011, Advanced Information Systems Engineering Workshops - CAiSE 2011 International Workshops, Camille Salinesi, Oscar Pastor (eds.), Lecture Notes in Business Information Processing, Volume 83, Pages 592-606, London, UK, 2011.
7. Mohamed-Amine Labiadh, Akram Idani, Yves Ledru. Approche transformationnelle à base de méta-modèles pour l'intégration de UML et de notations formelles. In Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 197-212, Poitiers, June 2010.
8. Yves Ledru, Lydie du Bousquet. De l'utilisation d'une spécification Z comme prototype dans le redéveloppement d'un projet. In Actes de la Conférence AFADL'10: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 117-131, Poitiers, June 2010.
9. Akram Idani, Yves Ledru, Mohamed-Amine Labiadh. Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B. In INFORSID 2009, Pages 261-276, Toulouse, May 2009.
10. Eduardo R. Lopez Ruiz, Yves Ledru, Michel Lemoine. Extending the use of rigorous methods with aeronautics. In Workshop on Formal Aspects of Safety-Critical Systems, The Safety-Critical Systems Club, 2008.
11. Eduardo R. Lopez Ruiz, Yves Ledru, Michel Lemoine. Aeronautical Regulations Should Be Rigorously Developed Too!. In Proceedings of The Sixth NASA Langley Formal Methods Workshop, Volume NASA/CP-2008-215309, Pages 41-43, May 2008.
12. Yves Ledru, Régine Laleau, Sylvie Vignes. Une tentative d'utilisation conjointe d'UML et d'une méthode formelle pour la modélisation de la sécurité des aéroports. In Actes du XXVème Congrès INFORSID, Perros-Guirec, France, 22 au 25 mai 2007, Pages 155-170, 2007.
13. Yves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose. Mastering combinatorial explosion with the tobias-2 test generator. In 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), November 5-9, 2007, Atlanta, Georgia, USA, R. E. Kurt Stirewalt, Alexander Egyed, Bernd Fischer (eds.), Pages 535-536, 2007.
14. Akram Idani, Yves Ledru, Didier Bert. Analyse formelle de concepts pour la génération de diagrammes de classe UML à partir de spécifications B. In Actes de la Conférence AFADL'06: Approches Formelles dans l'Assistance au Développement de Logiciels, Pages 9-24, ENST, Paris, March 2006.
15. M. Kessis, Y. Ledru, G. Vandome. Test de couverture des serveurs J2EE : Etude du serveur J2EE JonAS et de sa suite de tests. In 18th International Conference Software & Systems Engineering and their Applications - ICSSEA'2005, 8 pages, Paris, November 2005.
16. O. Maury, Y. Ledru, L. du Bousquet. Intégration de TOBIAS et UCASTING pour la génération. In 16th International Conference Software and Systems and their applications-ICSSEA, 7 pages, Paris, 2003.
17. Y. Ledru, S. Dupuy. Expressing dynamic properties of static diagrams in Z. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, J.-M. Jézéquel (ed.), Pages 19-34, IRISA, Rennes, January 2003.
18. P. Bontron, O. Maury, L. du Bousquet, Y. Ledru, C. Oriat, M.-L. Potet. TOBIAS : un environnement pour la création d'objectifs de test à partir de schémas de test. In 14th International Conference Software & Systems Engineering and their Applications - ICSSEA'2001, 7 pages, Paris, France, 2001.
19. Y. Ledru, O. Maury, C. Oriat. Invariants de liaison pour la cohérence de vues statiques et dynamiques en UML. In Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2001, J. Souquières (ed.), Pages 23-38, LORIA, Nancy, June 2001.
20. Y. Ledru, R. Sanlaville, J. Estublier. Defining an Architecture Description Language for Dassault Systèmes. In Position paper for the 4th International Software Architecture Workshop, Limerick, Ireland, June 2000.
21. J. Estublier, Y. Ledru, P.-Y. Cunin. The architecture of federations - from process to software. In Position paper for the First Working IFIP Conference on Software Architecture, San Antonio, TX, 1999.
22. Yves Ledru, Catherine Oriat, Marie-Laure Potet. Le raffinement vu comme primitive de spécification - une comparaison de VDM, B et Specware. In Actes de l'Atelier AFADL'98, N. Lévy (ed.), Pages 63-76, LISI/ENSMA, Futuroscope, Poitiers, France, September 1998.
23. Y. Ledru, R. Sanlaville. Description d'architecture logicielle par connexion de machines abstraites. In 2ème atelier AFADL, Poitiers, September 1998.

Research Reports

1. P. Jacquet, Y. Ledru, X. Nicollin, M.-L. Potet. Catalogue de l'exposition logiciels critiques. Research Report IMAG, 1996.
2. Y. Ledru. An introduction to Z and formal methods. Research Report Université Joseph Fourier - UFR Informatique et Mathématiques Appliquées, 1995.

Other communications

1. German Eduardo Vega Baez, Taha Triki, Yves Ledru, Lydie du Bousquet. Trace-based test suite reduction (poster). Actes des Sixièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 209-209, CNAM, Paris, France, 2014.
2. Frédéric Dadeau, Kalou Cabrera Castillos, Yves Ledru, Lydie du Bousquet, Taha Triki, German Eduardo Vega Baez, Safouan Taha, Bruno Legeard, Julien Botella, Boutheina Chetali, Julien Bernet, David Rouillard. TASCCC - Project and Testing Tool (poster). Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 198-198, Nancy, France, 2013.
3. Akram Idani, Yves Ledru, Mohamed-Amine Labiadh. B4MSecure : A MDE platform for modeling and validation of Secure Information Systems (poster). Actes des Cinquièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 211-211, Nancy, France, 2013.
4. Lydie du Bousquet, Yves Ledru, Taha Triki, German Eduardo Vega Baez. Tobias on-line tool for combinatorial software testing (poster and demo). Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 217-217, Rennes, France, 2012.
5. Kalou Cabrera Castillos, Frédéric Dadeau, Yves Ledru, Lydie du Bousquet, Taha Triki, Safouan Taha, Bruno Legeard, Julien Botella, Boutheina Chetali, Julien Bernet, David Rouillard. TASCCC - Project and Testing Tool (poster and demo). Actes des Quatrièmes journées nationales du Groupement De Recherche CNRS du Génie de la Programmation et du Logiciel, pp. 241-241, Rennes, France, 2012.
6. Yves Ledru, German Vega, Taha Triki, Lydie du Bousquet. Test Suite Selection Based on Traceability Annotations - tool demonstration. Proceedings of the 27th IEEE/ACM International Conference on Automated Software Engineering (ASE 2012), pp. 342-345, Essen, Germany, September 2012.
7. Laurence Duchien, Yves Ledru. Défis pour le Génie de la Programmation et du Logiciel GDR CNRS GPL. Chronique publiée dans Technique et Science Informatiques (TSI), volume 13, No 3, pp. 397-413, March 2012.
8. Lydie du Bousquet, Yves Ledru, Taha Triki. Tobias a tool for combinatorial software testing (poster). Fourth International Conference on Software Testing, Verification and Validation (ICST 2011), Berlin, Allemagne, 2011.
9. Akram Idani, Yves Ledru, Pierre-Yves Schobbens. Approche formelle pour une Ingénierie des Modèles sûre. Atelier LMO/SafeModel, Nancy, 2009. download
10. Y. Ledru. Conformance Test Generation with JML. TAROT Summer School, Paris, 2005.
11. Y. Ledru, S. Dupuy. RoZ, un outil intégrant UML et Z pour l'ingénierie des exigences. Approches Formelles dans l'Assistance au Développement de Logiciels, AFADL 2003, IRISA, Rennes, January 2003.
12. Y. Ledru. RoZ, un outil intégrant UML et Z pour la modélisation des systèmes d'information. Journée QSL (Qualité et Sureté du Logiciel), Nancy, 2003.
13. Y. Ledru. Panel on Future Research Directions in Automated Software Engineering. 17th International Conference on Automated Software Engineering, Edinburgh, UK, 2002.
14. Y. Ledru. The TOBIAS Test Generator and Its Adaptation to Some ASE Challenges (position paper). Workshop on the State of the Art in Automated Software Engineering, ICS Technical Report UCI-ICS-02-17, 2002.
15. Y. Ledru. Introduction à la journée ``Architecture Logicielle''. Club SEE ``Systèmes Informatiques de Confiance'', Paris, 2001.
16. P. Jacquet, Y. Ledru, X. Nicollin, M.-L. Potet. Logiciels critiques : Catalogue d'une exposition bibliographique. Technique et Science Informatique, Vol.16, No 6, 1997.
17. Y. Ledru. Utilisation de KIDS comme support pour VDM. Journée groupe ADER - Paris, 1996.
18. Y. Ledru. Enrichissement de spécifications semi-formelles avec Z. Journée groupe AFCET zéro-défaut, Paris, 1996.
19. Y. Ledru. Proof-based development of specifications with KIDS/VDM. Séminaire du Département d'Informatique, Ecole Polytechnique de Lausanne, Suisse, 1995.
20. Y. Ledru. Développement prouvé de prototypes de spécifications avec KIDS/VDM. Journée groupe ADER, Paris, 1995.
21. Y. Ledru. Utilisation pratique des spécifications formelles. Tutoriel Congrès INFORSID 95, Grenoble, 1995.
22. Y. Ledru. Utilisation pratique des spécifications formelles. Tutoriel Congrès INFORSID 96, Bordeaux, 1995.