Person

Dipl.-Inform. Tayfun Gezgin

 

Research and Developement Division

Verkehr / E/E Architektur Analyse & Design

 

Room

O123

Phone

+49 441 9722 - 526

E-Mail

gezgin [ A T ] offis.de

 

Publications

Title

Contract-Based Compositional Scheduling Analysis for Evolving Systems

booktitle

Embedded Systems: Design, Analysis and Verification

Title of Conference

International Embedded Systems Symposium 2013

Alle Autoren

Gezgin, Tayfun and Henkler, Stefan and Rettberg, Achim and Stierand, Ingo

Year

2013

Title

Contracts for Evolving Systems

Title of Conference

Self-Organizing Real-Time Systems 2013

Alle Autoren

Etzien, Christoph and Gezgin, Tayfun and Fröschle, Sibylle and Henkler, Stefan and Rettberg, Achim

Year

2013

Title

Real-Time Scheduling Interfaces and Contracts for the Design of Distributed Embedded Systems

Title of Conference

IEEE International Symposium on Industrial Embedded Systems (SIES) 2013

Alle Autoren

Stierand, Ingo and Reinkemeier, Philipp and Gezgin, Tayfun and Bhaduri, Purandar

Year

2013

Title

State-based scheduling analysis for distributed real-time systems

booktitle

Design Automation for Embedded Systems

Alle Autoren

Gezgin, Tayfun and Stierand, Ingo and Henkler, Stefan and Rettberg, Achim

Year

2013

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

Title

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 and Etzien Christoph and Henkler, Stefan, Rettberg, Achim

Year

2012

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 and Weber, Raphael and Girod, Maurice

Year

2011

Title

Architecture Modeling

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

Title

Predicting the Effect of Driver Assistance via Simulation

Title of Conference

Human Modelling in Assisted Transportation 2010 (HMAT)

Year

2011

Title

Using Guided Simulation to Assess Driver Assistance Systems

Title of Conference

FORMS/FORMAT 2010

Year

2011