×

zbMATH — the first resource for mathematics

Dimitrova, Rayna

Compute Distance To:
Author ID: dimitrova.rayna Recent zbMATH articles by "Dimitrova, Rayna"
Published as: Dimitrova, R.; Dimitrova, Rayna
Documents Indexed: 15 Publications since 2000

Publications by Year

Citations contained in zbMATH

10 Publications have been cited 18 times in 17 Documents Cited by Year
Flow, turbulence, and pollutant dispersion in urban atmospheres. Zbl 1190.76039
Fernando, H. J. S.; Zajic, D.; Di Sabatino, S.; Dimitrova, R.; Hedquist, B.; Dallman, A.
4
2010
Model checking information flow in reactive systems. Zbl 1326.68182
Dimitrova, Rayna; Finkbeiner, Bernd; Kovács, Máté; Rabe, Markus N.; Seidl, Helmut
3
2012
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
2
2017
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1420.68194
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
2
2015
Abstraction refinement for games with incomplete information. Zbl 1248.68327
Dimitrova, Rayna; Finkbeiner, Bernd
2
2008
Reactive synthesis with maximum realizability of linear temporal logic specifications. Zbl 1435.68193
Dimitrova, Rayna; Ghasemi, Mahsa; Topcu, Ufuk
1
2020
Reachability analysis of reversal-bounded automata on series-parallel graphs. Zbl 1390.68385
Dimitrova, Rayna; Majumdar, Rupak
1
2018
Counterexample-guided synthesis of observation predicates. Zbl 1374.68083
Dimitrova, Rayna; Finkbeiner, Bernd
1
2012
Synthesis of fault-tolerant distributed systems. Zbl 1262.68116
Dimitrova, Rayna; Finkbeiner, Bernd
1
2009
Is lazy abstraction a decision procedure for broadcast protocols? Zbl 1138.68445
Dimitrova, Rayna; Podelski, Andreas
1
2008
Reactive synthesis with maximum realizability of linear temporal logic specifications. Zbl 1435.68193
Dimitrova, Rayna; Ghasemi, Mahsa; Topcu, Ufuk
1
2020
Reachability analysis of reversal-bounded automata on series-parallel graphs. Zbl 1390.68385
Dimitrova, Rayna; Majumdar, Rupak
1
2018
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1380.68117
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
2
2017
Approximate counting in SMT and value estimation for probabilistic programs. Zbl 1420.68194
Chistikov, Dmitry; Dimitrova, Rayna; Majumdar, Rupak
2
2015
Model checking information flow in reactive systems. Zbl 1326.68182
Dimitrova, Rayna; Finkbeiner, Bernd; Kovács, Máté; Rabe, Markus N.; Seidl, Helmut
3
2012
Counterexample-guided synthesis of observation predicates. Zbl 1374.68083
Dimitrova, Rayna; Finkbeiner, Bernd
1
2012
Flow, turbulence, and pollutant dispersion in urban atmospheres. Zbl 1190.76039
Fernando, H. J. S.; Zajic, D.; Di Sabatino, S.; Dimitrova, R.; Hedquist, B.; Dallman, A.
4
2010
Synthesis of fault-tolerant distributed systems. Zbl 1262.68116
Dimitrova, Rayna; Finkbeiner, Bernd
1
2009
Abstraction refinement for games with incomplete information. Zbl 1248.68327
Dimitrova, Rayna; Finkbeiner, Bernd
2
2008
Is lazy abstraction a decision procedure for broadcast protocols? Zbl 1138.68445
Dimitrova, Rayna; Podelski, Andreas
1
2008

Citations by Year