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
