Towards a Rigorous Modeling Formalism for Systems of Systems

Title of Conference

Third IEEE Workshop on Self-Organizing Real-Time Systems - SORT 2012

Alle Autoren

Gezgin, Tayfun; Etzien Christoph; Henkler, Stefan, Rettberg, Achim

Year

2012

Title

Abstraction Techniques for Compositional State-based Scheduling Analysis

Title of Conference

Brazilian Symposium on Computing System Engineering

Alle Autoren

Gezgin, T. and Henkler, S. and Rettberg, A. and Stierand, I.

Year

2012

Using Guided Simulation to Assess Driver Assistance Systems

Title of Conference

FORMS/FORMAT 2010

Year

2011

Title

Predicting the Effect of Driver Assistance via Simulation

Title of Conference

Human Modelling in Assisted Transportation 2010 (HMAT)

Year

2011

Title

A Refinement Checking Technique for Contract-Based Architecture Designs

Title of Conference

Fourth International Workshop on Model Based Architecting and Construction of Embedded Systems

Alle Autoren

Gezgin, Tayfun; Weber, Raphael; Girod, Maurice

Year

2011

Title

Architecture Modeling

Title of Conference

OFFIS Technical Report

Alle Autoren

Andreas Baumgart, Eckard Böde, Matthias Büker, Werner Damm, Günter Ehmen, Tayfun Gezgin, Stefan Henkler, Hardi Hungar, Bernhard Josko, Markus Oertel, Thomas Peikenkamp, Philipp Reinkemeier, Ingo Stierand, Raphael Weber

Year

2011