 | 2012 |
| 13 |  | Jean-Pierre Talpin,
Julien Ouy,
Thierry Gautier,
Loïc Besnard,
Paul Le Guernic:
Compositional design of isochronous systems.
Sci. Comput. Program. 77(2): 113-128 (2012) |
| 2011 |
| 12 |  | Huafeng Yu,
Jean-Pierre Talpin,
Loïc Besnard,
Thierry Gautier,
Hervé Marchand,
Paul Le Guernic:
Polychronous controller synthesis from MARTE CCSL timing specifications.
MEMOCODE 2011: 21-30 |
| 11 |  | Huafeng Yu,
Yue Ma,
Yann Glouche,
Jean-Pierre Talpin,
Loïc Besnard,
Thierry Gautier,
Paul Le Guernic,
Andres Toom,
Odile Laurent:
System-level co-simulation of integrated avionics using polychrony.
SAC 2011: 354-359 |
| 2010 |
| 10 |  | Jean-Pierre Talpin,
Julien Ouy,
Thierry Gautier,
Loïc Besnard,
Alexandre Cortier:
Modular Interpretation of Heterogeneous Modeling Diagrams into Synchronous Equations Using Static Single Assignment.
ACSD 2010: 137-146 |
| 9 |  | Julio C. Peralta,
Thierry Gautier,
Loïc Besnard,
Paul Le Guernic:
LTSs for translation validation of (multi-clocked) SIGNAL specifications.
MEMOCODE 2010: 199-208 |
| 2009 |
| 8 |  | Loïc Besnard,
Thierry Gautier,
Julien Ouy,
Jean-Pierre Talpin,
Jean-Paul Bodeveix,
Alexandre Cortier,
Marc Pantel,
Martin Strecker,
G. Garcia,
A. Rugina,
Jérémy Buisson,
Fabien Dagnat:
Polychronous Interpretation of Synoptic, a Domain Specific Modeling Language for Embedded Flight-Software
FMA 2009: 80-87 |
| 7 |  | Loïc Besnard,
Thierry Gautier,
Matthieu Moy,
Jean-Pierre Talpin,
Kenneth Johnson,
Florence Maraninchi:
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form.
ECEASST 23: (2009) |
| 2008 |
| 6 |  | Jean-Pierre Talpin,
Julien Ouy,
Loïc Besnard,
Paul Le Guernic:
Compositional design of isochronous systems.
DATE 2008: 928-933 |
| 5 |  | Abdoulaye Gamatié,
Thierry Gautier,
Loïc Besnard:
An Interval-Based Solution for Static Analysis in the SIGNAL Language.
ECBS 2008: 182-190 |
| 4 |  | Julien Ouy,
Jean-Pierre Talpin,
Loïc Besnard,
Paul Le Guernic:
Separate Compilation of Polychronous Specifications.
Electr. Notes Theor. Comput. Sci. 200(1): 51-70 (2008) |
| 2006 |
| 3 |  | Hamoudi Kalla,
Jean-Pierre Talpin,
David Berner,
Loïc Besnard:
Automated Translation of C/C++ Models into a Synchronous Formalism.
ECBS 2006: 426-436 |
| 2004 |
| 2 |  | Abdoulaye Gamatié,
Thierry Gautier,
Loïc Besnard:
Modeling of Avionics Applications and Performance Evaluation Techniques Using the Synchronous Language SIGNAL.
Electr. Notes Theor. Comput. Sci. 88: 87-103 (2004) |
| 1995 |
| 1 |  | Pascalin Amagbégnon,
Loïc Besnard,
Paul Le Guernic:
Implementation of the Data-Flow Synchronous Language SIGNAL.
PLDI 1995: 163-173 |