Send email Copy Email Address
Research Group

Dimitrova

Our research focuses on the verification and synthesis of reactive systems, applications of formal methods to control and robotics, quantitative verification of probabilistic systems, and information-flow security. We address the analysis of complex system models against correctness requirements formalized in expressive formal specification languages.

Head of Group

Rayna Dimitrova

Email

Address

Kaiserstraße 21
66386 St. Ingbert (Germany)

Most Recent Publications

Year 2025

Conference / Medium

52nd ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2025)

Year 2024

Conference / Medium

Computer Aided Verification (CAV)

Conference / Medium

Symposium on Principles of Programming Languages (POPL)

Year 2023

Conference / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Conference / Medium

Tools and Algorithms for Construction and Analysis of Systems (TACAS)