Towards a Rigorous Modeling Formalism for Systems of Systems

Titel der Konferenz

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

Alle Autoren

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

Jahr

2012

Titel

Abstraction Techniques for Compositional State-based Scheduling Analysis

Titel der Konferenz

Brazilian Symposium on Computing System Engineering

Alle Autoren

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

Jahr

2012

Using Guided Simulation to Assess Driver Assistance Systems

Titel der Konferenz

FORMS/FORMAT 2010

Jahr

2011

Titel

Predicting the Effect of Driver Assistance via Simulation

Titel der Konferenz

Human Modelling in Assisted Transportation 2010 (HMAT)

Jahr

2011

Titel

A Refinement Checking Technique for Contract-Based Architecture Designs

Titel der Konferenz

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

Alle Autoren

Gezgin, Tayfun; Weber, Raphael; Girod, Maurice

Jahr

2011

Titel

Architecture Modeling

Titel der Konferenz

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

Jahr

2011