Publications 2007
Articles de journaux
- Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. Polychronous Design of Embedded Real-Time Applications. ACM Transactions on Software Engineering and Methodology (TOSEM), 2007.
- Abdoulaye Gamatié, Thierry Gautier, Paul Le Guernic. Synchronous Design of Avionic Applications based on Model Refinements. Journal of Embedded Computing, 2007.
- Lionel Morel. Array Iterators in Lustre: from a language extension to its exploitation in validation. EURASIP Journal of Embedded Computing, 2007.
Conférences internationales
- P. Bostrm, L. Morel, M. Walden. Stepwise development of Simulink models using the refinement calculus framework. In International Colloquium on Theoretical Aspects of Computing, 2007.
- Lionel Morel, Louis Mandel. Executable Contracts for Incremental Prototypes of Embedded Systems. In Workshop on Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007.
- 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.
- Sandeep Shukla, Sihed Suhaib, Deepak Mathaikutty, Jean-Pierre Talpin. On the polychronous approach to embedded software design. In Next generation design and verification methodologies for distributed embedded systems, 2007.
Rapports de recherche
- Jean-Pierre Talpin, Julien Ouy, Loïc Besnard, Paul Le Guernic. Compositional design of isochronous systems. 2007. download
Divers
- Erik Herzog, Eldad Palachi, Masoud Zarkari, Thierry Gautier, Susanne Graf, Michael Winokur, Vered Gafni. Assessment of Existing Standards. Deliverable D.2.5.1, 2007.
- Object Management Group Management Group. A UML Profile for MARTE, Beta 1. Document n. ptc/07-08-04, 2007. download
- Julio Peralta. Bridging Signal with the CADP model checker, a preliminary study. Deliverable F342, 2007.
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.