Yves Ledru : Publications

Here are three ways to access my list of publications:


PDF files of some of my older publications listed in chronological order. (if you are interested in articles not available here, please send me an email).

M. Kessis, Y. Ledru, and G. Vandome. Experiences in Coverage Testing of a Java Middleware.
In
Fifth Int. Workshop on Software Engineering and Middleware (SEM 2005),  pages 39–45,
Lisbon, September 2005. ACM Press.
(PDF) The original publication is available at http://doi.acm.org/10.1145/1108473.1108483

S. Dupuy-Chessa, L. du Bousquet, J. Bouchet and Y. Ledru, Test of the ICARE platform fusion mechanism, In Proceedings of DSVIS'05 - Int. Workshop on Design Specification and Verification of Interactive Systems, to appear as LNCS, Springer Verlag, Newcastle, July 2005 (PDF). The original publication will be available at http://www.springerlink.com.

 L. du Bousquet, Y. Ledru, O. Maury, C. Oriat, J.-L. Lanet A case study in JML-based software validation. In (short paper) Proceedings of 19th Int. IEEE Conf. on Automated Sofware Engineering (ASE’04), IEEE Computer Society Press, Linz, Sep. 2004 (PDF) The original publication is available at .http://www.computer.org

A. Idani, Y. Ledru Object Oriented Concepts Identification from Formal B Specifications. In Proceedings of 9th Int.Workshop on Formal Methods for Industrial Critical Systems (FMICS’04), Linz, Sep. 2004 (PDF) (to appear as ENTCS volume)

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, Riga, June 2004 (PDF)

Y. Ledru, L. du Bousquet, O. Maury, and P. Bontron. Filtering TOBIAS combinatorial test suites. In Proceedings of ETAPS/FASE’04 - Fundamental Approaches to Software Engineering, Vol. 2984 of LNCS, Springer-Verlag, Barcelona, 2004 (PDF) The original publication is available at http://www.springerlink.com.

Y. Ledru, L. du Bousquet, P. Bontron, O. Maury, C. Oriat, and M.-L. Potet. Test purposes: adapting the notion of specification to testing. In Proceedings of the 16th International Conference on Automated Software Engineering, IEEE Computer Society Press, San Diego, 2001 (PDF) The original publication is available at .http://www.computer.org

R. Sanlaville, J.-M. Favre, and Y. Ledru. Helping Various Stakeholders to Understand a Very Large Component-Based Software. In Euromicro Workshop on Component-Based Software Engineering, IEEE Computer Society Press, Warsaw, 2001. The original publication is available at .http://www.computer.org

S. Dupuy, Y. Ledru, and 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, volume 1789 of Lecture Notes in Computer Science, Springer-Verlag, Stockholm, 2000. (PDF) The original publication is available at http://www.springerlink.com.

S. Dupuy, Y. Ledru, and M. Chabre-Peccoud. Translating the OMT dynamic model into Object-Z. In Proceedings of the International Conference of Z Users - ZUM’98, Volume 1493 of Lecture Notes in Computer Science, Springer-Verlag, Berlin, 1998. The original publication is available at http://www.springerlink.com.

Y. Ledru. Identifying pre-conditions with the Z/EVES theorem prover. In Proceedings of the 13th International Conference on Automated Software Engineering. IEEE Computer Society Press, Honolulu, 1998 (PDF) The original publication is available at .http://www.computer.org

Y. Ledru. Using KIDS as a tool support for VDM. In Proceedings of the 18th International Conference on Software Engineering, pages 236–245. IEEE Computer Society Press, Berlin, 1996. The original publication is available at .http://www.computer.org

Y. Ledru. Complementing semi-formal specifications with Z. In Proceedings of the 11th Knowledge-Based Software Engineering Conference. IEEE Computer Society Press, Syracuse (NY), 1996. The original publication is available at .http://www.computer.org

Y. Ledru. Specification and animation of a bank transfer. In Proceedings of the 10th Knowledge-Based Software Engineering Conference, pages 192–199. IEEE Computer Society Press, Boston, 1995. The original publication is available at .http://www.computer.org

Y. Ledru. Hierarchical Specification of Reactive Systems : a case study. In Proceedings of the CompEuro’90 Conference, pages 109–116. IEEE Computer Society Press, Tel-Aviv, 1990.(PDF of the scanned article)