Institute Name:Laboratoire Logiciels Systemes Reseaux (LSR-IMAG)
Description: The LSR Laboratory is a joint laboratory of the french National Center for Scientific Research (CNRS), the Universite Joseph Fourier, and the National Polytechnic Institute of Grenoble (INPG).
It groups 30 academic staff, 9 researchers, 19 technical and administrative staff and 30 PhD Students.
Its research is structured along two main axes:
- Mastering Software Development activities : this axis groups research teams in software engineering and in logic programming.
- Mastering Information Systems and Networks : this axis groups research teams in Information Systems Design and Support, Multimedia, and Networks.
Our group, the PFL group (Programmation Fiable de Logiciels - Safe Software Programming), focuses on the use of formal methods in the validation activities of the software life-cycle. These activities include the integration of natural language techniques, graphical formalisms and formal methods for requirements specification (Champollion project) and the automatic generation of tests suites from formal specifications for reactive systems.
Researchers associated with the project:
Prof. Yves Ledru
Prof. Paul Jacquet
Dr Pierre Berlioux
Ms Sophie Dupuy
Mr Eric Cheminot
Brief CVs of Key Researchers:
Name: Yves Ledru (Prof.)
Nationality: Belgian
Email: Yves.Ledru@imag.fr
Home page:http://www-lsr.imag.fr/Les.Personnes/Yves.Ledru/
Academic Qualifications & Experience:
Electrical Engineer from the Facult‚ Polytechnique de Mons (Belgium),
Ph.D. in Applied Sciences (Computer Science) from the Universite
Catholique de Louvain (Belgium).
Since 1993, Professor of Computer Science at the Universite Joseph
Fourier (Grenoble - France),
From 1992-93, Premier Assistant at the Faculte Polytechnique de Mons
(Belgium),
From 1984-92, Researcher at the Universite Catholique de Louvain
(Belgium) on several national and European projects (including the ESPRIT
ToolUse project).
Member of the steering committee of the IEEE International Conference on
Automated Software Engineering (Programme Committee co-chair for ASE'97,
General Chair for ASE'2000).
Name: Sophie Dupuy
Nationality: French
Email:Sophie.Dupuy@imag.fr
Home page:http://www-lsr.imag.fr/Les.Personnes/Sophie.Dupuy/
Academic Qualifications & Experience:
MSc in Information System Management, MSc in Computer Science (Universit‚
Joseph Fourier, Grenoble); currently teaching assistant and PhD student in
Computer Science at the Universite Joseph Fourier (Grenoble - France)
where she works on the integration of graphical (semi-formal) and formal
notations for Information Systems Analysis and Design.
Selected Publications:
S. Dupuy, Y. Ledru, and M. Chabre-Peccoud. Integrating OMT and Object-Z. In K. Lano (eds) A. Evans, editor, Proceedings of BCS FACS/EROS ROOM Workshop, technical report GR/K67311-2, Dept. of Computing, Imperial College, 180 Queens Gate, London, UK, June 1997.
S. Dupuy, Y. Ledru, and M. Chabre-Peccoud. Translating the OMT dynamic model into Object-Z. In 11th Z User Meeting, LNCS,Berlin, Springer, Septembre 1998.
Y. Ledru. Complementing semi-formal specifications with Z. In Proceedings of the 11th Knowledge-Based Software Engineering Conference, pages 52-61. IEEE Computer Society Press, September 1996.
Y. Ledru. Using KIDS as a Tool Support for VDM. In Proceedings of the 18th International Conference on Software Engineering, pages 236-245, Berlin (Germany), 1996. IEEE Computer Society Press.
Y. Ledru. Specification and animation of a bank transfer using KIDS/VDM. Automated Software Engineering, 4:33-51, Kluwer, 1997.
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, october 1998.
Y. Ledru and M.-L. Potet. A VDM specification of the steam-boiler problem. In Steam- Boiler Case Study, volume 1165 of LNCS, pages 283-317. Springer, 1996.
Contact Details:
Principal Investigator: Yves Ledru (Prof.)
Address: BP 72, F-38402 Grenoble cedex, France
Telephone number: +33 4 76 82 72 14
Telefax number: +33 4 76 82 72 14
EMail:Yves.Ledru@imag.fr