Jean-Louis Colaço

Most-cited papers

A conservative extension of synchronous data-flow with state machines
Jean-Louis Colaço, B. Pagano, Marc Pouzet
2005International Conference on Embedded Software150 citations
Semantic Scholar
Clocks as First Class Abstract Types
Jean-Louis Colaço, Marc Pouzet
2003International Conference on Embedded Software100 citations
Semantic Scholar
Clock-directed modular code generation for synchronous data-flow languages
Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet
2008ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems99 citations Open access
Semantic Scholar
SCADE 6: A formal language for embedded critical software development (invited paper)
Jean-Louis Colaço, B. Pagano, Marc Pouzet
2017Theoretical Aspects of Software Engineering94 citations
Semantic Scholar
Towards a higher-order synchronous data-flow language
Jean-Louis Colaço, A. Girault, Grégoire Hamon, Marc Pouzet
2004International Conference on Embedded Software71 citations
Semantic Scholar
Mixing signals and modes in synchronous data-flow systems
Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet
2006International Conference on Embedded Software48 citations
Semantic Scholar
Type-based initialization analysis of a synchronous dataflow language
Jean-Louis Colaço, Marc Pouzet
2002International Journal on Software Tools for Technology Transfer (STTT)48 citations Open access
Semantic Scholar
A set-constraint-based analysis of actors
Jean-Louis Colaço, M. Pantel, P. Sallé
199734 citations
Semantic Scholar
Experience report: using objective caml to develop safety-critical embedded tools in a certification framework
B. Pagano, O. Andrieu, Thomas Moniot, Benjamin Canou +4 more
2009ACM SIGPLAN International Conference on Functional Programming22 citations
Semantic Scholar
A Synchronous-Based Code Generator for Explicit Hybrid Systems Languages
T. Bourke, Jean-Louis Colaço, B. Pagano, Cédric Pasteur +1 more
2015International Conference on Compiler Construction21 citations Open access
Semantic Scholar
Static safety analysis for non-uniform service availability in Actors
Jean-Louis Colaço, M. Pantel, F. Dagnat, P. Sallé
1999International Conference on Formal Methods for Open Object-Based Distributed Systems20 citations
Semantic Scholar
A Synchronous Look at the Simulink Standard Library
T. Bourke, Francois Carcenac, Jean-Louis Colaço, B. Pagano +2 more
2017ACM Transactions on Embedded Computing Systems18 citations Open access
Semantic Scholar
Synchronous objects with scheduling policies: introducing safe shared memory in lustre
P. Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet +1 more
2009ACM SIGPLAN Conference on Languages, Compilers, and Tools for Embedded Systems17 citations
Semantic Scholar
Building a Hybrid Systems Modeler on Synchronous Languages Principles
A. Benveniste, T. Bourke, B. Caillaud, Jean-Louis Colaço +2 more
2018Proceedings of the IEEE15 citations Open access
Semantic Scholar
Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore
Jean-Louis Colaço, B. Pagano, Cédric Pasteur, Marc Pouzet
2018Forum on Specification and Design Languages14 citations
Semantic Scholar
Certified Development Tools Implementation in Objective Caml
B. Pagano, O. Andrieu, Benjamin Canou, E. Chailloux +3 more
2008International Symposium on Practical Aspects of Declarative Languages14 citations
Semantic Scholar
A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State Machines
Jean-Louis Colaço, M. Mendler, Baptiste Pauget, Marc Pouzet
2023ACM Transactions on Embedded Computing Systems8 citations Open access
Semantic Scholar
An overview of Scade, a synchronous language for safety-critical software (keynote)
Jean-Louis Colaço
2020REBLS@SPLASH6 citations
Semantic Scholar
Towards a Formalized Modelica Subset
Lucas Satabin, Jean-Louis Colaço, O. Andrieu, B. Pagano
20155 citations Open access
Semantic Scholar
Clock-directed Modular Code Generation from Synchronous Block Diagrams
Dariusz Biernacki, Jean-Louis Colaço, Marc Pouzet
20074 citations
Semantic Scholar
Polymorphic Types with Polynomial Sizes
Jean-Louis Colaço, Baptiste Pauget, Marc Pouzet
2023ARRAY@PLDI3 citations Open access
Semantic Scholar
A Formalization and Proof of a Modular Lustre Compiler
C. Auger, Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet
20122 citations
Semantic Scholar
HLL v.2.7 Modelling Language Specification
J. Ordioni, Nicolas Breton, Jean-Louis Colaço
20181 citations
Semantic Scholar
Swan, a Next-Generation Modeling Language for Safe and Reliable Real-Time Embedded Software
Jean-Louis Colaço, B. Pagano, Cédric Pasteur
2025Symposium on Dependable Autonomic and Secure Computing0 citations
Semantic Scholar