Jean-Louis Colaco
Jean-Louis Colaco
ANSYS SBU
Adresse e-mail validée de ansys.com
Titre
Citée par
Citée par
Année
A conservative extension of synchronous data-flow with state machines
JL Colaço, B Pagano, M Pouzet
Proceedings of the 5th ACM international conference on Embedded software …, 2005
1642005
Clock-directed modular code generation for synchronous data-flow languages
D Biernacki, JL Colaço, G Hamon, M Pouzet
ACM Sigplan Notices 43 (7), 121-130, 2008
1102008
Clocks as first class abstract types
JL Colaço, M Pouzet
International Workshop on Embedded Software, 134-155, 2003
942003
Towards a higher-order synchronous data-flow language
JL Colaço, A Girault, G Hamon, M Pouzet
Proceedings of the 4th ACM international conference on Embedded software …, 2004
752004
Type-based Initialization Analysis of a Synchronous Data-flow Language
JL Colaço, M Pouzet
Electronic Notes in Theoretical Computer Science 65 (5), 849-862, 2002
522002
Mixing signals and modes in synchronous data-flow systems
JL Colaço, G Hamon, M Pouzet
Proceedings of the 6th ACM & IEEE International conference on Embedded …, 2006
482006
A set-constraint-based analysis of actors
JL Colaço, M Pantel, P Sallé
Formal Methods for Open Object-based Distributed Systems, 107-122, 1997
421997
Type-based initialization analysis of a synchronous dataflow language
JL Colaço, M Pouzet
International journal on software tools for technology transfer 6 (3), 245-255, 2004
412004
SCADE 6: a formal language for embedded critical software development
JL Colaço, B Pagano, M Pouzet
Theoretical Aspects of Software Engineering (TASE), 2017 International …, 2017
382017
Experience report: using Objective Caml to develop safety-critical embedded tools in a certification framework
B Pagano, O Andrieu, T Moniot, B Canou, E Chailloux, P Wang, ...
ACM Sigplan Notices 44 (9), 215-220, 2009
242009
CAP: An actor dedicated process calculus
JL Colaço, M Pantel, P Sallé
241996
Static safety analysis for non-uniform service availability in Actors
JL Colaço, M Pantel, F Dagnat, P Sallé
Formal Methods for Open Object-Based Distributed Systems, 371-386, 1999
191999
A synchronous-based code generator for explicit hybrid systems languages
T Bourke, JL Colaço, B Pagano, C Pasteur, M Pouzet
International Conference on Compiler Construction, 69-88, 2015
182015
Synchronous Objects with Scheduling Policies
P Caspi, JL Colaço, L Gérard, M Pouzet, P Raymond
17*2009
Certified development tools implementation in objective caml
B Pagano, O Andrieu, B Canou, E Chailloux, JL Colaço, T Moniot, ...
International Symposium on Practical Aspects of Declarative Languages, 2-17, 2008
142008
Analyse de linéarité par typage dans un calcul d’acteurs
JL Colaço, M Pantel, P Sallé
Actes des Journées Francophones des Langages Applicatifs, 36, 1997
111997
Static analysis of behavior changes in Actor languages
JL Colaço, M Pantel, P Sallé
Object-Oriented Parallel and Distributed Programming, 53-72, 1997
81997
Un calcul d’acteurs primitifs (CAP)
JL Colaco, M Pantel, P Sallé, A Senteni
Actes des Journées Francophones des Langages Applicatifs, 25-43, 1996
81996
Scade 6: From a Kahn Semantics to a Kahn Implementation for Multicore
JL Colaço, B Pagano, C Pasteur, M Pouzet
2018 Forum on Specification & Design Languages (FDL), 5-16, 2018
72018
Towards a formalized Modelica subset
L Satabin, JL Colaço, O Andrieu, B Pagano
Proceedings of the 11th International Modelica Conference, Versailles …, 2015
72015
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20