Using Guided Simulation to Assess Driver Assistance Systems. - Martin Fränzle; Tayfun Gezgin; Hardi Hungar; Stefan Puch; Gerald Sauter (FORMS/FORMAT, 2010)

Towards a Rigorous Modeling Formalism for Systems of Systems. - Tayfun Gezgin; Christoph Etzien; Stefan Henkler; Achim Rettberg (ISORC Workshops, 2012)

Abstraction Techniques for Compositional State-Based Scheduling Analysis. - Tayfun Gezgin; Stefan Henkler; Achim Rettberg; Ingo Stierand (SBESC, 2012)

Contract-Based Compositional Scheduling Analysis for Evolving Systems. - Tayfun Gezgin; Stefan Henkler; Achim Rettberg; Ingo Stierand (IESS, 2013)

Contracts for evolving systems. - Christoph Etzien; Tayfun Gezgin; Sibylle B. Fröschle; Stefan Henkler; Achim Rettberg (ISORC, 2013)

Real-time scheduling interfaces and contracts for the design of distributed embedded systems. - Ingo Stierand; Philipp Reinkemeier; Tayfun Gezgin; Purandar Bhaduri (SIES, 2013)

Correct by Prognosis: Methodology for a Contract-Based Refinement of Evolution Models. - Tayfun Gezgin; Christoph Etzien (CSDM (Posters), 2014)

Evaluation of a state-based real-time scheduling analysis technique. - Tayfun Gezgin; Stefan Henkler; Ingo Stierand; Achim Rettberg (INDIN, 2014)

Impact analysis for timing requirements on real-time systems. - Tayfun Gezgin; Stefan Henkler; Ingo Stierand; Achim Rettberg (RTCSA, 2014)

State-based scheduling analysis for distributed real-time systems - Coping with the large state space by a compositional approach. - Tayfun Gezgin; Ingo Stierand; Stefan Henkler; Achim Rettberg (Des. Autom. Embed. Syst., 2014)

Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique. - Tayfun Gezgin; Björn Koopmann; Achim Rettberg (IESS, 2015)

State-Based Real-Time Analysis for Function Networks and Marte. - Tayfun Gezgin; Raphael Weber; Matthias Büker (ISORC, 2015)

State-based timing analysis for distributed systems. - Tayfun Gezgin (2017)