- Burkhart Wolff:
DigiCosme
Spring School Tutorial "Model-based Testing",
Supelec, Amphi F3-05, 23.4.13, 9 - 12:30.
- Achim Brucker and Burkhart Wolff: The HOL-OCL
Tutorial at the MoDELS 2008, Toulouse, 29.9.08. (slides)
- Achim Brucker and Burkhart Wolff: Theorem-prover
Based Testing with HOL-TestGen. TestCom/Fates 27.6.2007, Tallin,
Estonia. (slides).Also
held at the NII, Tokyo, 9.6.08. (slides)
- Burkhart Wolff : The HOL-Z Tutorial.
Tutorial at the NII, Tokyo, 9.6.08.
(
slides).
- July 2015: Invited Talk at the Departments Colloquim University of York:
Can Testing Be Liberated from the Automata Style ???
- March 2013:
Using Theorem Provers for Testing.
Invited Talk at the Digiteo Seminary,
20 march 2013, Supelec, Paris.
- October 2012:
Parallelizing Interactive Theorem Provers: Challenges, Foundations and First Results.
Invited Talk at the Journees communes LTP - LAC - LAMHA,
25 october 2012, LIFO, Orleans.
- September 2012:
DigiWorlds (Polytechnique): Combining Formal Testing and Proving
- November 2010: CS-Department Colloquium, Univ. York, UK, Model-based Security
Testing of a Health-Care System Architecture: A Case Study
- September 2010: "Brainstorming Workshop For Creation of
Center of Excellence in Information and Communication Technology",
Indian Institute of Technology (IIT), Jodpur, Rajastan:Formal Methods and its Relevance for Industry and Emmergent Markets
- August 2010: Workshop "Trusted Extensions of Interactive Theorem Provers", Cambridge University:Plugins for the Isabelle Platform: A Perspective for Logically Safe, Extensible, Powerful and Interactive Formal Method Tools
- May 2009: BT Research, Ipswich:
Model-based Testing : Techniques and Industrial Applications
- May 2009: ETH Zürich, Information Security Group.
HOL-Boogie: An Interactive Prover-Backend for the Verifying C Compiler
- Jan 2008: Sequence Testing with HOL-TestGen. LRI/Paris 6 (by
Prof. Marie-Claude Gaudel), Orsay, France.
- Jan 2008: Integration of an interactive HOL-Prover into ther
Boogie Framework. LRI/Paris 6 (by Prof. Christine Paulin), Orsay,
France.
- Sept 2007: Integration of an interactive HOL-Prover into ther
Boogie Framework. Dagstuhl, Verisoft Meeting.
- April-Sept 2007: Invited Researcher at Microsoft Research,
Redmont, USA.
- September 2006: HOL-OCL: A Proof Environment for
Object-Oriented Specification. Microsoft Research, Redmont, USA.
- February 2005: Symbolic Test Case Generation for Recursive
Functions. Microsoft Research, Redmont, USA.
- December 2004: Symbolic Test Case Generation for Recursive
Functions. LRI/Paris 6 (by Prof. Marie-Claude Gaudel), Orsay,
France.