EN FR
EN FR




Section: Dissemination

Lectures and Invited Conferences

In 2011, we gave talks in several international conferences and workshops (see bibliography below). Additionally:

  • R. Mateescu and G. Salaün participated in the Sardes team seminar held at Allevard (France) on January 13, 2011. G. Salaün gave a talk entitled “Translating Pi-calculus into Lotos NT ”.

  • H. Garavel participated in the seminar of the 3rd-year license students of Ens -Lyon (Ecole Normale Superieure de Lyon) held in Le Pleynet (France) on January 26, 2011. He gave a talk entitled “Modélisation et vérification de systèmes informatiques complexes”.

  • H. Garavel, F. Lang, and D. Thivolle participated in the Topcased Days conference held in Toulouse (France) on February 2–4, 2011. F. Lang gave a talk entitled “Formal Verification of Avionics Protocols using Cadp in Topcased  Wp3 ” on February 3, 2011. D. Thivolle gave a talk entitled “Verification of GALS Systems using Topcased and Cadp with an Application to a Ground/Plane Communication Protocol” on February 4, 2011.

  • H. Garavel gave a talk entitled “Cadp  2010: A Toolbox for the Construction and Analysis of Distributed Processes” at Verimag on March 3, 2011.

  • G. Salaün gave a talk entitled “Realizability of Choreographies using Process Algebra Encodings” at Lri (Orsay, France) on March 28, 2011.

  • G. Salaün gave a talk entitled “Specifying and Verifying the Synergy Reconfiguration Protocol with Lotos NT and Cadp ” at the University of Málaga (Spain) on May 11, 2011.

  • F. Lang participated in the Rocks (RigorOus dependability analysis using model ChecKing techniques for Stochastic systems) held in Saarbrücken (Germany) on March 26–27, 2011. He gave a talk entitled “Ten Years of Performance Evaluation of Concurrent Systems using Cadp ”.

  • H. Garavel participated in the Dcds '11 (3rd International Workshop on Dependable Control of Discrete Systems) held in Saarbrücken (Germany) on June 15–17, 2011.

  • H. Garavel participated in the 8th Laser Summer School on “Software Engineering – Tools for Practical Software Verification” held on Elba Island (Italy) on September 4–10, 2011. He gave a talk entitled “Cadp  2010: A Toolbox for the Construction and Analysis of Distributed Processes”.

  • R. Mateescu gave a keynote presentation entitled “Model Checking and Performance Evaluation with Cadp Illustrated on Shared-Memory Mutual Exclusion Protocols at the Safa '2012 workshop held in Sophia-Antipolis (France) on October 12, 2011.

  • M. Güdemann participated in the seminar “Journées scientifiques EA-ARC-ADT” held in Paris (France) on November 16–17, 2011.

  • H. Garavel and R. Mateescu participated in the Fmics working group seminar held in Paris on December 12th, 2011. H. Garavel gave a talk entitled “Three Decades of Success Stories in Formal Methods”. R. Mateescu gave a talk entitled “Analysis of Mutual Exclusion Protocols using Cadp ”.