Tayfun Gezgin
According to our database1,
Tayfun Gezgin
authored at least 13 papers
between 2010 and 2017.
Collaborative distances:
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 OtherLinks
On csauthors.net:
Bibliography
2017
2015
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
Proceedings of the 2014 IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, 2014
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
Proceedings of the 16th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, 2013
Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013
2012
Proceedings of the 2012 Brazilian Symposium on Computing System Engineering, 2012
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012
2010
Proceedings of the FORMS/FORMAT 2010, 2010