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

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