Marc Pouzet

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Nonlinear Analysis. Hybrid Systems	2017-11-16	Paper
\(N\)-synchronous Kahn networks: a relaxed model of synchrony for real-time systems Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages	2017-08-21	Paper
Structural analysis of multi-mode DAE systems Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control	2017-07-11	Paper
Zélus: a synchronous language with ODEs Proceedings of the 16th international conference on Hybrid systems: computation and control	2017-05-16	Paper
A type-based analysis of causality loops in hybrid systems modelers Proceedings of the 17th international conference on Hybrid systems: computation and control	2017-05-16	Paper
Synchronous Kahn networks Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96	2016-09-01	Paper
Non-standard semantics of hybrid systems modelers Journal of Computer and System Sciences	2012-08-17	Paper
Lucy-n: a n-Synchronous Extension of Lustre Lecture Notes in Computer Science	2010-07-26	Paper
Abstraction of Clocks in Synchronous Data-Flow Systems Programming Languages and Systems	2009-01-09	Paper
scientific article; zbMATH DE number 1692943 (Why is no real title available?)	2002-01-21	Paper
scientific article; zbMATH DE number 1231624 (Why is no real title available?)	1999-01-06	Paper

Research outcomes over time

This page was built for person: Marc Pouzet