Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, pp.677-691, 1986. ,
DOI : 10.1109/TC.1986.1676819
Dynamical systems over Galois fields and DEDS control problems, [1991] Proceedings of the 30th IEEE Conference on Decision and Control, pp.1505-1509, 1991. ,
DOI : 10.1109/CDC.1991.261653
Compilation of Polychronous Data Flow Equations, Synthesis of Embedded Software, 2010. ,
DOI : 10.1007/978-1-4419-6400-7_1
URL : https://hal.archives-ouvertes.fr/inria-00540493
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form, Proceedings of the 9th Workshop on Automated Verification of Critical Systems, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00400272
SIGALI: un systè m ed ec a l c u lf o r m e l pour la vérification de programmes SIGNAL, 1998. ,
Concurrency and automata on infinite sequences, GI-TCS 1981, pp.167-183, 1981. ,
DOI : 10.1007/BFb0017309
Designing embedded systems with the SIGNAL programming: Synchronous , Reactive Specification, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00522798
POLYCHRONY for System Design, Journal of Circuits, Systems and Computers, vol.12, issue.03, pp.261-304, 2003. ,
DOI : 10.1142/S0218126603000763
URL : https://hal.archives-ouvertes.fr/hal-00730480
A Synchronous Language at Work: The Story of Lustre, 3th ACM-IEEE International Conference on Formal Methods and Models for Codesign, 2005. ,
DOI : 10.1002/9781118459898.ch2
URL : https://hal.archives-ouvertes.fr/hal-00190883
Intensional approaches for symbolic methods, Electronic Notes in Theoretical Computer Science, 1998. ,
Formal verification of programs specified with signal: application to a power transformer station controller, Science of Computer Programming, vol.41, issue.1, pp.85-104, 2001. ,
DOI : 10.1016/S0167-6423(00)00020-4
URL : https://hal.archives-ouvertes.fr/inria-00526287
LTSs for translation validation of (multi-clocked) SIGNAL specifications, Eighth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2010), 2010. ,
DOI : 10.1109/MEMCOD.2010.5558632
URL : https://hal.archives-ouvertes.fr/hal-00555169
Symbolic abstractions of automata and their application to the supervisory control problem, pp.1-29, 1999. ,
URL : https://hal.archives-ouvertes.fr/inria-00072844
Translation Validation: From SIGNAL to C, Correct System Design, pp.231-255, 1999. ,
DOI : 10.1007/3-540-48092-7_11
Operational and Algebraic Semantics of Concurrent Processes, Lab. for Foundations of Computer Science, 1988. ,
DOI : 10.1016/B978-0-444-88074-1.50024-X
The linear time ??? Branching time spectrum II, CONCUR 1993, pp.66-81, 1993. ,
DOI : 10.1007/3-540-57208-2_6