Concepedia

Tayfun Gezgin

TG

2

Publications

46

Citations

2

H-Index

2012

Active since

Affiliations

Carl von Ossietzky Universität Oldenburg(Current)

Oldenburger Institut für Informatik

Tayfun Gezgin is an author at Carl von Ossietzky Universität Oldenburg specializing in formal verification, formal methods, and engineering.

Top concepts

EngineeringFormal MethodsComputer ScienceDistributed SystemsFormal VerificationSystems EngineeringDesignAutomationVerificationComplex Systems

Publications per year

2012–2013

2

Publications

2

Towards a Rigorous Modeling Formalism for Systems of Systems

Tayfun Gezgin, Christoph Etzien, Stefan Henkler et al. · 2012 · 29 citations

Engineering, Verification, Dependable System Architecture +19

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

Ingo Stierand, Philipp Reinkemeier, Tayfun Gezgin et al. · 2013 · 17 citations

Real-time Interfaces, Engineering, Real-time Scheduling Constraints +20

Rows per page

1–2 of 2