Fedor Shmarov

29 papers A 1B 1C 1Journal 13Unranked 12
YearRankTypeTitle / Venue / Authors
2025 B conf
ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution).
FASE
Chenfeng Wei, Tong Wu, Rafael Sá Menezes, Fedor Shmarov, Fatimah Aljaafari, Sangharatna Godboley, Kaled M. Alshmrany, Rosiane de Freitas, Lucas C. Cordeiro
2025 J jnl
Floating-Point Neural Network Verification at the Software Level.
CoRR
Edoardo Manino, Bruno Farias, Rafael Sá Menezes, Fedor Shmarov, Lucas C. Cordeiro
2024 — conf
ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution).
TACAS (3)
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
2024 J jnl
Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study.
CoRR
Rafael Sá Menezes, Edoardo Manino, Fedor Shmarov, Mohannad Aldughaim, Rosiane de Freitas, Lucas C. Cordeiro
2023 — conf
ARCH-COMP23 Category Report: Stochastic Models.
ARCH
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
2023 — conf
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution).
TACAS (2)
Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro
2023 J jnl
ESBMC v7.4: Harnessing the Power of Intervals.
CoRR
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
2023 J jnl
NeuroCodeBench: a plain C neural network benchmark for software verification.
CoRR
Edoardo Manino, Rafael Sá Menezes, Fedor Shmarov, Lucas C. Cordeiro
2022 J jnl
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, Lucas C. Cordeiro
2022 J jnl
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.
CoRR
Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
2022 A conf
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC.
ISSTA
Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro
2022 J jnl
FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis.
CoRR
Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Fedor Shmarov, Fatimah Aljaafari, Lucas C. Cordeiro
2022 J jnl
Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis.
PLoS Comput. Biol.
Fedor Shmarov, Graham R. Smith, Sophie C. Weatherhead, Nick J. Reynolds, Paolo Zuliani
2022 — conf
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities.
SecDev
Kaled M. Alshmrany, Ahmed Bhayat, Franz Brauße, Lucas C. Cordeiro, Konstantin Korovin, Tom Melham, Mustafa A. Mustafa, Pierre Olivier, Giles Reger, Fedor Shmarov
2021 — conf
ARCH-COMP21 Category Report: Stochastic Models.
ARCH@ADHS
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
2020 — conf
ARCH-COMP20 Category Report: Stochastic Models.
ARCH
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
2020 J jnl
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems.
IEEE Access
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2020 C conf
Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes.
MEMOCODE
Mariia Vasileva, Fedor Shmarov, Paolo Zuliani
2019 J jnl
Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems.
CoRR
Fedor Shmarov, Sadegh Soudjani, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2018 — —
Probabilistic bounded reachability for stochastic hybrid systems.
Fedor Shmarov
2017 J jnl
Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.
CoRR
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2017 — conf
SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems.
Haifa Verification Conference
Fedor Shmarov, Nicola Paoletti, Ezio Bartocci, Shan Lin, Scott A. Smolka, Paolo Zuliani
2016 — conf
Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques.
Haifa Verification Conference
Fedor Shmarov, Paolo Zuliani
2016 — conf
SMT-Based Reasoning for Uncertain Hybrid Domains.
AAAI Workshop: Planning for Hybrid Systems
Fedor Shmarov, Paolo Zuliani
2015 — conf
BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models.
CMSB
Curtis Madsen, Fedor Shmarov, Paolo Zuliani
2015 — conf
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems.
SNR@CAV
Fedor Shmarov, Paolo Zuliani
2015 — conf
ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems.
HSCC
Fedor Shmarov, Paolo Zuliani
2014 J jnl
ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems.
CoRR
Fedor Shmarov, Paolo Zuliani
2014 J jnl
Verification of probabilistic bounded $δ$-reachability for cyber-physical systems.
CoRR
Fedor Shmarov, Paolo Zuliani