Search the dblp DataBase
Yves Ledru :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Sophie Dupuy , Yves Ledru , Monique Chabre-Peccoud An Overview of RoZ: A Tool for Integrating UML and Z Specifications. [Citation Graph (0, 0)][DBLP ] CAiSE, 2000, pp:417-430 [Conf ] Yves Ledru , Sophie Dupuy-Chessa , Hind Fadil Towards Computer-aided Design of OCL Constraints. [Citation Graph (0, 0)][DBLP ] CAiSE Workshops (1), 2004, pp:329-338 [Conf ] Yves Ledru , Marie-Laure Potet A VDM Specification of the Steam-Boiler Problem. [Citation Graph (0, 0)][DBLP ] Formal Methods for Industrial Applications, 1995, pp:283-317 [Conf ] Sophie Dupuy-Chessa , Lydie du Bousquet , Jullien Bouchet , Yves Ledru Test of the ICARE Platform Fusion Mechanism. [Citation Graph (0, 0)][DBLP ] DSV-IS, 2005, pp:102-113 [Conf ] Mehdi Kessis , Yves Ledru , Gérard Vandome Experiences in coverage testing of a Java middleware. [Citation Graph (0, 0)][DBLP ] SEM, 2005, pp:39-45 [Conf ] Rémy Sanlaville , Jean-Marie Favre , Yves Ledru Helping Various Stakeholders to Understand a Very Large Component-Based Software. [Citation Graph (0, 0)][DBLP ] EUROMICRO, 2001, pp:104-0 [Conf ] Yves Ledru , Lydie du Bousquet , Olivier Maury , Pierre Bontron Filtering TOBIAS Combinatorial Test Suites. [Citation Graph (0, 0)][DBLP ] FASE, 2004, pp:281-294 [Conf ] Christine Lafontaine , Yves Ledru , Pierre-Yves Schobbens Two Approaches towards the Formalisation of VDM. [Citation Graph (0, 0)][DBLP ] VDM Europe, 1990, pp:370-398 [Conf ] Yves Ledru Proof-Based Development of Specifications with KIDS/VDM. [Citation Graph (0, 0)][DBLP ] FME, 1994, pp:214-232 [Conf ] Akram Idani , Yves Ledru , Didier Bert Derivation of UML Class Diagrams as Static Views of Formal B Developments. [Citation Graph (0, 0)][DBLP ] ICFEM, 2005, pp:37-51 [Conf ] Christine Lafontaine , Yves Ledru , Pierre-Yves Schobbens An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. [Citation Graph (0, 0)][DBLP ] ICSE, 1990, pp:34-42 [Conf ] Yves Ledru Using KIDS as a Tool Support for VDM. [Citation Graph (0, 0)][DBLP ] ICSE, 1996, pp:236-245 [Conf ] Lydie du Bousquet , Yves Ledru , Olivier Maury , Catherine Oriat , Jean-Louis Lanet Case Study in JML-Based Software Validation. [Citation Graph (0, 0)][DBLP ] ASE, 2004, pp:294-297 [Conf ] Yves Ledru Specification and Animation of a Bank Transfer. [Citation Graph (0, 0)][DBLP ] KBSE, 1995, pp:192-199 [Conf ] Yves Ledru Identifying Pre-Conditions with the Z/EVES Theorem Prover. [Citation Graph (0, 0)][DBLP ] ASE, 1998, pp:32-0 [Conf ] Yves Ledru , Lydie du Bousquet Tobias-Z: An executable formal specification of a test generator. [Citation Graph (0, 0)][DBLP ] ASE, 2006, pp:353-354 [Conf ] Yves Ledru , Lydie du Bousquet , Pierre Bontron , Olivier Maury , Catherine Oriat , Marie-Laure Potet Test Purposes: Adapting the Notion of Specification to Testing. [Citation Graph (0, 0)][DBLP ] ASE, 2001, pp:127-134 [Conf ] Yves Ledru , David F. Redmiles Report on the Workshop on the State of the Art in Automated Software Engineering. [Citation Graph (0, 0)][DBLP ] ASE, 2002, pp:307-0 [Conf ] Sophie Dupuy , Yves Ledru , Monique Chabre-Peccoud Translating the OMT Dynamic Model into Object-Z. [Citation Graph (0, 0)][DBLP ] ZUM, 1998, pp:347-366 [Conf ] Akram Idani , Yves Ledru , Didier Bert A Reverse-Engineering Approach to Understanding B Specifications with UML Diagrams. [Citation Graph (0, 0)][DBLP ] SEW, 2006, pp:97-106 [Conf ] Yves Ledru Using Jaza to Animate RoZ Specifications of UML Class Diagrams. [Citation Graph (0, 0)][DBLP ] SEW, 2006, pp:253-262 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] RCIS, 2007, pp:61-72 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] L'OBJET, 2000, v:6, n:1, pp:- [Journal ] Yves Ledru Specification and Animation of a Bank Transfer using KIDS/VDM. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 1997, v:4, n:1, pp:33-51 [Journal ] Christopher A. Welty , Michael R. Lowry , Yves Ledru Guest Editorial. [Citation Graph (0, 0)][DBLP ] Autom. Softw. Eng., 1999, v:6, n:4, pp:327-328 [Journal ] Christine Lafontaine , Yves Ledru , Pierre-Yves Schobbens An Experiment in Formal Software Development: Using the B Theorem Prover on a VDM Case Study. [Citation Graph (0, 0)][DBLP ] Commun. ACM, 1991, v:34, n:5, pp:62-71 [Journal ] Akram Idani , Yves Ledru Object Oriented Concepts Identification from Formal B Specifications. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2005, v:133, n:, pp:159-174 [Journal ] Akram Idani , Yves Ledru Dynamic graphical UML views from formal B specifications. [Citation Graph (0, 0)][DBLP ] Information & Software Technology, 2006, v:48, n:3, pp:154-169 [Journal ] Yves Ledru Developing Reactive Systems in a VDM Framework. [Citation Graph (0, 0)][DBLP ] Sci. Comput. Program., 1993, v:20, n:1-2, pp:51-71 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] Software Process: Improvement and Practice, 2006, v:11, n:5, pp:487-503 [Journal ] 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. [Citation Graph (0, 0)][DBLP ] CAiSE Forum, 2006, pp:- [Conf ] 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. [Citation Graph (0, 0)][DBLP ] INFORSID, 2007, pp:155-170 [Conf ] Frédéric Dadeau , Yves Ledru , Lydie du Bousquet Measuring a Java Test Suite Coverage Using JML Specifications. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:21-32 [Journal ] Yves Ledru , Lydie du Bousquet , Frédéric Dadeau , F. Allouti A Case Study in Matching Test and Proof Coverage. [Citation Graph (0, 0)][DBLP ] Electr. Notes Theor. Comput. Sci., 2007, v:190, n:2, pp:73-84 [Journal ] Akram Idani , Yves Ledru Object oriented concepts identification from formal B specifications. [Citation Graph (0, 0)][DBLP ] Formal Methods in System Design, 2007, v:30, n:3, pp:217-232 [Journal ] Validation of Regulation Documents by Automated Analysis of Formal Models. [Citation Graph (, )][DBLP ] A Formalisation of the Soccer Substitution Rules. [Citation Graph (, )][DBLP ] Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B. [Citation Graph (, )][DBLP ] Mastering combinatorial explosion with the tobias-2 test generator. [Citation Graph (, )][DBLP ] Using String Distances for Test Case Prioritisation. [Citation Graph (, )][DBLP ] Search in 0.004secs, Finished in 0.006secs