Tayfun Gezgin

Publication Activity (10 Years)

Years Active: 2010-2015
Publications (10 Years): 2

Top Venues

IESS

ISORC

ISORC Workshops

RTCSA

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Tayfun Gezgin, Raphael Weber, Matthias Büker
State-Based Real-Time Analysis for Function Networks and Marte. ISORC (2015)
Tayfun Gezgin, Björn Koopmann, Achim Rettberg
Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique. IESS (2015)
Tayfun Gezgin, Ingo Stierand, Stefan Henkler, Achim Rettberg
State-based scheduling analysis for distributed real-time systems - Coping with the large state space by a compositional approach. Des. Autom. Embed. Syst. 18 (1-2) (2014)
Tayfun Gezgin, Christoph Etzien
Correct by Prognosis: Methodology for a Contract-Based Refinement of Evolution Models. CSDM (Posters) (2014)
Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg
Impact analysis for timing requirements on real-time systems. RTCSA (2014)
Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg
Evaluation of a state-based real-time scheduling analysis technique. INDIN (2014)
Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand
Contract-Based Compositional Scheduling Analysis for Evolving Systems. IESS (2013)
Christoph Etzien, Tayfun Gezgin, Sibylle B. Fröschle, Stefan Henkler, Achim Rettberg
Contracts for evolving systems. ISORC (2013)
Ingo Stierand, Philipp Reinkemeier, Tayfun Gezgin, Purandar Bhaduri
Real-time scheduling interfaces and contracts for the design of distributed embedded systems. SIES (2013)
Tayfun Gezgin, Christoph Etzien, Stefan Henkler, Achim Rettberg
Towards a Rigorous Modeling Formalism for Systems of Systems. ISORC Workshops (2012)
Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand
Abstraction Techniques for Compositional State-Based Scheduling Analysis. SBESC (2012)
Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter
Using Guided Simulation to Assess Driver Assistance Systems. MBEES (2011)
Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter
Using Guided Simulation to Assess Driver Assistance Systems. FORMS/FORMAT (2010)

Tayfun Gezgin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tayfun Gezgin