Yves Ledru

	2009
43		Yves Ledru, Alexandre Petrenko, Sergiy Boroday: Using String Distances for Test Case Prioritisation. ASE 2009: 510-514
42		Akram Idani, Yves Ledru, Mohamed-Amine Labiadh: Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B. INFORSID 2009: 261-276
	2008
41		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 13(4): 133-157 (2008)
	2007
40		Yves Ledru, Frédéric Dadeau, Lydie du Bousquet, Sébastien Ville, Elodie Rose: Mastering combinatorial explosion with the tobias-2 test generator. ASE 2007: 535-536
39		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. INFORSID 2007: 155-170
38		Régine Laleau, Yves Ledru, Didier Bert, Fabrice Bouquet, Michel Lemoine, Catherine Dubois, Véronique Donzeau-Gouge, Sylvie Vignes: Using Computer Science Modeling Techniques for Airport Security Certification. RCIS 2007: 61-72
37		Frédéric Dadeau, Yves Ledru, Lydie du Bousquet: Measuring a Java Test Suite Coverage Using JML Specifications. Electr. Notes Theor. Comput. Sci. 190(2): 21-32 (2007)
36		Yves Ledru, Lydie du Bousquet, Frédéric Dadeau, F. Allouti: A Case Study in Matching Test and Proof Coverage. Electr. Notes Theor. Comput. Sci. 190(2): 73-84 (2007)
35		Akram Idani, Yves Ledru: Object oriented concepts identification from formal B specifications. Formal Methods in System Design 30(3): 217-232 (2007)
34		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 26(7): 819-851 (2007)
	2006
33		Johannes Mayer, Neelam Gupta, Yves Ledru: Third International Workshop on Software Quality Assurance, SOQUA 2006, Portland, Oregon, USA, November 6, 2006 ACM 2006
32		Yves Ledru, Lydie du Bousquet: Tobias-Z: An executable formal specification of a test generator. ASE 2006: 353-354
31		Yves Ledru, Régine Laleau, Michel Lemoine, Sylvie Vignes, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux: An attempt to combine UML and formal methods to model airport security. CAiSE Forum 2006
30		Yves Ledru: A Formalisation of the Soccer Substitution Rules. ReMo2V 2006
29		Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes: Validation of Regulation Documents by Automated Analysis of Formal Models. ReMo2V 2006
28		Yves Ledru: Using Jaza to Animate RoZ Specifications of UML Class Diagrams. SEW 2006: 253-262
27		Akram Idani, Yves Ledru, Didier Bert: A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. SEW 2006: 97-106
26		Akram Idani, Yves Ledru: Dynamic graphical UML views from formal B specifications. Information & Software Technology 48(3): 154-169 (2006)
25		Régine Laleau, Sylvie Vignes, Yves Ledru, Michel Lemoine, Didier Bert, Véronique Donzeau-Gouge, Catherine Dubois, Fabien Peureux: Adopting a situational requirements engineering approach for the analysis of civil aviation security standards. Software Process: Improvement and Practice 11(5): 487-503 (2006)
	2005
24		Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru: Test of the ICARE Platform Fusion Mechanism. DSV-IS 2005: 102-113
23		Akram Idani, Yves Ledru, Didier Bert: Derivation of UML Class Diagrams as Static Views of Formal B Developments. ICFEM 2005: 37-51
22		Mehdi Kessis, Yves Ledru, Gérard Vandome: Experiences in coverage testing of a Java middleware. SEM 2005: 39-45
21		Akram Idani, Yves Ledru: Object Oriented Concepts Identification from Formal B Specifications. Electr. Notes Theor. Comput. Sci. 133: 159-174 (2005)
	2004
20		Lydie du Bousquet, Yves Ledru, Olivier Maury, Catherine Oriat, Jean-Louis Lanet: Case Study in JML-Based Software Validation. ASE 2004: 294-297
19		Yves Ledru, Sophie Dupuy-Chessa, Hind Fadil: Towards Computer-aided Design of OCL Constraints. CAiSE Workshops (1) 2004: 329-338
18		Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron: Filtering TOBIAS Combinatorial Test Suites. FASE 2004: 281-294
	2002
17		Yves Ledru, David F. Redmiles: Report on the Workshop on the State of the Art in Automated Software Engineering. ASE 2002: 307-
	2001
