Marc Pouzet

Publications

1.3K

Citations

H-Index

1996

Active since

Affiliations

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

Université Paris-Sud

Sorbonne Université

Laboratoire de Recherche en Informatique

École Normale Supérieure - PSL

Marc Pouzet is an author at Institut national de recherche en sciences et technologies du numérique specializing in formal methods, engineering, and computer science.

ORCID

Top concepts

EngineeringFormal MethodsComputer ScienceComputer EngineeringProgram AnalysisSystems EngineeringFormal VerificationParallel ProgrammingParallel ComputingSoftware Analysis

Publications per year

1996–2021

Publications

Synchronous Kahn networks

Paul Caspi, Marc Pouzet · 1996 · 130 citations

Engineering, Computer Architecture, Network Analysis +21

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

ReactiveML

Louis Mandel, Marc Pouzet · 2005 · 86 citations

Engineering, Program Analysis, Formal Methods +15

<i>N</i> -synchronous Kahn networks

Albert Cohen, Marc Duranton, Christine Eisenbeis et al. · 2006 · 76 citations

Engineering, Computer Architecture, Network Analysis +19

Zélus

Timothy Bourke, Marc Pouzet · 2013 · 73 citations · Full text

Engineering, Compiler Technology, Software Engineering +18

Rows per page

1–5 of 39