Grigory Fedyukovich
发表
Grigory Fedyukovich,
Natasha Sharygina,
Antti Eero Johannes Hyvärinen,
2015,
FASE.
Grigory Fedyukovich,
Natasha Sharygina,
Simone Rollini,
2013,
LPAR.
Grigory Fedyukovich,
Natasha Sharygina,
Ondrej Sery,
2012,
ATVA.
Grigory Fedyukovich,
Natasha Sharygina,
Ondrej Sery,
2013,
TACAS.
A. Hyvärinen,
N. Sharygina,
Grigory Fedyukovich,
2014
.
Leonardo Mariani,
Stephan Sehestedt,
Grigory Fedyukovich,
2014,
ISSTA 2014.
Grigory Fedyukovich,
Grigory Fedyukovich,
2015
.
Fabrice Kordon,
Ezio Bartocci,
Dirk Beyer,
2019,
TACAS.
Yueling Zhang,
Grigory Fedyukovich,
Aarti Gupta,
2018,
CAV.
Grigory Fedyukovich,
Aarti Gupta,
Lauren Pick,
2018,
CAV.
Grigory Fedyukovich,
Dmitry Mordvinov,
Grigory Fedyukovich,
2019,
2019 Formal Methods in Computer Aided Design (FMCAD).
Grigory Fedyukovich,
Aarti Gupta,
Kumar Madhukar,
2019,
CAV.
Maaz Bin Safeer Ahmad,
Rastislav Bodík,
Grigory Fedyukovich,
2017,
PLDI.
Rastislav Bodík,
Grigory Fedyukovich,
R. Bodík,
2016,
SYNT@CAV.
Grigory Fedyukovich,
Aarti Gupta,
Lauren Pick,
2020,
2020 Formal Methods in Computer Aided Design (FMCAD).
Grigory Fedyukovich,
Deepak D'Souza,
Kumar Madhukar,
2021,
PLDI.
Gidon Ernst,
Grigory Fedyukovich,
Grigory Fedyukovich,
2021,
TACAS.
Arie Gurfinkel,
Grigory Fedyukovich,
Aarti Gupta,
2019,
VMCAI.
Arie Gurfinkel,
Michael W. Whalen,
Grigory Fedyukovich,
2017,
TACAS.
Grigory Fedyukovich,
Samuel J. Kaufman,
Rastislav Bodík,
2020,
Formal Methods Syst. Des..
Arie Gurfinkel,
Grigory Fedyukovich,
Natasha Sharygina,
2015,
LPAR.
Arie Gurfinkel,
Grigory Fedyukovich,
Natasha Sharygina,
2014,
NASA Formal Methods.
Grigory Fedyukovich,
Dmitry Mordvinov,
Yurii Kostyukov,
2021,
ArXiv.
Grigory Fedyukovich,
Dmitry Mordvinov,
Yurii Kostyukov,
2021,
PLDI.
Arie Gurfinkel,
Michael W. Whalen,
Grigory Fedyukovich,
2016,
ArXiv.
Jan Kofron,
Grigory Fedyukovich,
Natasha Sharygina,
2019,
Formal Methods in System Design.
Sharad Malik,
Grigory Fedyukovich,
Aarti Gupta,
2020,
VMCAI.