Personal information

No personal information available

Activities

Works (2)

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

ACM Transactions on Embedded Computing Systems
2023-10-31 | Journal article
Contributors: Jean-Louis Colaço; Michael Mendler; Baptiste Pauget; Marc Pouzet
Source: check_circle
Crossref

Building a Hybrid Systems Modeler on Synchronous Languages Principles

Proceedings of the IEEE
2018-09 | Journal article
Contributors: Albert Benveniste; Timothy Bourke; Benoit Caillaud; Jean-Louis Colaco; Cedric Pasteur; Marc Pouzet
Source: check_circle
Crossref