The synchronous approach to reactive and real-time systems, Proceedings of the IEEE, pp.1270-1282, 1991. ,
URL : https://hal.archives-ouvertes.fr/inria-00075115
Clock-directed modular code generation for synchronous data-flow languages, LCTES, pp.121-130, 2008. ,
Compiler test case generation methods: a survey and assessment, Information and Software Technology, vol.39, issue.9, pp.617-625, 1997. ,
Lustre: A declarative language for programming synchronous systems, POPL 1987, pp.178-188, 1987. ,
Scaling up the formal verification of Lustre programs with SMT-based techniques, pp.109-117, 2008. ,
PKind: a parallel k-induction based model checker, PDMC. EPTCS, vol.72, pp.55-62, 2011. ,
Formal verification of a realistic compiler, Communications of the ACM, vol.52, issue.7, pp.107-115, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00415861
Translation validation for an optimizing compiler, SIGPLAN Not, vol.35, issue.5, pp.83-94, 2000. ,
Observable modified condition/decision coverage, ICSE 2013, pp.102-111, 2013. ,