Concurrency and Higher Dimensional Automata
International Conferences
2024
| [5] |
Kamp theorem for Higher Dimensinal Automata
Emily Clement, Enzo Erlich, Jérémy Ledent | Accepted to 34th EACSL Annual Conference on Computer Science Logic (CSL 2026) | PDF (ArXiv version) |
| [4] |
Presenting Interval Pomsets with Interfaces
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski | Relational and Algebraic Methods in Computer Science (RAMiCS 2024) | PDF (ArXiv version) |
| [3] |
Languages of Higher-Dimensional Timed
Automata
Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg | 45th International Conference on Theory and Application of Petri Nets and Concurrency conference (Petri Nets 2024) | PDF (hal) |
| [2] |
Layered controller synthesis for dynamic multi-agent systems
Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier | 21st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2023) | PDF (hal) |
| [1] |
Computing maximally-permissive strategies in acyclic timed automata
Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré | 18st International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020) | PDF (arxiv version) |
