E-mail senden E-Mail Adresse kopieren
Forschungsgruppe

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.

Gruppenleiter:in

Rayna Dimitrova

E-Mail

Adresse

Kaiserstraße 21
66386 St. Ingbert (Germany)

Mitglieder

Rafael Dewes
Placeholder

Philippe Heim

Saleh Soudijani

Neueste Veröffentlichungen

Jahr 2025

2025-01-22

Translation of Temporal Logic for Efficient Infinite-State Reactive Synthesis

Konferenz / Medium

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

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Detail-Seite besuchen

Jahr 2024

2024-07-26

Localized Attractor Computations for Infinite-State Games

Konferenz / Medium

Computer Aided Verification (CAV)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2024-01-05

Solving Infinite-State Games via Acceleration

Konferenz / Medium

Symposium on Principles of Programming Languages (POPL)

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen

Jahr 2023

2023-10

Compositional High-Quality Synthesis

Konferenz / Medium

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

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen
2023-04-22

Taming Large Bounds in Synthesis from Bounded-Liveness Specifications

Konferenz / Medium

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

Tags
Zuverlässige Sicherheitsgarantien
Autor:innen
Zum Paper Detail-Seite besuchen