Tayfun Gezgin

According to our database1, Tayfun Gezgin authored at least 13 papers between 2010 and 2017.

Collaborative distances:

Timeline

2010
2011
2012
2013
2014
2015
2016
2017
0
1
2
3
4
5
1
2
3
3
2
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2017
State-based timing analysis for distributed systems.
PhD thesis, 2017

2015
State-Based Real-Time Analysis for Function Networks and Marte.
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.
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.
Des. Autom. Embed. Syst., 2014

Impact analysis for timing requirements on real-time systems.
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.
Proceedings of the 12th IEEE International Conference on Industrial Informatics, 2014

Correct by Prognosis: Methodology for a Contract-Based Refinement of Evolution Models.
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.
Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Contracts for evolving systems.
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.
Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

2012
Abstraction Techniques for Compositional State-Based Scheduling Analysis.
Proceedings of the 2012 Brazilian Symposium on Computing System Engineering, 2012

Towards a Rigorous Modeling Formalism for Systems of Systems.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

2010
Using Guided Simulation to Assess Driver Assistance Systems.
Proceedings of the FORMS/FORMAT 2010, 2010


  Loading...