Publications 2008
Thèses de doctorat
- J. Ouy. Génération de code asynchrone dans un environnement polychrone pour la production de systèmes GALS. Thèse, 2008.
Conférences internationales
- Abdoulaye Gamatié, Thierry Gautier, Loïc Besnard. An Interval-Based Solution for Static Analysis in the SIGNAL Language. In Fifteenth IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS 2008), Proceedings, Pages 182-190, Belfast, Northern Ireland, 2008.
- B. Jose, S. Shukla, H. Patel, J.P. Talpin. On the automatic inference of synchronization logic for multi-threaded software synthesis from polychronous specifications. In ACM-IEEE Conference on Methods and Models for Codesign, 2008.
- Y. Ma, J.P. Talpin, T. Gautier. Virtual prototyping AADL architectures in a polychronous model of computation. In ACM-IEEE Conference on Methods and Models for Codesign, 2008.
- Hugo Metivier, Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic. Analysis of periodic clock relations in polychronous systems. In IFIP, Distributed Embedded Systems: Design, Middleware and Ressources (DIPES'08), Volume 271, Milano, Septembre 2008.
Rapports de recherche
- Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier. A boolean algebra of contracts for logical assume-guarantee. Rapport de recherche INRIA, 2008.
Les documents contenus dans ces répertoires sont rendus disponibles par les auteurs qui y ont contribué en vue d'assurer la diffusion à temps de travaux savants et techniques sur une base non-commerciale. Les droits de copie et autres droits sont gardés par les auteurs et par les détenteurs du copyright, en dépit du fait qu'ils présentent ici leurs travaux sous forme électronique. Les personnes copiant ces informations doivent adhérer aux termes et contraintes couverts par le copyright de chaque auteur. Ces travaux ne peuvent pas être rendus disponibles ailleurs sans la permission explicite du détenteur du copyright.
Dernières modifications Thu Mar 1 13:58:01 2012
This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.