Defect Detection: Combining Bounded Model Checking and Code Contracts

by Marat Akhin, Mikhail Belyaev, Vladimir Itsykson
Published 2013-12-01

Defect Detection: Combining Bounded Model Checking and Code Contracts

by Marat Akhin, Mikhail Belyaev, Vladimir Itsykson
Published 2013-01-01

Using a Bounded Model Checker for Test Generation: How to Kill Two Birds with One SMT-solver

by Maxim Petrov, Kirill Gagarski, Mikhail Belyaev, Vladimir Itsykson
Published 2014-12-01

Accelerating 3D Medical Image Segmentation by Adaptive Small-Scale Target Localization

by Boris Shirokikh, Alexey Shevtsov, Alexandra Dalechina, Egor Krivov, Valery Kostjuchenko, Andrey Golanov, Victor Gombolevskiy, Sergey Morozov, Mikhail Belyaev
Published 2021-02-01

ISLES 2016 and 2017-Benchmarking Ischemic Stroke Lesion Outcome Prediction Based on Multispectral MRI

by Stefan Winzeck, Arsany Hakim, Richard McKinley, José A. A. D. S. R. Pinto, Victor Alves, Carlos Silva, Maxim Pisov, Maxim Pisov, Egor Krivov, Mikhail Belyaev, Miguel Monteiro, Arlindo Oliveira, Youngwon Choi, Myunghee Cho Paik, Yongchan Kwon, Hanbyul Lee, Beom Joon Kim, Joong-Ho Won, Mobarakol Islam, Hongliang Ren, David Robben, Paul Suetens, Enhao Gong, Yilin Niu, Junshen Xu, John M. Pauly, Christian Lucas, Mattias P. Heinrich, Luis C. Rivera, Laura S. Castillo, Laura A. Daza, Andrew L. Beers, Pablo Arbelaezs, Oskar Maier, Ken Chang, James M. Brown, Jayashree Kalpathy-Cramer, Greg Zaharchuk, Roland Wiest, Mauricio Reyes
Published 2018-09-01