What is CADP?
Home Page Tools Overview Current Status
Installation
How to obtain CADP? Usage Statistics Issues & Patches
Documentation
Tutorials Publications Manual Pages Demo Examples FAQ
CADP Newsletters
Nr. 1 - Dec. 1996 Nr. 2 - Jun. 1997 Nr. 3 - Sep. 1997 Nr. 4 - Jan. 1999 Nr. 5 - Jul. 2001 Nr. 6 - Apr. 2007
CADP Community
Forum Education & Training Case Studies Research Tools
CADP Resources
VLTS Benchmarks Other Resources
About CADP
Contributors

We give here a (non-exhaustive) list of courses and teaching material that make use of the CADP toolset. We are looking forward to keeping this list up to date. If you have new material to be referenced in this list, please contact cadp@inrialpes.fr.

2008:

• Méthodes formelles pour la conception des logiciels
  Pascal Poizat
  Université d'Evry (France)

• Modélisation et spécification
  Ahmed Bouajjani and Mihaela Sighireanu
  Université Paris 7 (France)

• Protocol and Software Testing
  Mihaela Sighireanu
  Université Paris 7 (France)

• Protocol Verification by using LOTOS and Tools
  Katsumi Wasaki
  Faculty of Engineering, Shinshu University, Nagano (Japan)
  Teaching material available (in Japanese)

• Systèmes distribués et temps réel
  Frédéric Lang and Wendelin Serwe
  ENSIMAG - Grenoble INP (France)
  

2007:

• Modélisation et spécification
  Ahmed Bouajjani and Mihaela Sighireanu
  Université Paris 7 (France)

• Protocol and Software Testing
  Mihaela Sighireanu
  Université Paris 7 (France)

• Protocol Verification by using LOTOS and Tools
  Katsumi Wasaki
  Faculty of Engineering, Shinshu University, Nagano (Japan)
  

• Systèmes distribués et temps réel
  Frédéric Lang and Wendelin Serwe
  ENSIMAG - Grenoble INP (France)
  

2006:

• Ingénierie des protocoles de communication
  Luigi Logrippo
  University of Ottawa (Canada)
  Substantial teaching material available on-line
  

• Modélisation et spécification
  Ahmed Bouajjani and Mihaela Sighireanu
  Université Paris 7 (France)

• Protocol and Software Testing
  Mihaela Sighireanu
  Université Paris 7 (France)

• Protocol Verification by using LOTOS and Tools
  Katsumi Wasaki
  Faculty of Engineering, Shinshu University, Nagano (Japan)
  

• Requirement Analysis, Design and Verification
  Jan-Friso Groote
  Eindhoven University of Technology (The Netherlands)
  

• Systèmes distribués et temps réel
  Frédéric Lang and Wendelin Serwe
  ENSIMAG - Institut National Polytechnique de Grenoble (France)
  

2005:

• Génie Logiciel : Aspects dynamiques
  Pascal Poizat
  Université d'Evry (France)
  

• Ingénierie du logiciel dans les réseaux informatiques
  Guy Leduc
  Université de Liège (Belgium)
  

• Protocol Verification by using LOTOS and Tools
  Katsumi Wasaki
  Faculty of Engineering, Shinshu University, Nagano (Japan)
  

• Requirement Analysis, Design and Verification
  Jan-Friso Groote and Jaco van de Pol
  Eindhoven University of Technology (The Netherlands)
  

• Systèmes distribués et temps réel
  Frédéric Lang and Wendelin Serwe
  ENSIMAG - Institut National Polytechnique de Grenoble (France)
  

• Théorie et pratique de la concurrence
  Mihaela Sighireanu
  Université Paris 7 (France)

2004:

• Asynchronous Circuits: The Modular Approach
  Michael Yoeli
  Technion, Haifa (Israel)
  

• Computer-Aided Analysis of Parallel Systems
  Michael Yoeli
  Technion, Haifa (Israel)
  

• Formal Specification and Verification of Digital Designs
  Michael Yoeli
  Technion, Haifa (Israel)
  

• Génie Logiciel : Aspects dynamiques
  Pascal Poizat
  Université d'Evry (France)
  

• Protocol Verification by using LOTOS and Tools
  Katsumi Wasaki
  Faculty of Engineering, Shinshu University, Nagano (Japan)
  

• Requirement Analysis, Design and Verification
  Jan-Friso Groote and Jaco van de Pol
  Eindhoven University of Technology (The Netherlands)
  

• Systèmes distribués et temps réel
  Radu Mateescu and Wendelin Serwe
  ENSIMAG - Institut National Polytechnique de Grenoble (France)
  

• Théorie et pratique de la concurrence
  Mihaela Sighireanu
  Université Paris 7 (France)

• Validation des systèmes à logiciel prépondérant
  Thomas Lambolais
  Ecole des Mines d'Alès (France)

2003:

• Distributed Computing Theory
  Bruce McMillin
  University of Missouri at Rolla (USA)
  

• Formal Methods
  Eerke Boiten, Howard Bowman, and John Derrick
  University of Kent at Canterbury (United Kingdom)
  December 1-5, 2003
  Industry-oriented training

• Formal Methods - Theory & Practice
  Samira Sadaoui
  University of Regina (Canada)
  

• Ingénierie du logiciel dans les réseaux informatiques
  Guy Leduc and Nicolas Bonmariage
  Université de Liège (Belgium)
  

• Projects in Logic Design
  Michael Yoeli and Nissim Etrog
  Technion, Haifa (Israel)
  Lab exercises available on line, both for asynchronous circuits and communication protocols

• Protocol Verification by using LOTOS and Tools
  Katsumi Wasaki
  Faculty of Engineering, Shinshu University, Nagano (Japan)
  

• Requirement Analysis, Design and Verification
  Jan-Friso Groote and Jaco van de Pol
  Eindhoven University of Technology (The Netherlands)
  

• Sisteme de Programe pentru Retele de Calculatoare
  Valentin Cristea and Gavril Godza
  Polytechnic University of Bucharest (Romania)
  Teaching material (in Romanian) available on-line
  

• Spécifications formelles
  Michel Allemand, Christian Attiogbé, and Jean-Claude Royer
  DESS de Génie Informatique, Université de Nantes (France)
  

• Systèmes distribués et temps réel
  Radu Mateescu
  ENSIMAG - Institut National Polytechnique de Grenoble (France)
  

2002:

• Formal Methods
  Eerke Boiten, Howard Bowman, and John Derrick
  University of Kent at Canterbury (United Kingdom)
  December 2-6, 2002
  Industry-oriented training

• Software Engineering
  Samira Sadaoui
  University of Regina (Canada)
  Fall 2002
  Substantial teaching material available on-line
  

• Specification Methods for Distributed Systems
  Luigi Logrippo
  University of Ottawa (Canada)
  Substantial teaching material available on-line
  

• Systèmes distribués et temps réel
  Radu Mateescu and Hubert Garavel
  ENSIMAG - Institut National Polytechnique de Grenoble (France)
  

---

Version 1.34 last updated on 09/04/02 16:22:03

---

Back to the CADP Home Page