Rayna Dimitrova
Scholar

Rayna Dimitrova

Google Scholar ID: HgCDGyQAAAAJ
CISPA Helmholtz Center for Information Security
Reactive SystemsVerificationSynthesisTemporal Logic
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
372
 
H-index
10
 
i10-index
11
 
Publications
20
 
Co-authors
0
 
Contact
Emaildimitrova@cispa.de
Publications
3 items
Modular Attractor Acceleration in Infinite-State Games (Full Version)
2026
Cited
0
Synthesis of Communication Policies for Multi-Agent Systems Robust to Communication Restrictions
2025
Cited
0
Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems
2025
Cited
0
Resume (English only)
Research Experience
  • Current tenure-track faculty at CISPA Helmholtz Center for Information Security
  • Former Lecturer (Assistant Professor) at the University of Sheffield, UK
  • Former Lecturer at the University of Leicester, UK
  • Postdoctoral researcher at Max Planck Institute for Software Systems, Germany
  • Postdoctoral researcher at the University of Texas at Austin, USA
Co-authors
0 total
Co-authors: 0 (list not available)