Team : MoVe - Modeling and Verification
Axes : SSR (👥👥), ASN (👥), TMC (👥).Team leaders :
Jean-François Pradat-Peyre Campus Pierre et Marie Curie 25-26/215Yann Thierry-Mieg Campus Pierre et Marie Curie 25-26/210
Members
Twenty-two teacher-researchers and researchers, six PhD Students.
Presentation
MoVe centers its research on the modeling and analysis of complex and dynamic distributed systems. In particular, we put our focus on:
- Optimized techniques of formal verification through model-checking.
- Development methodologies based on Model-Driven Engineering.
- Integration of formal analysis in development processes.
- Design and implementation of new programming languages and models to increase the verifiability of distributed programs.
Self-assessment Archives Thesis defense
Tags
Program generation Model engineering Modeling Petri nets Model checking
02/20/2026
14:00 : Conformance checking in time-aware process models
Thomas Chatain (LMF, ENS Paris-Saclay)
Conformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. An important problem for conformance checking is to align a log trace with a model, that is, to find the minimal chang …
25-26/105, LIP6
https://perso.lip6.fr/Dylan.Marinho/semi …
Thomas Chatain (LMF, ENS Paris-Saclay)
Conformance checking techniques asses the suitability of a process model in representing an underlying process, observed through a collection of real executions. An important problem for conformance checking is to align a log trace with a model, that is, to find the minimal chang …
25-26/105, LIP6
https://perso.lip6.fr/Dylan.Marinho/semi …
