Sergiy Bogomolov
发表
K. Makino,
M. Fränzle,
N. Ramdani,
2017
.
P. Feketa,
T. Meurer,
Sergiy Bogomolov,
2020
.
Taylor T. Johnson,
A. Podelski,
Alexandre Donzé,
2015,
International Journal on Software Tools for Technology Transfer.
E. Bartocci,
R. Grosu,
Sergiy Bogomolov,
2018,
International Journal on Software Tools for Technology Transfer.
Sergiy Bogomolov,
Andreas Podelski,
Rolf Backofen,
2010,
GCB.
Sergiy Bogomolov,
Bai Xue,
Martin Fränzle,
2020,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Sergiy Bogomolov,
Andreas Podelski,
Goran Frehse,
2018,
HSCC.
Marius Mikucionis,
Sergiy Bogomolov,
Kim Guldstrand Larsen,
2015
.
Sergiy Bogomolov,
Marcelo Forets,
Kostiantyn Potomkin,
2020,
RP.
Sergiy Bogomolov,
Stanley Bak,
Adam R. Gerlach,
2021,
ADHS.
Sergiy Bogomolov,
Andreas Podelski,
Daniele Magazzeni,
2014
.
Sergiy Bogomolov,
Taylor T. Johnson,
Stanley Bak,
2015,
HSCC.
Thomas A. Henzinger,
Sergiy Bogomolov,
Christian Schilling,
2015,
CMSB.
Ezio Bartocci,
Sergiy Bogomolov,
Radu Grosu,
2019,
International Journal on Software Tools for Technology Transfer.
Sergiy Bogomolov,
Christian Schilling,
Goran Frehse,
2019,
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
Sergiy Bogomolov,
Christian Schilling,
Goran Frehse,
2019,
HSCC.
Ezio Bartocci,
Sergiy Bogomolov,
Radu Grosu,
2016,
2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE).
Dongxu Li,
Sergiy Bogomolov,
Stanley Bak,
2020,
FORMATS.
Ezio Bartocci,
Sergiy Bogomolov,
Radu Grosu,
2015,
Haifa Verification Conference.
Sergiy Bogomolov,
Andreas Podelski,
Corina Mitrohin,
2010,
ATVA.
Thomas A. Henzinger,
Yu Jiang,
Hui Kong,
2017,
HSCC.
T. Henzinger,
Christian Schilling,
Sergiy Bogomolov,
2016,
ArXiv.
Patrik Haslum,
Dongxu Li,
Sergiy Bogomolov,
2018,
IJCAI.
Daniel Bryce,
Sergiy Bogomolov,
Christian Schilling,
2016,
ArXiv.
Thomas A. Henzinger,
Sergiy Bogomolov,
Goran Frehse,
2017,
TACAS.
K. Makino,
M. Fränzle,
N. Ramdani,
2017
.
Sergiy Bogomolov,
Stanley Bak,
AbdelrahmanHekal,
2024,
HSCC.
Bardh Hoxha,
Tomoya Yamaguchi,
Sergiy Bogomolov,
2022,
2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC).
Sergiy Bogomolov,
Radu Grosu,
Andreas Podelski,
2014,
Haifa Verification Conference.
Dongxu Li,
Sergiy Bogomolov,
Goran Frehse,
2021
.
Dongxu Li,
Sergiy Bogomolov,
Goran Frehse,
2019,
HSCC.
Matthias Althoff,
Sergiy Bogomolov,
Stanley Bak,
2017,
FORMATS.
Thomas A. Henzinger,
Sergiy Bogomolov,
Taylor T. Johnson,
2016,
HSCC.