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

Correct by Prognosis: Methodology for a Contract-based refinement of Evolution Models

booktitle

CSD&M 2014

Alle Autoren

Christoph Etzien Tayfun Gezgin

Year

2014

Title

Evaluation of a State-based Real-Time Scheduling Analysis Technique

booktitle

International Conference on Industrial Informatics (INDIN2014)

Alle Autoren

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

Year

2014

Title

Impact Analysis for Timing Requirements on Real-Time Systems

booktitle

The 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA 2014)

Alle Autoren

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

Year

2014

Title

Multi-aspect Virtual Integration approach for Real-Time and Safety Properties

booktitle

International Workshop on Design and Implementation of Formal Tools and Systems (DIFTS14)

Alle Autoren

Gezgin, Tayfun and Oertel, Markus and Weber, Raphael

Year

2014

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