My long term main topic of research is modeling and algorithmic analysis of concurrent systems. In other terms, I do work on algorithms for exhaustive and non-exhaustive research of executions of systems modeled in various modeling languages, sometimes with quantitative aspects like real time or probability. While I enjoy theory, I try to bring this topic to practice by developing a tool, POEM (Partial Order Environment of Marseille). We are currently evaluating the possibility of public release.
My publications tracked by DBLP (Trier University).
ANR ACI « ECSPER », « Etude et Conception de Systèmes avec Perturbations ».
Cooperation with Novadem on safety of drone flight control.
Past projects :
SOAPDC, Structures d'Ordre et Applications au calcul Distribué, Parallèle et Concurrent.
AMETIST (Advanced Methods in Timed Systems).