16		Yves Ledru, Lydie du Bousquet, Pierre Bontron, Olivier Maury, Catherine Oriat, Marie-Laure Potet: Test Purposes: Adapting the Notion of Specification to Testing. ASE 2001: 127-134
15		Rémy Sanlaville, Jean-Marie Favre, Yves Ledru: Helping Various Stakeholders to Understand a Very Large Component-Based Software. EUROMICRO 2001: 104-
	2000
14		Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud: An Overview of RoZ: A Tool for Integrating UML and Z Specifications. CAiSE 2000: 417-430
13		Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud: Vers une intégration utile de notations semi-formelles et formelles : une expérience en UML et Z. L'OBJET 6(1): (2000)
	1999
12		Christopher A. Welty, Michael R. Lowry, Yves Ledru: Guest Editorial. Autom. Softw. Eng. 6(4): 327-328 (1999)
	1998
11		Yves Ledru: Identifying Pre-Conditions with the Z/EVES Theorem Prover. ASE 1998: 32-
10		Sophie Dupuy, Yves Ledru, Monique Chabre-Peccoud: Translating the OMT Dynamic Model into Object-Z. ZUM 1998: 347-366
	1997
9		Yves Ledru: Specification and Animation of a Bank Transfer using KIDS/VDM. Autom. Softw. Eng. 4(1): 33-51 (1997)
	1996
8		Yves Ledru: Using KIDS as a Tool Support for VDM. ICSE 1996: 236-245
	1995
7		Yves Ledru, Marie-Laure Potet: A VDM Specification of the Steam-Boiler Problem. Formal Methods for Industrial Applications 1995: 283-317
6		Yves Ledru: Specification and Animation of a Bank Transfer. KBSE 1995: 192-199
	1994
5		Yves Ledru: Proof-Based Development of Specifications with KIDS/VDM. FME 1994: 214-232
	1993
4		Yves Ledru: Developing Reactive Systems in a VDM Framework. Sci. Comput. Program. 20(1-2): 51-71 (1993)
	1991
3		Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens: An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. Commun. ACM 34(5): 62-71, 87 (1991)
	1990
2		Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens: An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. ICSE 1990: 34-42
1		Christine Lafontaine, Yves Ledru, Pierre-Yves Schobbens: Two Approaches towards the Formalisation of VDM. VDM Europe 1990: 370-398

Coauthor Index

1	F. Allouti	[36]
2	Didier Bert	[23] [25] [27] [29] [31] [34] [38]
3	Pierre Bontron	[16] [18]
4	Sergiy Boroday	[43]
5	Jullien Bouchet	[24]
6	Fabrice Bouquet	[29] [38]
7	Lydie du Bousquet	[16] [18] [20] [24] [32] [36] [37] [40]
8	Monique Chabre-Peccoud	[10] [13] [14]
9	Frédéric Dadeau	[36] [37] [40]
10	Véronique Donzeau-Gouge	[25] [31] [38]
11	Catherine Dubois	[25] [31] [38]
12	Sophie Dupuy-Chessa (Sophie Dupuy)	[10] [13] [14] [19] [24]
13	Hind Fadil	[19]
14	Jean-Marie Favre	[15]
15	Neelam Gupta	[33]
16	Akram Idani	[21] [23] [26] [27] [34] [35] [42]
17	Mehdi Kessis	[22]
18	Mohamed-Amine Labiadh	[42]
19	Christine Lafontaine	[1] [2] [3]
20	Régine Laleau (Regine Laleau)	[25] [31] [38] [39] [41]
21	Jean-Louis Lanet	[20]
22	Michel Lemoine	[25] [31] [38]
23	Michael R. Lowry	[12]
24	Olivier Maury	[16] [18] [20]
25	Johannes Mayer	[33]
26	Catherine Oriat	[16] [20]
27	Alexandre Petrenko	[43]
28	Fabien Peureux	[25] [31]
29	Marie-Laure Potet	[7] [16]
30	David F. Redmiles	[17]
31	Elodie Rose	[40]
32	Rémy Sanlaville	[15]
33	Pierre-Yves Schobbens	[1] [2] [3]
34	Gérard Vandome	[22]
35	Sylvie Vignes	[25] [29] [31] [38] [39] [41]
36	Sébastien Ville	[40]
37	Christopher A. Welty	[12]

Colors in the list of coauthors