Marc Pouzet

Available identifiers

zbMath Open pouzet.marcWikidataQ102428870 ScholiaQ102428870MaRDI QIDQ439951

List of research outcomes

Publication	Date of Publication	Type
Multi-mode DAE models -- challenges, theory and implementation	2022-02-16	Paper
Deterministic concurrency: a clock-synchronised shared memory approach	2019-09-13	Paper
A type-based analysis of causality loops in hybrid systems modelers	2017-11-16	Paper
\(N\)-synchronous Kahn networks: a relaxed model of synchrony for real-time systems	2017-08-21	Paper
Structural analysis of multi-mode DAE systems	2017-07-11	Paper
Zélus: a synchronous language with ODEs	2017-05-16	Paper
A type-based analysis of causality loops in hybrid systems modelers	2017-05-16	Paper
Synchronous Kahn networks	2016-09-01	Paper
Non-standard semantics of hybrid systems modelers	2012-08-17	Paper
Lucy-n: a n-Synchronous Extension of Lustre	2010-07-26	Paper
Abstraction of Clocks in Synchronous Data-Flow Systems	2009-01-09	Paper
https://portal.mardi4nfdi.de/entity/Q2763676	2002-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4222947	1999-01-06	Paper

Research outcomes over time

This page was built for person: Marc Pouzet