Yves Ledru

2008
41	EE	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	EE	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	EE	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	EE	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	EE	Akram Idani, Yves Ledru: Object oriented concepts identification from formal B specifications. Formal Methods in System Design 30(3): 217-232 (2007)
34	EE	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	EE	Yves Ledru, Lydie du Bousquet: Tobias-Z: An executable formal specification of a test generator. ASE 2006: 353-354
31	EE	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	EE	Yves Ledru: A Formalisation of the Soccer Substitution Rules. ReMo2V 2006
29	EE	Didier Bert, Fabrice Bouquet, Yves Ledru, Sylvie Vignes: Validation of Regulation Documents by Automated Analysis of Formal Models. ReMo2V 2006
28	EE	Yves Ledru: Using Jaza to Animate RoZ Specifications of UML Class Diagrams. SEW 2006: 253-262
27	EE	Akram Idani, Yves Ledru, Didier Bert: A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. SEW 2006: 97-106
26	EE	Akram Idani, Yves Ledru: Dynamic graphical UML views from formal B specifications. Information & Software Technology 48(3): 154-169 (2006)
25	EE	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	EE	Sophie Dupuy-Chessa, Lydie du Bousquet, Jullien Bouchet, Yves Ledru: Test of the ICARE Platform Fusion Mechanism. DSV-IS 2005: 102-113
23	EE	Akram Idani, Yves Ledru, Didier Bert: Derivation of UML Class Diagrams as Static Views of Formal B Developments. ICFEM 2005: 37-51
22	EE	Mehdi Kessis, Yves Ledru, Gérard Vandome: Experiences in coverage testing of a Java middleware. SEM 2005: 39-45
21	EE	Akram Idani, Yves Ledru: Object Oriented Concepts Identification from Formal B Specifications. Electr. Notes Theor. Comput. Sci. 133: 159-174 (2005)
2004
20	EE	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	EE	Yves Ledru, Lydie du Bousquet, Olivier Maury, Pierre Bontron: Filtering TOBIAS Combinatorial Test Suites. FASE 2004: 281-294
2002
17	EE	Yves Ledru, David F. Redmiles: Report on the Workshop on the State of the Art in Automated Software Engineering. ASE 2002: 307-
2001
16	EE	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	EE	Rémy Sanlaville, Jean-Marie Favre, Yves Ledru: Helping Various Stakeholders to Understand a Very Large Component-Based Software. EUROMICRO 2001: 104-
2000
14	EE	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	EE	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	EE	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	Jullien Bouchet	[24]
5	Fabrice Bouquet	[29] [38]
6	Lydie du Bousquet	[16] [18] [20] [24] [32] [36] [37] [40]
7	Monique Chabre-Peccoud	[10] [13] [14]
8	Frédéric Dadeau	[36] [37] [40]
9	Véronique Donzeau-Gouge	[25] [31] [38]
10	Catherine Dubois	[25] [31] [38]
11	Sophie Dupuy-Chessa (Sophie Dupuy)	[10] [13] [14] [19] [24]
12	Hind Fadil	[19]
13	Jean-Marie Favre	[15]
14	Neelam Gupta	[33]
15	Akram Idani	[21] [23] [26] [27] [34] [35]
16	Mehdi Kessis	[22]
17	Christine Lafontaine	[1] [2] [3]
18	Régine Laleau (Regine Laleau)	[25] [31] [38] [39] [41]
19	Jean-Louis Lanet	[20]
20	Michel Lemoine	[25] [31] [38]
21	Michael R. Lowry	[12]
22	Olivier Maury	[16] [18] [20]
23	Johannes Mayer	[33]
24	Catherine Oriat	[16] [20]
25	Fabien Peureux	[25] [31]
26	Marie-Laure Potet	[7] [16]
27	David F. Redmiles	[17]
28	Elodie Rose	[40]
29	Rémy Sanlaville	[15]
30	Pierre-Yves Schobbens	[1] [2] [3]
31	Gérard Vandome	[22]
32	Sylvie Vignes	[25] [29] [31] [38] [39] [41]
33	Sébastien Ville	[40]
34	Christopher A. Welty	[12]

Colors in the list of coauthors