Quicklinks

Portrait of Person: Rayna Dimitrova

Rayna Dimitrova (Faculty)
 
 Stuhlsatzenhaus 5 | 66123 Saarbrücken | 

Publications:

Title Date Date
 2015
TACAS
2015
 Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
 NRA2
 Proc. 21st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 15)
 2015
2015
 Dmitry Chistikov, Rayna Dimitrova, Rupak Majumdar
 
 Tools and Algorithms for the Construction and Analysis of Systems - 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings
 2012
2012
 Rayna Dimitrova, Bernd Finkbeiner
 NRA2
 Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS'12)
 2014
EMSOFT
2014
 Rayna Dimitrova, Rupak Majumdar
 NRA2
 Proc. of the International Conference on Embedded Software (EMSOFT 2014)
 2013
2013
 Rayna Dimitrova, Bernd Finkbeiner
 NRA2
 Proceedings 1st International Workshop on Strategic Reasoning (SR'13)
 2012
2012
 Rayna Dimitrova, Bernd Finkbeiner, Máté Kovács, Markus N. Rabe, Helmut Seidl
 NRA2
 Proc. 13th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI)
 2012
2012
 Rayna Dimitrova, Bernd Finkbeiner, Markus N. Rabe
 NRA2
 Proc. 5th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
 2016
TACAS
2016
 Rayna Dimitrova, Luis María Ferrer Fioriti, Holger Hermanns, Rupak Majumdar
 NRA2
 Proc. 22nd International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 16)
 2015
2015
 Rayna Dimitrova, Rupak Majumdar
 NRA2
 Proceedings of 6th International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2015)
 2015
2015
 Rayna Dimitrova, Rupak Majumdar
 
 Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015.
 2016
ATVA
2016
 David Deininger, Rayna Dimitrova, Rupak Majumdar
 NRA2
 Proc. of the 14th International Symposium on Automated Technology for Verification and Analysis (ATVA 2016)
 2017
CONCUR
2017
 Rayna Dimitrova, Ivan Gavran, Rupak Majumdar, Vinayak S. Prabhu, Sadegh Esmaeil Zadeh Soudjani
 
 28th International Conference on Concurrency Theory, CONCUR 2017, September 5-8, 2017, Berlin, Germany