| 2026 | CSL | Reward Interfaces with Best-Effort Implementations. | Rafael Dewes, Rayna Dimitrova |
| 2026 | TACAS | Modular Attractor Acceleration in Infinite-State Games. | Philippe Heim, Rayna Dimitrova |
| 2025 | AAAI | Contract-based Design and Verification of Multi-Agent Systems with Quantitative Temporal Requirements. | Rafael Dewes, Rayna Dimitrova |
| 2025 | CAV | Issy: A Comprehensive Tool for Specification and Synthesis of Infinite-State Reactive Systems. | Philippe Heim, Rayna Dimitrova |
| 2025 | IJCAI | Synthesis of Communication Policies for Multi-Agent Systems Robust to Communication Restrictions. | Saleh Soudijani, Rayna Dimitrova |
| 2024 | CAV | Localized Attractor Computations for Infinite-State Games. | Anne-Kathrin Schmuck, Philippe Heim, Rayna Dimitrova, Satya Prakash Nayak |
| 2023 | ATVA | Compositional High-Quality Synthesis. | Rafael Dewes, Rayna Dimitrova |
| 2023 | TACAS | Taming Large Bounds in Synthesis from Bounded-Liveness Specifications. | Philippe Heim, Rayna Dimitrova |
| 2021 | FMCAD | Reactive Synthesis Beyond Realizability. | Rayna Dimitrova |
| 2020 | ATVA | Probabilistic Hyperproperties of Markov Decision Processes. | Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah |
| 2020 | FORTE | Conformance-Based Doping Detection for Cyber-Physical Systems. | Rayna Dimitrova, Maciej Gazda, Mohammad Reza Mousavi, Sebastian Biewer, Holger Hermanns |
| 2020 | ICRA | Near-Optimal Reactive Synthesis Incorporating Runtime Information. | Suda Bharadwaj, Abraham P. Vinod, Rayna Dimitrova, Ufuk Topcu |
| 2019 | ATVA | Approximate Automata for Omega-Regular Languages. | Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah |
| 2019 | CAV | Synthesizing Approximate Implementations for Unrealizable Specifications. | Rayna Dimitrova, Bernd Finkbeiner, Hazem Torfah |
| 2018 | ATVA | Maximum Realizability for Linear Temporal Logic Specifications. | Rayna Dimitrova, Mahsa Ghasemi, Ufuk Topcu |
| 2017 | CONCUR | The Robot Routing Problem for Collecting Aggregate Stochastic Rewards. | Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani |
| 2016 | ATVA | Symbolic Model Checking for Factored Probabilistic Models. | David Deininger, Rayna Dimitrova, Rupak Majumdar |
| 2016 | TACAS | Probabilistic CTL | Rayna Dimitrova, Luis Mara Ferrer Fioriti, Holger Hermanns, Rupak Majumdar |
| 2015 | TACAS | Approximate Counting in SMT and Value Estimation for Probabilistic Programs. | Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar |
| 2014 | EMSOFT | Deductive control synthesis for alternating-time logics. | Rayna Dimitrova, Rupak Majumdar |
| 2012 | ISoLA | Monitoring Temporal Information Flow. | Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe |
| 2012 | VMCAI | Model Checking Information Flow in Reactive Systems. | Rayna Dimitrova, Bernd Finkbeiner, Mt Kovcs, Markus N. Rabe, Helmut Seidl |
| 2009 | ATVA | Synthesis of Fault-Tolerant Distributed Systems. | Rayna Dimitrova, Bernd Finkbeiner |
| 2008 | VMCAI | Is Lazy Abstraction a Decision Procedure for Broadcast Protocols? | Rayna Dimitrova, Andreas Podelski |