Reyyan Tekin
Papers
1
Total Citations
5
H-Index
1
About
Reyyan Tekin is a researcher specializing in formal methods, real-time systems, and verification, with a focus on ensuring the reliability and safety of critical infrastructure. Their most cited work, "Hippo: A formal-model execution engine to control and verify critical real-time systems" (2021), introduces a novel execution engine that bridges formal modeling and runtime verification, enabling precise control and validation of time-sensitive systems. This contribution addresses a key challenge in cyber-physical systems: ensuring correctness under strict timing constraints. With 5 citations, the paper has already garnered attention in the formal methods community for its practical approach to integrating model checking with real-time execution. Tekin’s research is particularly impactful for domains like avionics, autonomous vehicles, and industrial control, where system failures can have catastrophic consequences. By developing tools that allow engineers to formally verify system behavior during operation, Tekin advances the state of the art in dependable computing. Their work exemplifies how formal verification can move from theory to practice, offering a robust framework for building safer, more reliable real-time systems.
Research Focus
Key Achievements
Top Papers
- 1