Loriane Leclercq

Orcid: 0000-0002-6254-8691

According to our database1, Loriane Leclercq authored at least 3 papers between 2023 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On Parametric DBMs and Their Applications to Time Petri Nets.
Proceedings of the Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, 2024

QLTL Model-Checking.
Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023
A State Class Based Controller Synthesis Approach for Time Petri Nets.
Proceedings of the Application and Theory of Petri Nets and Concurrency, 2023


  Loading...