Veselin Raychev
发表
Eran Yahav,
Martin T. Vechev,
Veselin Raychev,
2013,
SAS.
Manu Sridharan,
Martin T. Vechev,
Veselin Raychev,
2013,
OOPSLA.
Martin T. Vechev,
Petar Tsankov,
Veselin Raychev,
2016
.
Martin T. Vechev,
A. Krause,
Veselin Raychev,
2016,
POPL.
Eran Yahav,
Martin T. Vechev,
Veselin Raychev,
2014,
PLDI.
Andreas Krause,
Martin T. Vechev,
Veselin Raychev,
2015,
POPL.
Martin T. Vechev,
Pavol Bielik,
Veselin Raychev,
2016,
OOPSLA.
Martin Vechev,
Martin T. Vechev,
Veselin Raychev,
2021,
ICML.
Petar Tsankov,
Martin T. Vechev,
Veselin Raychev,
2016,
CCS.
Martin T. Vechev,
Pavol Bielik,
Veselin Raychev,
2016,
ICML.
Andreas Krause,
Martin T. Vechev,
Pavol Bielik,
2016,
POPL.
Martin T. Vechev,
Veselin Raychev,
Svetoslav Karaivanov,
2014,
Onward!.
Dimitar Dimitrov,
Martin T. Vechev,
Anders Møller,
2015,
OOPSLA.
Martin T. Vechev,
Pavol Bielik,
Veselin Raychev,
2016,
ICLR.
Martin T. Vechev,
Veselin Raychev,
Benjamin Bichsel,
2019,
PLDI.
Manu Sridharan,
Max Schäfer,
Martin Vechev,
2013,
OOPSLA.
Martin T. Vechev,
Pavol Bielik,
Veselin Raychev,
2015,
SNAPL.
Petar Tsankov,
Martin T. Vechev,
Veselin Raychev,
2018,
CCS.
Martin T. Vechev,
Pavol Bielik,
Veselin Raychev,
2015,
OOPSLA.
Martin T. Vechev,
Pavol Bielik,
Veselin Raychev,
2016,
CAV.
Andreas Krause,
Martin T. Vechev,
Veselin Raychev,
2019,
Commun. ACM.
Petar Tsankov,
Martin T. Vechev,
Veselin Raychev,
2018,
PLDI.
Todd Mytkowicz,
Madan Musuvathi,
Veselin Raychev,
2015,
SOSP.
Veselin Raychev,
Veselin Raychev,
2016
.
Erik Carlsson,
Robert Geisberger,
Hannah Bast,
2010,
ESA.