Abstract is missing.
- Compilation of Polychronous Data Flow EquationsLoïc Besnard, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. 1-40 [doi]
- Formal Modeling of Embedded Systems with Explicit Schedules and RoutesJulien Boucaron, Anthony Coadou, Robert de Simone. 41-78 [doi]
- Synoptic: A Domain-Specific Modeling Language for Space On-board Application SoftwareAlexandre Cortier, Loïc Besnard, Jean-Paul Bodeveix, Jérémy Buisson, Fabien Dagnat, Mamoun Filali, G. Garcia, Julien Ouy, Marc Pantel, A. Rugina, Martin Strecker, Jean-Pierre Talpin. 79-119 [doi]
- Compiling SHIMStephen A. Edwards, Nalini Vasudevan. 121-146 [doi]
- A Module Language for Typing SIGNAL Programs by ContractsYann Glouche, Thierry Gautier, Paul Le Guernic, Jean-Pierre Talpin. 147-171 [doi]
- MRICDF: A Polychronous Model for Embedded Software SynthesisBijoy Antony Jose, Sandeep K. Shukla. 173-199 [doi]
- The Time Model of Logical Clocks Available in the OMG MARTE ProfileCharles André, Julien DeAntoni, Frédéric Mallet, Robert de Simone. 201-227 [doi]
- From Synchronous Specifications to Statically Scheduled Hard Real-Time ImplementationsDumitru Potop-Butucaru, Robert de Simone, Yves Sorel. 229-262 [doi]