Follow
Rayna Dimitrova
Rayna Dimitrova
CISPA Helmholtz Center for Information Security
Verified email at cispa.de - Homepage
Title
Cited by
Cited by
Year
Model Checking Information Flow in Reactive Systems.
R Dimitrova, B Finkbeiner, M Kovács, MN Rabe, H Seidl
VMCAI, 169-185, 2012
832012
Approximate counting in SMT and value estimation for probabilistic programs
D Chistikov, R Dimitrova, R Majumdar
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
752015
Synthesis of surveillance strategies via belief abstraction
S Bharadwaj, R Dimitrova, U Topcu
2018 IEEE Conference on Decision and Control (CDC), 4159-4166, 2018
282018
Deductive control synthesis for alternating-time logics
R Dimitrova, R Majumdar
Proceedings of the 14th International Conference on Embedded Software, 1-10, 2014
242014
Probabilistic hyperproperties of Markov decision processes
R Dimitrova, B Finkbeiner, H Torfah
Automated Technology for Verification and Analysis: 18th International …, 2020
232020
Synthesis of fault-tolerant distributed systems
R Dimitrova, B Finkbeiner
Automated Technology for Verification and Analysis: 7th International …, 2009
192009
Abstraction refinement for games with incomplete information
R Dimitrova, B Finkbeiner
IARCS Annual Conference on Foundations of Software Technology and …, 2008
192008
Maximum realizability for linear temporal logic specifications
R Dimitrova, M Ghasemi, U Topcu
Automated Technology for Verification and Analysis: 16th International …, 2018
182018
Synthesis of minimum-cost shields for multi-agent systems
S Bharadwaj, R Bloem, R Dimitrova, B Konighofer, U Topcu
2019 American Control Conference (ACC), 1048-1055, 2019
142019
Abstractions and sensor design in partial-information, reactive controller synthesis
J Fu, R Dimitrova, U Topcu
2014 American Control Conference, 2297-2304, 2014
132014
Counterexample-guided synthesis of observation predicates
R Dimitrova, B Finkbeiner
Formal Modeling and Analysis of Timed Systems: 10th International Conference …, 2012
122012
Probabilistic CTL: The deductive way
R Dimitrova, LM Ferrer Fioriti, H Hermanns, R Majumdar
Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016
112016
Monitoring temporal information flow
R Dimitrova, B Finkbeiner, MN Rabe
Leveraging Applications of Formal Methods, Verification and Validation …, 2012
82012
Is lazy abstraction a decision procedure for broadcast protocols?
R Dimitrova, A Podelski
Verification, Model Checking, and Abstract Interpretation: 9th International …, 2008
82008
Reactive synthesis with maximum realizability of linear temporal logic specifications
R Dimitrova, M Ghasemi, U Topcu
Acta Informatica 57, 107-135, 2020
72020
Causality analysis for concurrent reactive systems
R Dimitrova, R Majumdar, VS Prabhu
arXiv preprint arXiv:1901.00589, 2019
72019
Synthesis of minimum-cost shields for distributed systems
S Bharadwaj, R Bloem, R Dimitrova, B Könighofer, U Topcu
2019 Annual American Control Conference, ACC, 10-12, 2019
62019
Synthesizing approximate implementations for unrealizable specifications
R Dimitrova, B Finkbeiner, H Torfah
Computer Aided Verification: 31st International Conference, CAV 2019, New …, 2019
62019
Distributed synthesis of surveillance strategies for mobile sensors
S Bharadwaj, R Dimitrova, U Topcu
2018 IEEE Conference on Decision and Control (CDC), 3335-3342, 2018
52018
Robust optimal policies for Markov decision processes with safety-threshold constraints
R Dimitrova, J Fu, U Topcu
2016 IEEE 55th Conference on Decision and Control (CDC), 7081-7086, 2016
52016
The system can't perform the operation now. Try again later.
Articles 1–20