Talks

• Specifying and Verifying the SYNERGY Reconfiguration Protocol with LOTOS-NT and CADP. (i) LCC seminar, Malaga, Spain, May 2011, (ii) SARDES meeting, Allevard, France, June 2010, (iii) VASY meeting, Corrençon-en-Vercors, France, June 2010.

• Specification, Verification, and Adaptation of Web Services. 10 hours tutorial for Master Students, Malaga, Spain, (i) May 2011, (ii) April 2010.

• Realizability of Choreographies using Process Algebra Encodings. LRI seminar, Orsay, France, March 2011.

• Translating Pi-Calculus into LOTOS NT. SARDES meeting, Allevard, France, January 2011.

• The CADP Toolbox. SARDES meeting, Autrans, France, December 2009.

• Composition of Service Protocols - Some Open Issues. (i) POPART meeting, Corps, France, November 2009, (ii) SARDES meeting, Autrans, France, December 2009.

• Model-Based Behavioural Adaptation - Application to Web Services. (i) Swinburne University - CS3 seminar, Melbourne, Australia, November 2008, (ii) Ecole des Mines de Nantes seminar, France, May 2009.

• 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.

• Translating FSP into LOTOS. SENVA Workshop, Venosc, France, June 2006.

• How Process Algebra Can Contribute to the Formal Development of Web Services. (i) LaMI seminar, Evry, France, September 2005, (ii) LCC seminar, Malaga, Spain, March 2006. [PDF]

• Formal Coordination of Distributed Entities Described with Behavioural Interfaces. FIACRE meeting, Toulouse, France, April 2005.

• Describing and Reasoning on Web Services using Process Algebra. (i) SENVA workshop, St Pierre de Chartreuse, France, June 2005, (ii) FIACRE meeting, Toulouse, France, April 2005, (iii) EMN Seminar, Nantes, France, April 2005, (iv) IRISA seminar, Rennes, France, March 2005, (v) LORIA seminar, Nancy, France, February 2005.

• 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.