Recent talks
- Automated Verification of Textual Process Descriptions. Colloquium of the Formal System Analysis research group (Eindhoven University of Technology), Eindhoven, The Netherlands, September 2024.
- Automated Verification of TOSCA Workflows. VELVET workshop, Nantes, France, December 2023.
- Modelling and Quantitative Analysis of BPMN Processes. (i) SIGMA seminar, Grenoble, France, March 2022, (ii) WRLA'22 invited talk, Munich, Germany, April 2022, (iii) AFADL'22 invited talk, Vannes, France, June 2022, (iv) TAROT'22 summer school, Avila, Spain, July 2022.
- Models and Verification for Composition and Reconfiguration of Web of Things Applications. (i) SERECO seminar invited talk, Lyon, France, May 2022, (ii) GDR-GPL DAYS'22, Vannes, France, June 2022.