Roland Weiss

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.