Laurence RIDEAU

Thèmes de recherche

Toutes mes activités de recherche sont axées autour du système Centaur et sont effectuées en collaboration avec les membres du projet Croap.

• Environnements de programmation interactifs: Centaur system,
• Environnements de travail pour les systèmes de preuve: CtCoq system,
• Propriétés de programmes et de langages de programmation,
• Environnements de travail pour les systèmes symboliques (prouveur, calcul formel),
• Utilisation de Centaur comme plateforme de communication entre divers outils.

Activités d'intérêt général

Chargée du Développement et des Relations Industrielles (CDRI) à l'Unité de Recherche de Sophia-Antipolis.

Publications récentes

Laurence Rideau and Laurent Théry,
``Interactive Programming Environment for ML'',
Rapport de Recherche INRIA 3139, Mars 1997.

P. Asar, (generic name for the Project ASAR, including L. Rideau),
``Framework and Multi-Formalism: The ASAR Project'',
The Fourth International IFIP 10.5 Working Conference on Electronic Design Automation Frameworks, Gramado (Brazil), November 1994.

A.-M. Déry and L. Rideau,
``Distributed programming environments: an example of a message protocol'',
Inria Technical Report no. 165, August 1994.

I. Jacobs and L. Rideau,
``A Centaur Tutorial'',
Inria Technical Report no. 140, July 1992.

T. Bouguerba, J. Benzakki, M. Israel and L. Rideau,
"A front-end VHDL editor for synthesis tools",
proceedings VUIF'95 San-Diego - April 1995.

T. Bouguerba, J. Benzakki,M. Israel and L. Rideau,
"VHDL subsets in the SDEV environment. A Case Study : The Synopsys Subset.",
proceedings VUIF'95 Boston - pages 2.11-2.16 - October 1995

P. Asar, (generic name for the Project ASAR, including L. Rideau),
"Vers un Atelier d'accueil générique pour la Synthèse ARchitecturale bâti autour de CENTAUR : ASA"
Symposium Architectures Nouvelles de Machines - Rennes - Décember 2-3, 1995.