Verimag

Lionel Morel

supervisor : F. Maraninchi - PhD 2001-2005

Exploiting Regular Structures and Local Specifications for the Correct Development of Large-Size Reactive Systems

Committee (march 16, 2005)

  • Florence Maraninchi (supervisor, VERIMAG)
  • Marc Pouzet (reviewer, LIP6, Paris)
  • Patrice Quinton (reviewer, Rennes)
  • Jean-Louis Colaço (examinator, EsterelTechnologies)
  • Jacques Chassin-de-Kergommeaux (president, Grenoble INP)

Publications

2005

  1. Exploitation des structures régulières et des spécifications locales pour le développement correct de systèmes réactifs de grande taille. Lionel Morel - [bibtex]

2004

  1. Arrays and Contracts for the Specification and Analysis of Regular Systems. Florence Maraninchi, Lionel Morel - Fourth International Conference on Application of Concurrency to System Design - [bibtex]
  2. Logical-Time Contracts for the Development of Reactive Embedded Software. Florence Maraninchi, Lionel Morel - 30th Euromicro Conference, Component-Based Software Engineering Track (ECBSE) - [bibtex]

2001

  1. Contrat d'étude ELMU. Florence Maraninchi, Lionel Morel, Yann Rémond - [bibtex]

2000

  1. Verification and test generation for the SSCOP protocol. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier - Sci. Comput. Program - [bibtex]
Voir en ligne : Personal Home Page

Contact | Plan du site | Site réalisé avec SPIP 2.1.26 + AHUNTSIC [CC License]

Visiteurs connectés : 10 ; visites : 448529