Tayfun Gezgin

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