Tayfun Gezgin

According to our database, Tayfun Gezgin authored at least 13 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2017

State-based timing analysis for distributed systems.

Tayfun Gezgin

PhD thesis, 2017

2015

State-Based Real-Time Analysis for Function Networks and Marte.

Tayfun Gezgin, Raphael Weber, Matthias Büker

Proceedings of the IEEE 18th International Symposium on Real-Time Distributed Computing, 2015

Combining an Iterative State-Based Timing Analysis with a Refinement Checking Technique.

Tayfun Gezgin, Björn Koopmann, Achim Rettberg

Proceedings of the System Level Design from HW/SW to Memory for Embedded Systems, 2015

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

Impact analysis for timing requirements on real-time systems.

Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg

Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014

Evaluation of a state-based real-time scheduling analysis technique.

Tayfun Gezgin, Stefan Henkler, Ingo Stierand, Achim Rettberg

Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Correct by Prognosis: Methodology for a Contract-Based Refinement of Evolution Models.

Tayfun Gezgin, Christoph Etzien

Proceedings of the Poster Workshop at the 2014 Complex Systems Design & Management International Conference co-located with 5th International Conference on Complex System Design & Management (CSD&M 2014), 2014

2013

Real-time scheduling interfaces and contracts for the design of distributed embedded systems.

Ingo Stierand, Philipp Reinkemeier, Tayfun Gezgin, Purandar Bhaduri

Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Contracts for evolving systems.

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

Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013

Contract-Based Compositional Scheduling Analysis for Evolving Systems.

Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

2012

Abstraction Techniques for Compositional State-Based Scheduling Analysis.

Tayfun Gezgin, Stefan Henkler, Achim Rettberg, Ingo Stierand

Proceedings of the 2012 Brazilian Symposium on Computing System Engineering, 2012

Towards a Rigorous Modeling Formalism for Systems of Systems.

Tayfun Gezgin, Christoph Etzien, Stefan Henkler, Achim Rettberg

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

2011

Using Guided Simulation to Assess Driver Assistance Systems.

Martin Fränzle, Tayfun Gezgin, Hardi Hungar, Stefan Puch, Gerald Sauter

Proceedings of the Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme VII, 2011