Laurence RIDEAU

Organisation: INRIA

Unité de Recherche: Sophia Antipolis

Projet: CROAP

Tel : +33 93 65 78 04

Fax : +33 93 65 76 33

E-mail: Laurence.Rideau@inria.fr

Thèmes de recherche

Toutes mes activités de recherche sont axées autour du système Centaur.

Environnements de programmation interactifs,
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

Responsable de la Valorisation des Relations Industrielles( V.R.I.) à l'Unité de Recherche de Sophia-Antipolis.

Publications récentes

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.