- Feb 17, 2022: Talk @ "GT Deduction du LMF":
Isabelle/DOF: A Framework for Proving Ontology-Relations and Runtime Testing Ontology Instances,
video (Bad Quality)
- Dec 2, 2021: Talk @ "Journee verte du LMF":
A Sound Type System for Physical Quantities, Units, and Measurements.
- Nov 15, 2021: Invited Talk by the Univ. Exeter:
Modeling and Analysing Cyber-Physical Systems in HOL-CSP.
(Research done within the SVR Project)
The final report can be found here.
- Oct 27, 2017: Invited Talk at the Departments Colloquim Virginia Tech, Blacksburg, USA:
Towards Verified and Certifiable Subsystems.
- July 19, 2017: Invited Tutorial at the 11th International Conference on Tests & ProofsA:
Theorem Prover-based Testing: Combining Verification and Testing.
- Feb 17, 2017: Invited Talk at the Departments Colloquim at University of Sheffield, GB:
Monadic Program-based Tests - An Exercise in Test and Proof.
- 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