Team aoste

Overall Objectives
Scientific Foundations
Application Domains
New Results
Contracts and Grants with Industry
Other Grants and Activities

Section: Other Grants and Activities

Research exchange visits

Participants : Julien Boucaron, Luca Carloni, Robert de Simone, Stephen Edwards, Dumitru Potop, Olivier Tardieu.

We started a collaboration with the research group of Stephen Edwards at Columbia University (New York), under the INRIA Associated Team exchange program. Stephen Edwards and Olivier Tardieu came to visit our team in June/July, while Julien Boucaron and Robert de Simone went to New York in september. Dumitru Potop went to Columbia in december.

The work in this collaboration is mainly focused on teh mathematical semantics of synchronous languages [47] , and its extension to GALS systems. Efficient compilation schemes are also tackled. A book on Esterel semantics is under preparation.


Logo Inria