France
- Automated Composition, Analysis and Deployment of IoT Applications. CONVECS seminar, Villard de Lans, France, July 2019.
- Quantifying the Similarity of Non-bisimilar LTSs. CONVECS seminar, Dullin, France, July 2018.
- Safe Composition of Software Services. DataMod'18 invited talk, Toulouse, June 2018.
- Checking Business Process Evolution. CONVECS seminar, Grenoble, France, July
2016.
- Automated Verification of Asynchronously Communicating Systems. LORIA seminar, Nancy, March 2016.
- Formal Modelling and Analysis of BPMN
Processes. XEROX seminar, Meylan, France, July
2015.
- Reliable Deployment, Reconfiguration, and Control of
Cloud Applications. (i) LIRMM Seminar, Montpellier, March 2015,
(ii) LABRI seminar, Bordeaux, April 2015.
- Verification of Asynchronously Communicating
Systems. (i) LIMOS seminar, Clermont-Ferrand, France,
October 2014, (ii) IRISA seminar, April 2015, Rennes,
France.
-
Stability of Asynchronously Communicating Systems. CONVECS meeting, Treffort, June 2014.
-
Verification of a Reliable Self-Deployment Protocol for Cloud Applications. CONVECS meeting, Col-de-Porte, November 2013.
-
New Results on the Verification of (Choreography-based) Communicating Systems. CONVECS meeting, Col-de-Porte, November 2013.
-
Verification of Contract-based Communicating Systems. (i) CONVECS meeting, Pont-en-Royans, November 2012.
-
Specifying and Verifying a Self-configuration Protocol for Distributed Applications in the Cloud. (i) LRI seminar, Orsay, March 2012, (ii) LINA seminar, Nantes, March 2012, (iii) VASY meeting, Autrans, November 2011.
-
Design and Verification of Communicating Systems. IFSE seminar, Toulouse, November 2012.
-
Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS-NT and CADP. (i) SARDES meeting, Allevard, June 2010, (ii) VASY meeting, Corrençon-en-Vercors, June 2010.
-
Realizability of Choreographies using Process Algebra Encodings. (i) LRI seminar, Orsay, March 2011, (ii) VASY meeting, Autrans, November 2011.
-
Translating Pi-Calculus into LOTOS NT. SARDES meeting, Allevard, January 2011.
-
The CADP Toolbox. SARDES meeting, Autrans, December 2009.
-
Composition of Service Protocols - Some Open Issues. (i) POPART meeting, Corps, November 2009, (ii) SARDES meeting, Autrans, December 2009.
-
Model-Based Behavioural Adaptation - Application to Web Services. Ecole des Mines de Nantes seminar, May 2009.
-
Translating FSP into LOTOS. SENVA Workshop, Venosc, June 2006.
-
How Process Algebra Can Contribute to the Formal Development of Web Services. LaMI seminar, Evry, September 2005.
-
Formal Coordination of Distributed Entities Described with Behavioural Interfaces. FIACRE meeting, Toulouse, April 2005.
-
Describing and Reasoning on Web Services using Process Algebra. (i) SENVA workshop, St Pierre de Chartreuse, June 2005, (ii) FIACRE meeting, Toulouse, April 2005, (iii) EMN Seminar, Nantes, April 2005, (iv) IRISA seminar, Rennes, March 2005, (v) LORIA seminar, Nancy, February 2005.
|
|
Abroad
- Checking Business Process Evolution. LCC seminar, Malaga, Spain, June 2017.
- Formal Modelling and Analysis of BPMN
Processes. LCC seminar, Malaga, Spain, October 2015.
- Reliable Deployment, Reconfiguration, and Control of
Cloud Applications. LCC seminar, Malaga, Spain,
February 2015.
-
On the Verification of Asynchronously Communicating Systems. LCC seminar, Malaga, Spain, February 2014.
-
Verification of Contract-based Communicating Systems. (i) LCC seminar, Malaga, Spain, February 2013, (ii) Graphite'13 invited talk, Rome, Italy, March 2013.
-
Formal Methods for Cloud Computing Environments. LCC seminar, Malaga, Spain, February 2013.
-
Design and Verification of Communicating Systems. FBK seminar, Trento, Italy, March 2012.
-
Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS-NT and CADP. LCC seminar, Malaga, Spain, May 2011.
-
Specification, Verification, and Adaptation of Web Services. 10 hours tutorial for Master Students, Malaga, Spain, (i) May 2011, (ii) April 2010.
-
Model-Based Behavioural Adaptation - Application to Web Services. Swinburne University - CS3 seminar, Melbourne, Australia, November 2008.
-
Generation of Orchestrator and Wrapper Protocols from Choreography Specifications. UCSB - CS colloquium, Santa Barbara, USA, June 2008.
-
Software Adaptation - An Approach based on Synchronization Vectors and Regular Expressions. LCC seminar, Malaga, Spain, November 2006.
-
Translating CHP into LOTOS for the Verification of Asynchronous Hardware Designs with CADP. Microsoft Research seminar, Cambridge, England, November 2006.
-
How Process Algebra Can Contribute to the Formal Development of Web Services. LCC seminar, Malaga, Spain, March 2006.
-
Specification and Verification of Asynchronous Systems. Indo-French Seminar on Information Technology organized by the Indo-French Centre for the Promotion of Advanced Research (IFCPAR), Pune, India, December 2004.
-
Contributions to the Integration of Formal Methods for the Specification and Verification of Complex Systems. DIS seminar, Rome, Italy, July 2003.
|