author-photo

Tayfun Gezgin

OFFIS

15

Papers

70

Citations

Citation Trend

Filter By

Papers (14) Sort By

Journal Conference Others

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

2015 IESS | International Embedded Systems Symposium
Show All
- Source
- Cite
- Save
Citations (0)
State-Based Real-Time Analysis for Function Networks and Marte

2015 ISORC | International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Show All
- Source
- Cite
- Save
Citations (0)
Correct by Prognosis: Methodology for a Contract-Based Refinement of Evolution Models.

2014
- Tayfun Gezgin
- Christoph Etzien
Show All
- Source
- Cite
- Save
Citations (2)
Evaluation of a state-based real-time scheduling analysis technique

2014 INDIN | International Conference on Industrial Informatics
Show All
- Source
- Cite
- Save
Citations (3)
Impact analysis for timing requirements on real-time systems

2014 RTCSA | Embedded and Real-Time Computing Systems and Applications
Show All
- Source
- Cite
- Save
Citations (3)
State-based scheduling analysis for distributed real-time systems

2014 Design Automation for Embedded Systems
Show All
- Source
- Cite
- Save
Citations (4)
Contract-Based Compositional Scheduling Analysis for Evolving Systems

2013 IESS | International Embedded Systems Symposium
Show All
- Source
- Cite
- Save
Citations (2)
Contracts for evolving systems

2013 ISORC | International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
Show All
- Source
- Cite
- Save
Citations (7)
Real-time scheduling interfaces and contracts for the design of distributed embedded systems

2013 SIES | International Symposium on Industrial Embedded Systems
Show All
- Source
- Cite
- Save
Citations (13)
Abstraction Techniques for Compositional State-Based Scheduling Analysis

2012
Show All
- Source
- Cite
- Save
Citations (4)