Koray İnçki is an author at Özyeğin University specializing in engineering, computer science, and formal methods.
Top concepts
EngineeringComputer ScienceVerificationFormal MethodsInternet Of ThingsFormal VerificationSystems EngineeringComputer EngineeringIndustrial InformaticsCloud Computing
Publications per year
2012–2018
4
4
A Survey of Software Testing in the Cloud
Koray İnçki, Hasan Sözer · 2012 · 82 citations
Software Maintenance, Engineering, Cloud Computing Architecture +17
A Novel Runtime Verification Solution for IoT Systems
Koray İnçki · IEEE Access · 2018 · 29 citations · Full text
Event-driven Architecture, Engineering, Runtime Verification +15
Model-Based Runtime Monitoring of Smart City Systems
Koray İnçki · Procedia Computer Science · 2018 · 18 citations · Full text
Rows per page
1–4 of 4