| emsoft | participants

Marc Pouzet

Program Committees:
2012, 2018, 2019, and 2020
.

EMSOFT 2023: 23rd International Conference on Embedded Software

A Constructive State-based Semantics and Interpreter for a Synchronous Data-flow Language with State machines

Jean-Louis Colaço, Michael Mendler, Baptiste Pauget, and Marc Pouzet

Verified Compilation of Synchronous Dataflow with State Machines

Timothy Bourke, Basile Pesin, and Marc Pouzet

EMSOFT 2021: 21st International Conference on Embedded Software

Verified Lustre Normalization with Node Subsampling

Timothy Bourke, Paul Jeanmaire, Basile Pesin, and Marc Pouzet

EMSOFT 2017: 17th International Conference on Embedded Software

A Synchronous Look at the Simulink Standard Library

Timothy Bourke, Francois Carcenac, Jean-Louis Colaço, Bruno Pagano, Cédric Pasteur, and Marc Pouzet

EMSOFT 2015: 15th International Conference on Embedded Software

Building a Hybrid Systems Modeler From Synchronous Language Principles

Marc Pouzet

EMSOFT 2013: 13th International Conference on Embedded Software

A Synchronous Embedding of Antescofo, a Domain-Specific Language for Interactive Mixed Music

Guillaume Baudart, Florent Jacquemard, Louis Mandel, and Marc Pouzet

EMSOFT 2012: 12th International Conference on Embedded Software

Programming Parallelism with Futures in Lustre

Albert Cohen, Léonard Gérard, and Marc Pouzet

EMSOFT 2011: 11th International Conference on Embedded Software

A Hybrid Synchronous Language with Hierarchical Automata: Static Typing and Translation to Synchronous Code

Albert Benveniste, Timothy Bourke, Benoît Caillaud, and Marc Pouzet

EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software

Modular Static Scheduling of Synchronous Data-Flow Networks: an Efficient Symbolic Representation

Marc Pouzet and Pascal Raymond

EMSOFT 2006: 6th ACM & IEEE International Conference on Embedded Software

Mixing Signals and Modes in Synchronous Data-Flow Systems

Jean-Louis Colaço, Grégoire Hamon, and Marc Pouzet

EMSOFT 2005: 5th ACM International Conference on Embedded Software

Synchronization of Periodic Clocks

Albert Cohen, Marc Duranton, Christine Eisenbeis, Claire Pagetti, Florence Plateau, and Marc Pouzet

A Conservative Extension of Synchronous Data-flow with State Machines

Jean-Louis Colaço, Bruno Pagano, and Marc Pouzet

EMSOFT 2004: 4th ACM International Conference on Embedded Software

Towards a Higher-Order Synchronous Data-Flow Language

Jean-Louis Colaço, Alain Girault, Grégoire Hamon, and Marc Pouzet

EMSOFT 2003: 3rd International Conference on Embedded Software

Clocks as First Class Abstract Types

Jean-Louis Colaço and Marc Pouzet