Search Results - "Shmarov, Fedor"

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems by Shmarov, Fedor, Soudjani, Sadegh, Paoletti, Nicola, Bartocci, Ezio, Lin, Shan, Smolka, Scott A., Zuliani, Paolo

“…We present a new method for the automated synthesis of digital controllers with formal safety guarantees for systems with nonlinear dynamics, noisy output…”
Get full text

Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis by Shmarov, Fedor, Smith, Graham R, Weatherhead, Sophie C, Reynolds, Nick J, Zuliani, Paolo

“…Despite increased understanding about psoriasis pathophysiology, currently there is a lack of predictive computational models. We developed a personalisable…”
Get full text

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs by Aljaafari, Fatimah K., Menezes, Rafael, Manino, Edoardo, Shmarov, Fedor, Mustafa, Mustafa A., Cordeiro, Lucas C.

“…Finding software vulnerabilities in concurrent programs is a challenging task due to the size of the state-space exploration, as the number of interleavings…”
Get full text

Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis by Fedor Shmarov, Graham R. Smith, Sophie C. Weatherhead, Nick J. Reynolds, Paolo Zuliani

“…Despite increased understanding about psoriasis pathophysiology, currently there is a lack of predictive computational models. We developed a personalisable…”
Get full text

Probabilistic bounded reachability for stochastic hybrid systems by Shmarov, Fedor

“…Stochastic parametric hybrid systems provide a means of formalising automata with continuous nonlinear dynamics, discrete interruptions, and parametric…”
Get full text

NeuroCodeBench: a plain C neural network benchmark for software verification by Manino, Edoardo, Menezes, Rafael Sá, Shmarov, Fedor, Cordeiro, Lucas C

“…Safety-critical systems with neural network components require strong guarantees. While existing neural network verification techniques have shown great…”
Get full text

Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes by Vasileva, Mariia, Shmarov, Fedor, Zuliani, Paolo

“…Cyber-physical system models often feature stochastic behaviour that itself depends on uncertain parameters (e.g., transition rates). For these systems,…”
Get full text

Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study by Menezes, Rafael Sá, Manino, Edoardo, Shmarov, Fedor, Aldughaim, Mohannad, de Freitas, Rosiane, Cordeiro, Lucas C

“…Bounded Model Checking (BMC) is a widely used software verification technique. Despite its successes, the technique has several limiting factors, from…”
Get full text

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs by Aljaafari, Fatimah K, Menezes, Rafael, Manino, Edoardo, Shmarov, Fedor, Mustafa, Mustafa A, Cordeiro, Lucas C

“…Finding software vulnerabilities in concurrent programs is a challenging task due to the size of the state-space exploration, as the number of interleavings…”
Get full text

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

“…ESBMC implements many state-of-the-art techniques for model checking. We report on new and improved features that allow us to obtain verification results for…”
Get full text

ProbReach: Verified Probabilistic Delta-Reachability for Stochastic Hybrid Systems by Shmarov, Fedor, Zuliani, Paolo

“…We present ProbReach, a tool for verifying probabilistic reachability for stochastic hybrid systems, i.e., computing the probability that the system reaches an…”
Get full text

Probabilistic bounded reachability for hybrid systems with continuous nondeterministic and probabilistic parameters by Shmarov, Fedor, Zuliani, Paolo

“…We develop an algorithm for computing bounded reachability probability for hybrid systems, i.e., the probability that the system reaches an unsafe region…”
Get full text

Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities by Alshmrany, Kaled, Bhayat, Ahmed, Braube, Franz, Cordeiro, Lucas, Korovin, Konstantin, Melham, Tom, Mustafa, Mustafa A., Olivier, Pierre, Reger, Giles, Shmarov, Fedor

“…Memory corruption bugs continue to plague low-level systems software, generally written in unsafe programming languages. In order to detect and protect against…”
Get full text

Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems by Shmarov, Fedor, Soudjani, Sadegh, Paoletti, Nicola, Bartocci, Ezio, Lin, Shan, Smolka, Scott A, Zuliani, Paolo

“…We present a new method for the automated synthesis of digital controllers with formal safety guarantees for systems with nonlinear dynamics, noisy output…”
Get full text

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs by Aljaafari, Fatimah K, Menezes, Rafael, Manino, Edoardo, Shmarov, Fedor, Mustafa, Mustafa A, Cordeiro, Lucas C

“…Finding software vulnerabilities in concurrent programs is a challenging task due to the size of the state-space exploration, as the number of interleavings…”
Get full text

Automated Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems by Shmarov, Fedor, Paoletti, Nicola, Bartocci, Ezio, Lin, Shan, Smolka, Scott A, Zuliani, Paolo

“…We present a new method for the automated synthesis of safe and robust Proportional-Integral-Derivative (PID) controllers for stochastic hybrid systems…”
Get full text