Implementation of the data-flow synchronous language Signal, Programming Languages Design and Implementation (PLDI), pp.163-173, 1995. ,
URL : https://hal.archives-ouvertes.fr/hal-00544128
From synchronous programs to symbolic representations of hybrid systems, Proceedings of the 13th ACM international conference on Hybrid systems: computation and control, HSCC '10, pp.41-50, 2010. ,
DOI : 10.1145/1755952.1755960
Actors without directors: a kahnian view of heterogeneous systems, 2008. ,
Divide and recycle: types and compilation for a hybrid synchronous language, ACM SIG- PLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES'11), 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00654112
Non-standard semantics of hybrid systems modelers, Journal of Computer and System Sciences, vol.78, issue.3, pp.877-910, 2012. ,
DOI : 10.1016/j.jcss.2011.08.009
URL : https://hal.archives-ouvertes.fr/hal-00766726
The constructive semantics of pure Esterel, 1999. ,
Zélus, a Synchronous Language with ODEs, International Conference on Hybrid Systems: Computation and Control, 2013. ,
Languages and tools for hybrid systems design. Foundations & Trends in Electronic Design Automation ,
DOI : 10.1561/1000000001
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.219.5027
Numerical Methods in Scientific Computing, 2008. ,
DOI : 10.1137/1.9780898717785
Stream- and State-Based Semantics of Hierarchy in Block Diagrams, 17th IFAC World Congress, pp.7955-7960, 2008. ,
DOI : 10.3182/20080706-5-KR-1001.01344
A Modular Memory Optimization for Synchronous Data-Flow Languages. Application to Arrays in a Lustre Compiler, Languages, Compilers and Tools for Embedded Systems (LCTES'12), 2012. ,
The synchronous dataflow programming language lustre, Proceedings of the IEEE, pp.1305-1320, 1991. ,
Generating efficient code from data-flow programs, Third International Symposium on Programming Language Implementation and Logic Programming, 1991. ,
DOI : 10.1007/3-540-54444-5_100
On the symbolic analysis of combinatorial loops in circuits and synchronous programs, Euromicro 95, 1995. ,
The semantics of a simple language for parallel programming, IFIP 74 Congress, 1974. ,
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems, Proc. of the 7th ACM & IEEE Int. Conf. on Embedded software (EMSOFT), pp.114-123, 2007. ,
Operational semantics of hybrid systems, Hybrid Systems: Computation and Control (HSCC), 2005. ,
An invitation to non standard analysis Nonstandard analysis and its applications, 1988. ,
From Timed to Hybrid Systems In Real-Time: Theory in Practice, pp.447-484, 1992. ,
Simulink 7?Reference, 2010. ,
Simulink 7?User's Guide, 7, 2010. ,
Types and Programming Languages, 2002. ,
Lucid Synchrone, version 3. Tutorial and reference manual, 2006. ,