Vorträge

2011

Achim D. Brucker und Helmut Petritsch. Analyzing Access Control Overrides. PoFI 2011, Pisa, Italy, 9. jun. 2011.
(Folien) (Handout) (BibTeX) ( )

Michael Altenhofen und Achim D. Brucker. Practical Issues with Formal Specifications: Lessons Learned from an Industrial Case Study. FMICS 2010, Antwerp, Belgium, 21. sep. 2010.
(Folien) (Handout) (BibTeX) ( )
Achim D. Brucker. Research Challenges: Securing the Internet of Service. Achtes Jahrestreffen der GI Fachgruppe Formale Methoden und Software Engineering für Sichere Systeme (FoMSESS), Berlin, Germany, 27. apr. 2010.
(BibTeX) ( )
Achim D. Brucker. Encoding Object-oriented Datatypes in HOL: Extensible Records Revisited. Isabelle Developers Workshop (IDW), Cambridge, UK, 28. jun. 2010.
(Folien) (Handout) (BibTeX) ( )

Achim D. Brucker. Integrating Automated and Interactive Protocol Verification. Computer Science Colloquium at the German Research Center for Artificial Intelligence (DFKI), Saarbrücken, Germany, 09. dec. 2009.
(BibTeX) ( )
Achim D. Brucker und Sebastian A. Mödersheim. Integrating Automated and Interactive Protocol Verification. Workshop on Formal Aspects in Security and Trust (FAST 2009), Eindhoven, The Netherlands, 06. nov. 2009.
(BibTeX) ( )
Achim D. Brucker und Helmut Petritsch. Extending Access Control Models with Break-glass. ACM symposium on access control models and technologies (SACMAT), Strea, Italy, 05. jun. 2009.
(Folien) (Handout) (BibTeX) ( )
Achim D. Brucker und Burkhart Wolff. HOL-TestGen: An Interactive Test-case Generation Framework. Fundamental Approaches to Software Engineering (FASE09), York, UK, 27. mar. 2009.
(Folien) (Handout) (BibTeX) ( )

Achim D. Brucker. Model-driven Security with Support for Formal Analysis Methods. Karlsruher Fachkreis IT Sicherheit, Karlsruhe, Germany, 29. jan. 2008.
(BibTeX) ( )
Achim D. Brucker. Model-driven Security - An Introduction to SecureUML. Security and Trust Summit, Sophia-Antipolis, France, 18. apr. 2008.
(BibTeX) ( )
Achim D. Brucker. HOL-OCL Tool Demonstration. OCL Workshop at the UML/MoDELS Conferences 2008, Toulouse, France, 30. sep. 2008.
(Folien) (Handout) (BibTeX) ( )
Achim D. Brucker. Formal Analysis of UML/OCL Models. Computer Science Colloquium at the University Bremen, Bremen, Germany, 29. oct. 2008.
(Folien) (Handout) (BibTeX) ( )
Achim D. Brucker und Burkhart Wolff. HOL-OCL - A Formal Proof Environment for UML/OCL. Fundamental Approaches to Software Engineering (FASE08), Budapest, Hungary, 31. mar. 2008.
(Folien) (Handout) (BibTeX) ( )
Achim D. Brucker und Burkhart Wolff. Analyzing UML/OCL Models with HOL-OCL. Tutorial at MoDELS 2008, Toulouse, France, 28. sep. 2008.
(Folien) (Handout) (BibTeX) ( )

Achim D. Brucker. Verification of UML/OCL Specifications with HOL-OCL. Invited guest lecture, part of the lecture "Formal Specification and Verification" (WS 2006), Innsbruck, Austria, 8. jan. 2007.
(Folien) (Handout) (BibTeX) ( )
Achim D. Brucker. An Application of Isabelle/HOL: HOL-OCL. Part of the lecture "Computer supported Modeling and Reasoning" (WS 2006), ETH Zurich, Switzerland, 31. jan. 2007.
(Folien) (Handout) (BibTeX) ( )
Achim D. Brucker. An Interactive Proof Environment for Object-oriented Specifications. Ph.D. Defense, ETH Zurich, Switzerland, 9. mar. 2007.
(Folien) (Handout) (BibTeX) ( )
Achim D. Brucker und Burkhart Wolff. Theorem-prover based Testing with HOL-TestGen. Tutorial at Testcom/Fates 2007, Tallinn, Estonia, 26. jun. 2007.
(Folien) (Handout) (BibTeX) ( )

Achim D. Brucker und Jürgen Doser und Burkhart Wolff. Semantic Issues of OCL: Past, Present, and Future. OCL for (Meta-) Models in Multiple Application Domains (OclApps 2006), Genova, Italy, 2. oct. 2006.
(Folien) (Handout) (BibTeX) ( )
Achim D. Brucker und Jürgen Doser und Burkhart Wolff. A Model Transformation Semantics and Analysis Methodology for SecureUML. Model-driven Engineering Langauges and Systems (MoDELs 2006), Genova, Italy, 4. oct. 2006.
(Folien) (Handout) (BibTeX) ( )

Achim D. Brucker. A Shallow Embedding of OCL into Isabelle/HOL and its Application to Formal Testing. Meeting with the Information Security and Cryptography Group, ETH Zurich, Switzerland, 9. mar. 2004.
(Folien) (Handout) (BibTeX) ( )
Achim D. Brucker. Applied Web and Network Security. Industry Course: Information Security Fundamentals, ETH Zurich, Switzerland, 23. mar. 2004.
(Folien) (Handout) (BibTeX) ( )
Achim D. Brucker. The KeY-Tool. Seminar: Specification and Verification of Object-oriented Software, ETH Zurich, Switzerland, 21. jan. 2004.
(Folien) (Handout) (BibTeX) ( )

Achim D. Brucker und Burkhart Wolff. HOL-OCL: Embedding OCL into Isabelle/HOL. 1. OCL-Treffen, Karlsruhe, Germany, 17. jan. 2003.
(Folien) (Handout) (BibTeX) ( )
Achim D. Brucker und Burkhart Wolff. A Case Study of a Formalized Security Architecture. FMICS 2003, Røros, Norway, 5. jun. 2003.
(Folien) (Handout) (BibTeX) ( )

Achim D. Brucker. CASE tool-based system development using UML/OCL. Meeting with Micronas AG, Freiburg, Germany, 12. apr. 2002.
(Folien) (Handout) (BibTeX) ( )
Achim D. Brucker. OCL: Bridging the Gap between Semi-Formal and Formal Specification. Meeting with Hitatchi, Freiburg, Germany, 30. sep. 2002.
(Folien) (Handout) (BibTeX) ( )
Achim D. Brucker und Burkhart Wolff. HOL-OCL: Experiences, Consequences and Design Choices. UML 2002, Dresden, Germany, 3. oct. 2002.
(Folien) (Handout) (BibTeX) ( )

Achim D. Brucker. Security-Enhanced Linux: Implementation of a Formal Security Architecture. , 22. jun. 2001.
(Folien) (Handout) (BibTeX) ( )
Achim D. Brucker. Semi-formale Methoden bei der Entwicklung verteilter Systeme. IKOM-2, Freiburg, Germany, 7. mai. 2001.
(Folien) (Handout) (BibTeX) ( )
Achim D. Brucker und Burkhart Wolff. Testing Distributed Component Based Systems Using UML/OCL. Info 2001, Wien, Austria, 26. sep. 2001.
(Folien) (Handout) (BibTeX) ( )