Fedor Shmarov
Manchester University
H-index: 8
North America-United States
Top articles of Fedor Shmarov
Title | Journal | Author(s) | Publication Date |
|---|---|---|---|
ESBMC v7. 4: Harnessing the Power of Intervals: (Competition Contribution) | Rafael Sá Menezes Mohannad Aldughaim Bruno Farias Xianzhiyu Li Edoardo Manino | 2024/4/5 | |
Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities | Authorea Preprints | Ahmed Bhayat Lucas Cordeiro Giles Reger Fedor Shmarov Konstantin Korovin | 2023/11/8 |
ARCH-COMP23 Category report: stochastic models | Alessandro Abate Henk Blom Nathalie Cauchi Joanna Delicaris Sofie Haesaert | 2023/10/18 | |
NeuroCodeBench: a plain C neural network benchmark for software verification | arXiv preprint arXiv:2309.03617 | Edoardo Manino Rafael Sá Menezes Fedor Shmarov Lucas C Cordeiro | 2023/9/7 |
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs: (Competition Contribution) | Fatimah Aljaafari Fedor Shmarov Edoardo Manino Rafael Menezes Lucas C Cordeiro | 2023/4/20 | |
ESBMC v7. 4: Harnessing the Power of Intervals | arXiv preprint arXiv:2312.14746 | Rafael Menezes Mohannad Aldughaim Bruno Farias Xianzhiyu Li Edoardo Manino | 2023/12/22 |
Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis | PLOS Computational Biology | Fedor Shmarov Graham R Smith Sophie C Weatherhead Nick J Reynolds Paolo Zuliani | 2022/9/30 |
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC | Franz Brauße Fedor Shmarov Rafael Menezes Mikhail R Gadelha Konstantin Korovin | 2022/7/18 | |
FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis | arXiv preprint arXiv:2206.14068 | Kaled M Alshmrany Mohannad Aldughaim Ahmed Bhayat Fedor Shmarov Fatimah Aljaafari | 2022/6/28 |
Combining bmc and fuzzing techniques for finding software vulnerabilities in concurrent programs | Ieee Access | Fatimah K Aljaafari Rafael Menezes Edoardo Manino Fedor Shmarov Mustafa A Mustafa | 2022/11/18 |
Position paper: Towards a hybrid approach to protect against memory safety vulnerabilities | Kaled Alshmrany Ahmed Bhayat Franz Brauße Lucas Cordeiro Konstantin Korovin | 2022/10/18 | |
Arch-comp21 category report: Stochastic models | Alessandro Abate Henk Blom Marc Bouissou Nathalie Cauchi Hassane Chraibi | 2021/12/6 | |
The use of psoriasis biomarkers, including trajectory of clinical response, to predict clearance and remission duration to UVB phototherapy | Journal of the European Academy of Dermatology and Venereology | N Watson N Wilson F Shmarov P Zuliani NJ Reynolds | 2021/11 |
Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes | Mariia Vasileva Fedor Shmarov Paolo Zuliani | 2020/12/2 | |
Automated synthesis of safe digital controllers for sampled-data stochastic nonlinear systems | IEEE Access | Fedor Shmarov Sadegh Soudjani Nicola Paoletti Ezio Bartocci Shan Lin | 2020/10/2 |
ARCH-COMP20 Category Report: Stochastic Models. | Alessandro Abate Henk Blom Nathalie Cauchi Joanna Delicaris Arnd Hartmanns | 2020/9/25 |
