Curing schizophrenia by program rewriting in esterel In Formal Methods and Models for Co-Design, Proceedings. Second ACM and IEEE International Conference on, pp.39-48, 2004. ,
On the symbolic analysis of combinational loops in circuits and synchronous programs, Euromicro'95, 1995. ,
Programming real time applications with SIGNAL, Proc. of the IEEE, pp.1321-1335, 1991. ,
URL : https://hal.archives-ouvertes.fr/inria-00540460
Distributed implementation of SIGNAL: Scheduling & graph clustering, Lec. Notes in Comp. Sc., volume, 1994. ,
DOI : 10.1007/3-540-58468-4_183
URL : https://hal.archives-ouvertes.fr/hal-00544101
Synchronous distribution of SIGNAL programs, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences ,
DOI : 10.1109/HICSS.1996.495517
URL : https://hal.archives-ouvertes.fr/hal-00544057
An Alternative Polychronous Model and Synthesis Methodology for Model-Driven Embedded Software, Proc. of 15th Asia and South Pacific Design Automation Conference(ASPDAC), pp.13-18, 2010. ,
MRICDF : A polychronous Model for Embedded Software Synthesis Springer: Synthesis of embedded software -frameworks and methodologies for correctness by construction software design, 2010. ,
Programming real-time applications with signal, Proc. of the IEEE, pp.1321-1336, 1991. ,
Compositional design of isochronous systems, Design, Automation and Test in Europe (DATE'08), pp.928-933, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00156499
New Techniques for Sequential Software Synthesis from a Polychronous Data Flow Formalism, 2011. ,
From program verification to program synthesis, Proc.of the 37th ACM SIGPLAN-SIGACT symp. on Principles of programming languages, POPL'10, pp.313-326, 2010. ,
Satisfiability Modulo Theories: An Appetizer, Lecture Notes in Computer Science, vol.5902, pp.23-36, 2009. ,
DOI : 10.1007/978-3-642-10452-7_3
SMT-COMP: Satisfiability Modulo Theories Competition, 2010. ,
DOI : 10.1007/11513988_4
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.571.2038
Prime Implicate Tries, Proc. of 18th Intl. Conf. on Automated Reasoning with Analytic Tableaux and Related Methods, 2009. ,
DOI : 10.1007/978-3-642-02716-1_19
Faster embedded software synthesis using actor elimination techniques for multi-rate synchronous formalism, Proc. of 10th Conf. on Application of Concurrency to System Design (ACSD), pp.147-156, 2010. ,
SMT Based False Causal loop Detection during Code Synthesis from Polychronous Specifications, Proc. of 9th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE), 2011. ,
Synchronous Programming of Reactive systems, p.26, 1993. ,
The Esterel synchronous programming language: design, semantics, implementation, Science of Computer Programming, vol.19, issue.2, pp.87-152, 1992. ,
DOI : 10.1016/0167-6423(92)90005-V
URL : https://hal.archives-ouvertes.fr/inria-00075711
The ESTEREL language, Proc. of the IEEE, pp.1293-1304, 1991. ,
DOI : 10.1109/5.97299
URL : https://hal.archives-ouvertes.fr/inria-00075075
Code Generation in the Columbia Esterel Compiler, EURASIP J. on Embedded Systems, pp.1-31, 2007. ,
The synchronous programming language Quartz, Internal Report, vol.375, 2009. ,
Averest: Specification, verification, and implementation of reactive systems, Application of Concurrency to System Design (ACSD), 2005. ,
The synchronous data flow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9 ,
DOI : 10.1109/5.97300
A Functional Extension to Lustre, International Symposium on Languages for Intentional Programming, 1995. ,
Analysis of cyclic combinational circuits, Proc. of the IEEE/ACM Intl. Conf. on Computer-aided design, pp.618-625, 1993. ,
The constructive semantics of pure esterel, 1996. ,
Constructive analysis of cyclic circuits, Proceedings ED&TC European Design and Test Conference, p.328, 1996. ,
DOI : 10.1109/EDTC.1996.494321
Efficient analysis of cyclic definitions, Proceedings of the 11th International Conference on Computer Aided Verification, CAV '99, pp.394-405, 1999. ,
Instantaneous Termination in Pure Esterel, Proceedings of the 10th international conference on Static analysis, SAS'03, pp.91-108, 2003. ,
DOI : 10.1007/3-540-44898-5_6
The synthesis of cyclic combinational circuits, Design Automation Conference (DAC, pp.163-168, 2003. ,
Quick conservative causality analysis, Proceedings. Tenth International Symposium on System Synthesis (Cat. No.97TB100114), pp.2-8, 1997. ,
DOI : 10.1109/ISSS.1997.621669
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.537.4586
Design and synthesis of synchronization skeletons using branching-time temporal logic, Logic of Programs, pp.52-71, 1982. ,
Specification and verification of concurrent systems in CESAR, International Symposium on Programming, pp.337-351, 1982. ,
DOI : 10.1007/3-540-11494-7_22
Static Analysis of Synchronous Programs in SIGNAL for Efficient Design of Multi-Clocked Embedded Systems, Proc. of SIGPLAN/SIGBED Conf. on Languages, Compilers, and Tools for Embedded Systems (LCTES'11), pp.71-80, 2011. ,
Causality Analysis of Polychronous Programs ,
Synchronous structures, Information and Computation, vol.204, issue.8, pp.1295-1324, 2006. ,
DOI : 10.1016/j.ic.2001.05.001