Invited Lectures

  1. Program Analysis with Dynamic Change of Precision.
    University of California, Berkeley (CA), 2009-04-16.
  2. Panelist on Talent, University-Industry Cooperation, and Curriculum Development.
    Pacific Northwest Wireless Summit 2009 (PNWS’09), Vancouver, 2009-01-19.
  3. Datenfluss-Analyse mit dynamischer Anpassung der Genauigkeit.
    Brandenburg University of Technology, Cottbus, 2008-11-07.
  4. Predicate Abstraction with Summarization.
    TRESOR Seminar at EPFL, Lausanne, 2008-11-05.
  5. Building Software-Engineering Tools in Academia.
    Second International Workshop on Advanced Software Development Tools and Techniques (WASDeTT’08), Workshop at ICSM’09, Beijing, 2008-10-03.
  6. Struktur-Analyse und Verifikation Großer Software-Systeme
    University of Passau, Passau, 2008-07-21.
  7. Teaching Software Engineering on Mobile Devices.
    Nokia University Relations Forum, Nokia, Burnaby, 2008-06-12.
  8. The Software Model Checker Blast.
    Guest Lecture in Viktor Kuncak’s Verification Course, EPFL-IC-LARA, Lausanne, 2008-05-08.
  9. Structure Analysis of Large Software Systems.
    University of Victoria, Victoria, 2007-09-21.
  10. Path Invariants.
    University of British Columbia, Vancouver, 2007-06-20.
  11. Web Service Interfaces.
    Workshop on Constraints for Composing Web Services, LORIA, Nancy, 2006-06-27.
  12. Combining Model Checking and Shape Analysis.
    Dagstuhl Seminar 06081 “Software Verification”, 2006-02-20.
  13. Structure Analysis of Large Software Systems.
    Oxford University, 2006-02-14.
  14. Formal and Semi-Formal Methods in Software Engineering.
    IT University, Göteborg, 2005-12-15.
  15. Combining Data Flow Analysis with Lazy Abstraction Refinement in Blast.
    Politecnico di Milano, 2005-12-02.
  16. Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata.
    Fraunhofer-Gesellschaft FIRST, Berlin, 2003-04-11.
  17. Efficient BDD Representation for Reachability Analysis of Timed Automata.
    Carnegie Mellon University, Pittsburgh (PA), 2003-01-14.
  18. A Modular Approach for Formal Verification of Real-Time Systems.
    Software Engineering Institute, Pittsburgh (PA), 2003-01-10.
  19. Improvements in BDD-based Reachability Analysis of Timed Automata.
    Naval Research Laboratory, Washington (D.C.), 2001-04-23.
  20. Entwurfsmuster: Eine Einführung.
    PC-Soft GmbH, Senftenberg, 1997-12-16.

Conference and Other Presentations

  1. Evolution Storyboards: Visualization of Software Structure Dynamics.
    14th International Conference on Program Comprehension
    ICPC 2006, Athens, 2006-06-16.
  2. Co-change Visualization Applied to PostgreSQL and ArgoUML.
    3rd International Workshop on Mining Software Repositories
    MSR 2006, Shanghai, 2006-05-23.
  3. Co-Change Visualization.
    21st IEEE International Conference on Software Maintenance
    ICSM 2005, Budapest, 2005-09-26.
  4. Clustering Software Artifacts Based on Frequent Common Changes.
    13th IEEE International Workshop on Program Comprehension
    IWPC 2005, St. Louis, 2005-05-16.
  5. CrocoPat: An Efficient Calculator for Relational Programs.
    TRESOR seminar, EPFL, Lausanne, 2005-04-14.
  6. An Introduction to Binary Decision Diagrams.
    CAV lecture, EPFL, Lausanne, 2004-11-18.
  7. An Eclipse Plug-in for Model Checking.
    12th IEEE International Workshop on Program Comprehension
    IWPC 2004, Bari, 2004-06-26.
  8. Generating Tests from Counterexamples.
    26th International Conference on Software Engineering
    ICSE 2004, Edinburgh, 2004-05-27.
  9. Generating Tests from Counterexamples.
    EPFL, Lausanne, 2004-05-18.
  10. Simple and Efficient Relational Querying.
    OSQ seminar, University of California, Berkeley (CA), 2004-02-02.
  11. How to Make Model Checking of Timed Automata Efficient.
    University of California, Berkeley (CA), 2003-10-29.
  12. Rabbit: A Tool for BDD-based Verification of Real-Time Systems.
    15th International Conference on Computer Aided Verification
    CAV 2003, Boulder (CO), 2003-07-09.
  13. CrocoPat: Efficient Pattern Analysis in Object-Oriented Programs.
    11th IEEE International Workshop on Program Comprehension
    IWPC 2003, Portland (OR), 2003-05-11.
  14. Formale Verifikation von Realzeit-Systemen mittels Cottbus Timed Automata.
    Dissertation, Cottbus, 2002-11-26.
  15. Efficient Reachability Analysis and Refinement Checking of Timed Automata using BDDs.
    11th IFIP Working Conference on Correct Hardware Design and Verification Methods
    CHARME 2001, Livingston, 2001-09-04.
  16. Verification of Real-Time Systems.
    Workshop on Real-Time Tools
    RT-TOOLS 2001, Aalborg, 2001-08-20.
  17. Efficient Verification of Timed Automata using BDDs.
    6th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
    FMICS 2001, Paris, 2001-07-16.
  18. Different Strategies for BDD-based Reachability Analysis of Timed Automata.
    2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems
    FSCBS 2001, Washington (D.C.), 2001-04-20.
  19. Cottbus Timed Automata: Formal Definition and Semantics.
    2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems
    FSCBS 2001, Washington (D.C.), 2001-04-20.
  20. Improvements in BDD-based Reachability Analysis of Timed Automata.
    10th International Symposium of Formal Methods Europe
    FME 2001, Berlin, 2001-03-15.
  21. A Tool for Modular Modelling and Verification of Hybrid Systems.
    25th IFAC/IFIP Workshop on Real-Time Programming
    WRTP 2000, Palma, 2000-05-19.
  22. Modular Modelling and Verification with Cottbus Timed Automata.
    IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems
    FSCBS 2000, Edinburgh, 2000-04-06.
  23. Modelling and Analysing a Railroad Crossing in a Modular Way.
    5th International ERCIM Workshop on Formal Methods for Industrial Critical Systems
    FMICS 2000, Berlin, 2000-04-04.
  24. Concepts of Cottbus Timed Automata.
    Workshop Formale Beschreibungstechniken für verteilte Systeme
    FBT 1999, München, 1999-06-17.
  25. Ein Analysewerkzeug für zeitbehaftete Automaten.
    Diplomarbeit, Cottbus, 1998-06-30.
  26. Modeling a Production Cell as a Distributed Real-Time System with Cottbus Timed Automata.
    Workshop Formale Beschreibungstechniken für verteilte Systeme
    FBT 1998, Cottbus, 1998-06-04.
© Dirk Beyer
This document was translated from LATEX by HEVEA.