on 2013-01-31 as a contribution to the Schloss Dagstuhl - Leibniz Center for Informatics seminar 'Software Certification: Methods and Tools' in Dagstuhl, Germany
on 2012-12-03 as a keynote at the NESSoS / EIT ICT Labs Workshop SmartGridSec12 in Berlin, Germany
on 2011-10-21 at the Aviation Cyber-Physical Security — Safety and Security Workshop of SAE AeroTech in Toulouse, France
on 2011-06-30 at the Poster Session of the 4th Network and Information Security (NIS'11) Summer School in Hersonissos, Greece
on 2010-11-30 at the Software Technologies Concertation on Formal Methods for Components and Objects (FMCO 2010) in Graz, Austria
ASLan++ — the AVANTSSAR Specification Language
on 2010-Nov-18 at the DIAMONDS Kick-Off Meeting in Berlin, Germany
on 2010-Jul-19 at the DFKI Research Group `Safe and Secure Systems' in Saarbrcken, Germany
on 2010-Apr-04 at the GI FoMSESS annual meeting in Berlin, Germany.
on 2008-Sep-15 at the ICAS 2008 in Anchorage, USA
on 2008-Mar-27 at the FoMSESS 2008 fourth annual meeting in Darmstadt, Germany
on 2007-Sep-19 at SAFECOMP 2007 in Nuremberg, Germany
on 2007-Mar-31 on the OpenCert 2007 workshop at ETAPS 2007 in Braga, Portugal
on 2006-Nov-16 as the Security Keynote at 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2006) in Paphos, Cyprus
on 2006-Aug-23 at the ForTIA I-Day'06 during FM'06, Hamilton, Canada.
on 2005-Sep-13 at the 3rd APPSEM II Workshop (APPSEM05) on the Frauenchiemsee island, Germany
on 2005-Jul-27 at the EU Project AVISPA final evaluation meeting in Brussels, Belgium
on 2005-Oct-19 at the Department of Informatics of TU Munich, Germany
from 2005-Apr-13 till Jul-13 at the TCS chair of LMU Munich, Germany
on 2005-Nov-08 by invitation to the Journes SSI du CELAR in Rennes, France
on 2005-May-19 in Everett, WA, USA
on 2005-Apr-03 on the ETAPS 2005 AVASP (Automated Validation of Security Protocols) tutorial in Edinburgh, Great Britain
on 2005-Mar-31 by invitation at the Colloquium "Logic in Computer Science" Workshop "Applications of proof assistants: Constructive mathematics, program extraction and verification" in Venice, Italy
on 2004-Oct-06 by invitation at the NICTA Workshop on Operating Systems Verification in Sydney, Australia
on 2002-Sep-14 at the ESORICS 2004 in Sophia Antipolis, France
on 2004-Jun-06 by invitation at the Oberseminar of the LFE Theoretische Informatik of LMU Munich, Germany
on 2004-Mar-01 at the information security group of ETH Zurich, Switzerland
on 2004-Oct-04 by invitation at the NICTA Workshop on Operating Systems Verification in Sydney, Australia
on 2004-Jun-18 by invitation at the Colloquium "Logic in Computer Science" in Munich, Germany
on 2004-Apr-14 by invitation at the 2nd APPSEM II Workshop in Tallinn, Estonia
on 2005-Nov-09 by invitation to the Journes SSI du CELAR in Rennes, France
on 2004-Oct-06 by invitation at the NICTA Workshop on Operating Systems Verification in Sydney, Australia
on 2004-Mar-13 by invitation to the CASSIS Workshop 2004 in Marseille, France
on 2003-Nov-05 at the ICFEM 2003 in Singapore
on 2003-May-13 at the FoMSESS first annual meeting in Karlsruhe, Germany
on 2002-Dec-18 at the FASec '02 in London, Great Britain
on 2002-Oct-15 at the ESORICS 2002 in Zurich, Switzerland
on 2002-Jun-03 (extended version) at the TUM+Siemens workshop "Security im Software Engineering" in Munich, Germany
on 2001-Apr-05 at the VIU in Venice, Italy
Corresponding Isabelle/HOLCF theory
on 2001-Feb-9 as PhD thesis defense at the Fakultt fr Informatik, TU Mnchen, Germany
on 2001-Mar-16 by invitation at INRIA Sophia Antipolis, France
on 2000-Dec-18 by invitation at the Chair for Software Engineering, Universitt Freiburg im Breisgau, Germany
on 2000-Aug-17 at the TPHOLs 2000 Poster Session in Portland (Oregon), USA
on 2000-Jun-12 at the ECOOP 2000 workshop on Formal Techniques for Java Programs in Cannes, France
on 2000-Jun-09 (extended version) at the Colloquium "Logic in Computer Science" in Munich, Germany
on 1999-Dec-13 at the FST&TCS '99 in Chennai (aka Madras), India
on 1999-Sep-30 on the annual meeting of GI FG 1.2.1 'Deduction Systems' at the CS department of the University of Kaiserslautern, Germany
on 1999-Aug-06 at the International Summer School in Marktoberdorf, Germany
on 1998-Nov-20 at the Colloquium "Logic in Computer Science" in Munich, Germany
on 1998-Nov-13 at the JavaDays '98/JIT'98, in Frankfurt/Main, Germany
on 1998-Jul-24 at the Colloquium "Logic in Computer Science" in Munich, Germany
on 1998-Jan-20 at the POPL98 Conference in San Diego, USA
on 1997-Oct-01 at the annual meeting of GI FG 1.2.1 'Deduction Systems' in IBFI Schloss Dagstuhl, Germany
on 1997-Sep-25 at the workshop on Programming Languages and Fundamentals of Programming in Avendorf, Germany
on 1997-Jul-31 by invitation at the SVRC, University of Queensland in Brisbane, Australia
on 1997-Jul-17 at the CADE-14 Conference in Townsville, Australia