|
Research
Talks
March 2005 |
Property Checking of HW/SW-Systems
VLSI 2005, Saas Almagell, Switzerland.
|
September 2004 |
GRASP - Grafische Spezifikation und Echtzeitverifikation von Produktionsautomatisierungssystemen
DFG colloquium, DFG-SPP 1064, University of Stuttgart, Germany.
|
September 2004 |
Symbolic Model Checking and Simulation with Temporal Assertions
Invited talk at Forum on Specification and Design Languages, FDL 04, Lille, France.
|
November 2003 |
Modellierung und Verifikation eines holonischen Materialfluss-Systems mit formalen und semiformalen Methoden
DFG colloquium, DFG-SPP 1064, University of Stuttgart, Germany.
|
October 2003 |
Formal Methods Group: Overview and Ongoing Research
Seminar talk, Computer Engineering Group, University of Tübingen, Germany.
|
July 2003 |
Storing Properties in Grouped Tagged Tuples
Perspectives of System Informatics (PSI 03) Conference, Akademgorodok, Russia.
|
June 2003 |
Reuse in the Software Development Process
Colloquium, Chalmers University of Technology, Gothenburg, Sweden.
|
January 2003 |
Compiling and Distributing Generic Libraries with Heterogeneous
Data and Code Representation
Doctorate's colloquium, University of Tübingen, Germany.
|
November 2002 |
C++ Templates as Partial Evaluation
Seminar talk, Computeralgebra Group, University of Tübingen, Germany.
|
July 2001 |
Exploring Template Template Parameters
Perspectives of System Informatics (PSI 01) Conference, Akademgorodok, Russia.
|
April 2001 |
XGILF - Compiling and Linking Generic Libraries
Seminar talk, Computeralgebra Group, University of Tübingen, Germany.
|
February 2001 |
Feature Modeling: Feature Models & Diagrams
Seminar talk, Computeralgebra Group, University of Tübingen, Germany.
|
November 2000 |
Generic Programming: Basics and Applications
Invited talk at Advanced Programming Seminar,
Programming Languages and Compilers Group, University of Tübingen, Germany.
|
March 2000 |
Introduction to XSL
Seminar talk, Computeralgebra Group, University of Tübingen, Germany.
|
October 1999 |
Compiling and Linking Generic Libraries - Impact on the SuchThat
Runtime-System
Seminar talk, Computeralgebra Group, University of Tübingen, Germany.
|
July 1999 |
Heterogeneous, Nested STL Containers in C++
Perspectives of System Informatics (PSI 99) Conference, Akademgorodok, Russia.
|
January 1998 |
Introduction to Tecton
Seminar talk, Computeralgebra Group, University of Tübingen, Germany.
|
|