Lectures

This list does not include presentations of conference publications as listed above.

  1. Security Protocol Analysis for Unicast and Multicast Using the CAPSL Integrated Protocol Environment. Invited lecture. Workshop on "Foundations for Secure/Survivable Systems and Networks", Tokyo Institute of Technology, Tokyo, Japan, January 2001.
  2. Specifying Unicast and Multicast Security Protocols Using CAPSL. Seminar on "Security through Analysis and Verification", Castle Dagstuhl, December 2000.
  3. Unicast and Multicast Protocol Analysis in CAPSL. University of Freiburg, Germany, Computer Science Department, December 2000.
  4. Formal specification and analysis of protocols using Maude, AT\&T Bell Labs Computer Science Department of University of Illinois, September 1999.
  5. Specification and Analysis of Cryptographic Protocols, University of Freiburg, Germany, Computer Science Department, May 1999.
  6. Specification of Distributed Systems -- An Object-Oriented Approach Combining Temporal Logic and Rewriting Logic, 7th Annual CSLI Workshop on Logic, Language & Computation, Center for the Study of Language and Information, Stanford University, Palo Alto, California, 29.5.-31.5.1998.
  7. On Protocol Specification Using Maude, Dagstuhl Seminar ``Information Systems as Reactive Systems'', Castle Dagstuhl, Wadern, Germany, 16.2.-20.2.1998.
  8. Formal, Object Oriented Design of Distributed Information Systems: A Temporal Logic Based Approach, Invited Lecture, Computer Science Department, Stanford University, 10.11.1997.
  9. Formal, Object Oriented Design of Distributed Information Systems: A Temporal Logic Based Approach, Logic Lunch, Computer Science Laboratory, SRI International, California, 23.10.1997.
  10. Formal Object Oriented Specification of distributed Information Systems (in german), 9.th German ENCRESS (European Network of Clubs for Reliability and Quality of Software-Intensive Systems) Workshop, Braunschweig, Germany, 23.4.1997.
  11. The Way of Specifying with Transactions: Using Linear Temporal Logic, Workshop on ``Object-Oriented Software Development'', Castle Dagstuhl, Wadern, Germany, 7.4.-11.4.1997.
  12. Communication of Distributed Objects: A Temporal Logic Approach, Seminar ``Logic for System Engineering'', Castle Dagstuhl, Wadern, Germany, 3.3.-7.3.1997.
  13. A Linear Temporal Logic Approach to Objects with Transactions, ASPIRE 1st General Meeting, Braunschweig, Germany, 21/22.2.1997.
  14. A Formal Object Oriented Approach to Software Design Using Refinement Techniques, Invited lecture, Department of Computer Science, Leiden University, The Netherlands, 12.11.1996.
  15. Some Aspects of Refining Object Specifications, Invited lecture, Departamento De Matematica, Instituto Superior Tecnico, Technical University of Lisbon, Lisbon, Portugal, 20.9.1996.
  16. Object Specification Reification - Serializability and Temporal Logics, Departamento De Matematica, Instituto Superior Tecnico, Technical University of Lisbon, Lisbon, Portugal, 16.9.1996.
  17. The TROLL Language and its Semantics, Kooperationstreffen ``Temporale Logiken für verteilte Systeme'', Cooperation Meeting, ``Temporal Logics For Distributed Systems'', R. Ramanujam, Dortmund (on leave from Institute of Mathematical Sciences, Madras, India), 28.8.1996.
  18. Semantic Refinement of Distributed Object Systems: From Actions to Transactions (in german), Invited lecture, Computer Science Colloquium, University Passay, Germany, 18.6.1996.
  19. Interleaving of Transactions Sequences: Basics For an Object-Oriented Approach (in german), Invited lecture, Computer Science Colloquium, University Muenster, Germany, 9.2.1996.
  20. Refinement in Object Specifications: Towards a Formal Approach (in german), Invited lecture, Computer Science Colloquium, University Hildesheim, Germany, 28.11.1995.
  21. Reification - Changing Viewpoint but Preserving Truth, 11th WADT and 8th General Compass Meeting, Oslo, Norway, 19.9-23.9.1995.
  22. An Event-Based Semantics for Transactions, International Workshop on Information Systems - Correctness and Reusability IS-CORE'95, Evry, France, 6.9.-9.9.1995.
  23. A Semantic Characterization of Correct Refinement of Object Specifications Based on Database Schedules, Workshop on Object-Orientation with Parallelism and Persistence, Castle Dagstuhl, Germany, 3.4-7.4.1995.
  24. Action Refinement - A Case Study in TROLL (in german), Cooperation Meeting Braunschweig/Hildesheim with the group of Prof. Dr. U. Goltz, Hildesheim, Germany, Hildesheim, 19.12.1994.
  25. Action Reification in Object-Oriented Specification, 4th ISCORE Workshop, Amsterdam, The Netherlands, 27.9-30.9.1994.
  26. On Reification in Object-Oriented Specifications, Workshop on Fundamentals of Object-Oriented Languages, Systems, and Methods, Castle Dagstuhl, Germany, 22.8-26.8.1994.
  27. Action Reification in the Context of Concurrency Control, Joint 10th WADT and 6th COMPASS Meeting, St. Margherita Ligure, Italy, 30.5-3.6.1994.
  28. An Event-Based Model for Reification in TROLL (in german), Cooperation-Meeting Braunschweig/Hildesheim with the group of Prof. Dr. U. Goltz, Hildesheim, Germany, 9.5.1994.
  29. Modules as Units for Reification, Joint ISCORE and COMPASS Meeting on Modularization, Paris, France, 7.4-8.4.1994.
  30. Transactions in Object-Oriented Specifications, Joint ISCORE and COMPASS Meeting on Object-Orientation and Concurrency, Lisbon, Portugal, 21.2-23.2.1994.
  31. Towards Reification in Object-Oriented Specifications, 5. COMPASS Workshop, Dresden, Germany, 20.9.1993.
  32. Translating TROLL light Concepts to Maude, 9th Workshop on Abstract Data Types (WADT) and 4th COMPASS Workshop, Caldes de Malavella, Spain, 26.-30.9.1992.
  33. Towards a Semantical Foundation of TROLL light, IS-CORE Subgroup1 Meeting, Lisbon, Portugal, 5.10-6.10.1992.
  34. Towards a Semantical Foundation of TROLL light (in german), 4th GI Workshop on Foundations of Databases, Barsinghausen, Germany, 9.6-12.6.1992.
  35. On Semantics and Object-Orientation, 3. COMPASS Subgroup Workshop on ``Specification of Concurrent and Object-Oriented Systems'', Berlin, 26.3-27.3.1992.


Panel

Panelist, The Wow Factor of Logics in Software Engineering, International Seminar ``Logic for System Engineering'', Castle Dagstuhl, Wadern, Germany, 3.3.-7.3.1997.

Grit Denker