Loriane Leclercq

According to our database, Loriane Leclercq authored at least 4 papers between 2023 and 2024.

Collaborative distances:

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

2024

Efficient synthesis and verification of parametrised timed systems. (Synthèse et vérification efficace de systèmes temporisés paramétrés).

Loriane Leclercq

PhD thesis, 2024

On Parametric DBMs and Their Applications to Time Petri Nets.

Loriane Leclercq, Didier Lime, Olivier H. Roux

Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

QLTL Model-Checking.

François Laroussinie, Loriane Leclercq, Arnaud Sangnier

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

A State Class Based Controller Synthesis Approach for Time Petri Nets.

Loriane Leclercq, Didier Lime, Olivier H. Roux

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