The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Yves Ledru: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Yves Ledru
    Proof-Based Development of Specifications with KIDS/VDM. [Citation Graph (0, 0)][DBLP]
    FME, 1994, pp:214-232 [Conf]
  10. 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]
  11. 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]
  12. Yves Ledru
    Using KIDS as a Tool Support for VDM. [Citation Graph (0, 0)][DBLP]
    ICSE, 1996, pp:236-245 [Conf]
  13. 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]
  14. Yves Ledru
    Specification and Animation of a Bank Transfer. [Citation Graph (0, 0)][DBLP]
    KBSE, 1995, pp:192-199 [Conf]
  15. Yves Ledru
    Identifying Pre-Conditions with the Z/EVES Theorem Prover. [Citation Graph (0, 0)][DBLP]
    ASE, 1998, pp:32-0 [Conf]
  16. 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]
  17. 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]
  18. 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]
  19. 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]
  20. 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]
  21. Yves Ledru
    Using Jaza to Animate RoZ Specifications of UML Class Diagrams. [Citation Graph (0, 0)][DBLP]
    SEW, 2006, pp:253-262 [Conf]
  22. 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]
  23. 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]
  24. 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]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  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. [Citation Graph (0, 0)][DBLP]
    CAiSE Forum, 2006, pp:- [Conf]
  32. 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]
  33. 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]
  34. 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]
  35. 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]

  36. Validation of Regulation Documents by Automated Analysis of Formal Models. [Citation Graph (, )][DBLP]


  37. A Formalisation of the Soccer Substitution Rules. [Citation Graph (, )][DBLP]


  38. Ingénierie Dirigée par les Modèles pour une intégration efficace de UML et B. [Citation Graph (, )][DBLP]


  39. Mastering combinatorial explosion with the tobias-2 test generator. [Citation Graph (, )][DBLP]


  40. Using String Distances for Test Case Prioritisation. [Citation Graph (, )][DBLP]


Search in 0.020secs, Finished in 0.021secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002