Synchronous programming with events and relations: the SIGNAL language and its semantics, Science of Computer Programming, vol.16, issue.2, pp.103-149, 1991. ,
Clock-directed modular code generation of synchronous data-flow languages, ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 2008. ,
Deterministic execution model on COTS hardware, Architecture of Computing Systems (ARCS), pp.98-110, 2012. ,
LUSTRE: A declarative language for real-time programming, Proceedings of the 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, POPL'87, pp.178-188, 1987. ,
N-synchronous kahn networks: A relaxed model of synchrony for real-time systems, SIGPLAN Notices, vol.41, issue.1, pp.180-193, 2006. ,
Algorithm 97: Shortest path, Communication of ACM, vol.5, issue.6, p.345, 1962. ,
A Synchronous Language for Critical Embedded Systems with Multiple Real-Time Constraints, 2009. ,
URL : https://hal.archives-ouvertes.fr/tel-01942421
The semantics of a simple language for parallel programming. Information Processing, pp.471-475, 1974. ,
Code Generation for Multi-Core Processor with Hard Real-Time Constraints, 2018. ,
URL : https://hal.archives-ouvertes.fr/tel-02069346
Calcul d'horloges et structures de contrôle dans Lucid Synchrone, un langage de flots synchrones à la ML, 2002. ,
Giotto: A time-triggered language for embedded programming, Embedded Software, pp.166-184, 2001. ,
Scheduling and buffer sizing of n-synchronous systems, Mathematics of Program Construction, pp.74-101, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-01508142
Lucy-n: a n-Synchronous Extension of Lustre, pp.288-309, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00545801
Multi-task implementation of multi-periodic synchronous programs, Discrete Event Dynamic Systems, vol.21, issue.3, pp.307-338, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00638936
Modèle n-synchrone pour la programmation de réseaux de Kahn à mémoire bornée, 2010. ,
Lucid Synchrone: un langage synchrone d'ordre supérieur, 2002. ,
Transformations affines d'horloges : application au codesign de systemes temps-reel en utilisant les langages Signal et Alpha, 1998. ,
A synchronous language with partial delay specification for real-time systems programming, 10th Asian Symposium on Programming Languages and Systems, pp.223-238, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00800975