Verification of probabilistic bounded $δ$-reachability for cyber-physical systems. - Fedor Shmarov; Paolo Zuliani (CoRR, 2014)

ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems. - Fedor Shmarov; Paolo Zuliani (SNR@CAV, 2015)

BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models. - Curtis Madsen; Fedor Shmarov; Paolo Zuliani (CMSB, 2015)

ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. - Fedor Shmarov; Paolo Zuliani (HSCC, 2015)

SMT-Based Reasoning for Uncertain Hybrid Domains. - Fedor Shmarov; Paolo Zuliani (AAAI Workshop: Planning for Hybrid Systems, 2016)

Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques. - Fedor Shmarov; Paolo Zuliani (Haifa Verification Conference, 2016)

SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. - Fedor Shmarov; Nicola Paoletti; Ezio Bartocci; Shan Lin 001; Scott A. Smolka; Paolo Zuliani (Haifa Verification Conference, 2017)

Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems. - Fedor Shmarov; Nicola Paoletti; Ezio Bartocci; Shan Lin 001; Scott A. Smolka; Paolo Zuliani (CoRR, 2017)

Probabilistic bounded reachability for stochastic hybrid systems. - Fedor Shmarov (2018)

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; et al. (ARCH, 2020)

Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes. - Mariia Vasileva; Fedor Shmarov; Paolo Zuliani (MEMOCODE, 2020)

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. - Fedor Shmarov; Sadegh Soudjani; Nicola Paoletti; Ezio Bartocci; Shan Lin 001; Scott A. Smolka; Paolo Zuliani (IEEE Access, 2020)

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; et al. (ARCH@ADHS, 2021)

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 (ISSTA, 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 (SecDev, 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)

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)

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., 2022)

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; et al. (ARCH, 2023)

EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution). - Fatimah Aljaafari; Fedor Shmarov; Edoardo Manino; Rafael Menezes; Lucas C. Cordeiro (TACAS (2), 2023)

NeuroCodeBench: a plain C neural network benchmark for software verification. - Edoardo Manino; Rafael Sá Menezes; Fedor Shmarov; Lucas C. Cordeiro (CoRR, 2023)

ESBMC v7.4: Harnessing the Power of Intervals. - Rafael Menezes; Mohannad Aldughaim; Bruno Farias 001; Xianzhiyu Li; Edoardo Manino; Fedor Shmarov; Kunjian Song; Franz Brauße; Mikhail R. Gadelha; Norbert Tihanyi; Konstantin Korovin; Lucas C. Cordeiro (CoRR, 2023)

NeuroCodeBench. - Edoardo Manino; Rafael Menezes; Fedor Shmarov; Lucas C. Cordeiro (Zenodo, 2023)

ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). - Rafael Sá Menezes; Mohannad Aldughaim; Bruno Farias 001; Xianzhiyu Li; Edoardo Manino; Fedor Shmarov; Kunjian Song; Franz Brauße; Mikhail R. Gadelha; Norbert Tihanyi; Konstantin Korovin; Lucas C. Cordeiro (TACAS (3), 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.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution). - Chenfeng Wei; Tong Wu; Rafael Sá Menezes; Fedor Shmarov; Fatimah Aljaafari; Sangharatna Godboley; Kaled M. Alshmrany; Rosiane de Freitas; Lucas C. Cordeiro (FASE, 2025)