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