Author of the publication

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Refinement and Recursion in a High Level Petri Box Calculus., and . STRICT, page 144-159. Springer, (1995)VerifCar: a framework for modeling and model checking communicating autonomous vehicles., , and . Auton. Agents Multi Agent Syst., 33 (3): 353-381 (2019)Activity Networks with Delays An application to toxicity analysis., , , and . CoRR, (2016)Tutorial on Formal Methods for Distributed and Cooperative Systems., , , , , and . ICTAC, volume 4281 of Lecture Notes in Computer Science, page 362-365. Springer, (2006)Object-Oriented Modelling with High-Level Modular Petri Nets., and . IFM, volume 2999 of Lecture Notes in Computer Science, page 287-306. Springer, (2004)Complexity of Membership and Non-Emptiness Problems in Unbounded Memory Automata., , , and . CONCUR, volume 279 of LIPIcs, page 33:1-33:17. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2023)Modelling and Analysing Mixed Reality Applications., , , , , and . ICMMI, volume 391 of Advances in Intelligent Systems and Computing, page 3-17. Springer, (2015)A Petri Net Interpretation of Open Reconfigurable Systems., , and . Petri Nets, volume 6709 of Lecture Notes in Computer Science, page 208-227. Springer, (2011)Modélisation et simulation de la coopération dans les STI : un comparatif., , and . JFSMA, page 183-192. Cépaduès Éditions, (2017)Modélisation du changement de voie de véhicules autonomes à différents niveaux d'abstraction., , , and . JFSMA, page 21-30. Cépaduès, (2018)