Reyyan Tekin
Papers
1
Total Citations
5
H-Index
1
About
No biography available yet.
Research Focus
Asynchronous communication1 · 5 citations
Code generation1 · 5 citations
Compiler1 · 5 citations
Computer science1 · 5 citations
Distributed computing1 · 5 citations
Embedded system1 · 5 citations
Executable1 · 5 citations
Execution model1 · 5 citations
Model checking1 · 5 citations
Operating system1 · 5 citations
Programming language1 · 5 citations
Software1 · 5 citations
Key Achievements
1
H-Index
1
Papers
5
Total Citations
5
Avg Citations/Paper
🏆 Most Cited Paper
Hippo: A formal-model execution engine to control and verify critical real-time systems
5 citations · 2021
📈 Most Prolific Year: 2021 (1 Papers)
🤝 Key Collaborators: 3
🏛 Institutions: Centre National de la Recherche Scientifique
Top Papers
- 1
Key Collaborators
Not generated yet