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.
Download:
[pdf: 1.0 MB]
[pdf.gz: 790 KB]
|
| 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.
Download:
[pdf: 1.0 MB]
[pdf.gz: 0.2 MB]
|
| June 2003 |
Reuse in the Software Development Process
Colloquium, Chalmers University of Technology, Gothenburg, Sweden.
Download:
[pdf: 0.8 MB]
[pdf.gz: 0.3 MB]
|
| 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.
|