Fedor Shmarov

According to our database, Fedor Shmarov authored at least 25 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study.

Rafael Sá Menezes, Edoardo Manino, Fedor Shmarov, Mohannad Aldughaim, Rosiane de Freitas, Lucas C. Cordeiro

CoRR, 2024

ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution).

Rafael Sá Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2023

NeuroCodeBench.

Edoardo Manino, Rafael Menezes, Fedor Shmarov, Lucas C. Cordeiro

Dataset, August, 2023

ESBMC v7.4: Harnessing the Power of Intervals.

Rafael Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro

CoRR, 2023

NeuroCodeBench: a plain C neural network benchmark for software verification.

Edoardo Manino, Rafael Sá Menezes, Fedor Shmarov, Lucas C. Cordeiro

CoRR, 2023

EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution).

Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

ARCH-COMP23 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Sofie Haesaert, Birgit van Huijgevoort, Abolfazl Lavaei, Anne Remke, Oliver Schön, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Lisa Willemsen, Paolo Zuliani

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis.

Fedor Shmarov, Graham R. Smith, Sophie C. Weatherhead, Nick J. Reynolds, Paolo Zuliani

PLoS Comput. Biol., September, 2022

FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis.

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Fedor Shmarov, Fatimah Aljaafari, Lucas C. Cordeiro

CoRR, 2022

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.

Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro

IEEE Access, 2022

Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities.

Kaled M. Alshmrany, Ahmed Bhayat, Franz Brauße, Lucas C. Cordeiro, Konstantin Korovin, Tom Melham, Mustafa A. Mustafa, Pierre Olivier, Giles Reger, Fedor Shmarov

Proceedings of the IEEE Secure Development Conference, 2022

ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC.

Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2021

ARCH-COMP21 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Marc Bouissou, Nathalie Cauchi, Hassane Chraibi, Joanna Delicaris, Sofie Haesaert, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Hao Ma, Kaushik Mallik, Mathis Niehage, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Adam J. Thorpe, Vlad Turcuman, Paolo Zuliani

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems.

Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani

IEEE Access, 2020

Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes.

Mariia Vasileva, Fedor Shmarov, Paolo Zuliani

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

ARCH-COMP20 Category Report: Stochastic Models.

Alessandro Abate, Henk A. P. Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham P. Vinod, Ben Wooding, Majid Zamani, Paolo Zuliani

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2018

Probabilistic bounded reachability for stochastic hybrid systems.

Fedor Shmarov

PhD thesis, 2018

2017

Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.

Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani

CoRR, 2017

SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.

Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani

Proceedings of the Hardware and Software: Verification and Testing, 2017

2016

Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques.

Fedor Shmarov, Paolo Zuliani

Proceedings of the Hardware and Software: Verification and Testing, 2016

SMT-Based Reasoning for Uncertain Hybrid Domains.

Fedor Shmarov, Paolo Zuliani

Proceedings of the Planning for Hybrid Systems, 2016

2015

ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems.

Fedor Shmarov, Paolo Zuliani

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models.

Curtis Madsen, Fedor Shmarov, Paolo Zuliani

Proceedings of the Computational Methods in Systems Biology, 2015

ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems.

Fedor Shmarov, Paolo Zuliani

Proceedings of the 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis, 2015

2014

Verification of probabilistic bounded $δ$-reachability for cyber-physical systems.

Fedor Shmarov, Paolo Zuliani

CoRR, 2014