Emily Clement

According to our database, Emily Clement authored at least 6 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Expressivity of Linear Temporal Logic for Pomset Languages of Higher Dimensional Automata.

Emily Clement, Enzo Erlich, Jérémy Ledent

CoRR, 2024

Languages of Higher-Dimensional Timed Automata.

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg

Proceedings of the Application and Theory of Petri Nets and Concurrency, 2024

Presenting Interval Pomsets with Interfaces.

Amazigh Amrane, Hugo Bazille, Emily Clement, Uli Fahrenberg, Krzysztof Ziemianski

Proceedings of the Relational and Algebraic Methods in Computer Science, 2024

2023

Layered Controller Synthesis for Dynamic Multi-agent Systems.

Emily Clement, Nicolas Perrin-Gilbert, Philipp Schlehuber-Caissier

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2023

2022

Robustness of timed automata : computing the maximally-permissive strategies. (Robustesse des automates temporisés : calculer les stratégies les plus permissives).

Emily Clement

PhD thesis, 2022

2020

Computing Maximally-Permissive Strategies in Acyclic Timed Automata.

Emily Clement, Thierry Jéron, Nicolas Markey, David Mentré

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2020