Publications de Julien Ouy

Load the BibTeX file

Thèses de doctorat

  1. J. Ouy. Génération de code asynchrone dans un environnement polychrone pour la production de systèmes GALS. Thèse, 2008. details

Articles de journaux

  1. Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loic Besnard, Paul Le Guernic. Compositional design of isochronous systems. Science of Computer Programming, 2010. details

Chapitres de livres

  1. A. Cortier, L. Besnard, J.-P. Bodeveix, J. Buisson, F. Dagnat, M. Filali, G. Garcia, J. Ouy, M. Pantel, A. Rugina, M. Strecker, J.-P. Talpin. Synoptic : a domain-specific modeling language for space on-board application software. In Synthesis of Embedded Software, Sandeep K. Shukla, Jean-Pierre Talpin (eds.), Springer, 2010. details

Conférences internationales

  1. Jean-Pierre Talpin, Julien Ouy, Thierry Gautier, Loic Besnard, Alexandre Cortier. Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment. In Proceedings of the 2010 10th International Conference on Application of Concurrency to System Design, ACSD '10, Pages 137-146, 2010. details
  2. Julien Ouy, Jean-Pierre Talpin, Loïc Besnard, Paul Le Guernic. Separate compilation of polychronous specifications. In Formal Methods for Globally Asynchronous Locally Synchronous Design, 2007. details
  3. Jean-Pierre Talpin, Dimitru Potop-Butucaru, Julien Ouy, Benoit Caillaud. From multi-clocked synchronous specifications to latency-insensitive systems. In Embedded Software Conference (EMSOFT), ACM Press, 2005. details
  4. Julien Ouy. A survey of desynchronization in a polychronous model of computation. In Proceedings of the International Workshop on Formal Methods for Globally Asynchronous Locally Synchronous Design (FMGALS), Verona, Italy, Juillet 2005. details

Rapports de recherche

  1. Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic. Compositional design of isochronous systems. 2007. details download

Divers

  1. J. Ouy, J.-P Talpin. Transformation de modèles Synoptic vers Signal/SME. Deliverable SPa4b, Projet ANR Spacify, 2009. details

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:57:55 2012

This page is part the Espresso project web site.
It has been automatically generated using the bib2html program.