Concepedia

Jean-Louis Colaço

JC

Statistics

Publications

12

Citations

437

H-Index

12

Active since

2002

Affiliations

Sorbonne Université(Current)

Institut national de recherche en sciences et technologies du numérique

Université Paris-Sud

Laboratoire de Recherche en Informatique

MathWorks (United States)

Jean-Louis Colaço is an author at Sorbonne Université specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceProgram AnalysisComputer EngineeringFormal VerificationSoftware AnalysisParallel ComputingParallel ProgrammingCompilers

Publications per year

2002–2017

12

Publications

12

A conservative extension of synchronous data-flow with state machines

Jean-Louis Colaço, Bruno Pagano, Marc Pouzet · 2005 · 104 citations

Engineering, Hierarchical State Machines, Compiler Technology +23

Clock-directed modular code generation for synchronous data-flow languages

Dariusz Biernacki, Jean-Louis Colaço, Grégoire Hamon et al. · 2008 · 70 citations

Engineering, Compiler Technology, Computer Architecture +19

SCADE 6: A formal language for embedded critical software development (invited paper)

Jean-Louis Colaço, Bruno Pagano, Marc Pouzet · 2017 · 61 citations

Software Maintenance, Engineering, Compiler Technology +27

Towards a higher-order synchronous data-flow language

Jean-Louis Colaço, Alain Girault, Grégoire Hamon et al. · 2004 · 55 citations

Engineering, Verification, Software Analysis +18

Mixing signals and modes in synchronous data-flow systems

Jean-Louis Colaço, Grégoire Hamon, Marc Pouzet · 2006 · 37 citations

Engineering, Compiler Technology, Computer Architecture +21

1–5 of 12