Fedor Shmarov
Cited by
Cited by
Probreach: verified probabilistic delta-reachability for stochastic hybrid systems
F Shmarov, P Zuliani
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
Probabilistic hybrid systems verification via SMT and Monte Carlo techniques
F Shmarov, P Zuliani
Haifa Verification Conference, 152-168, 2016
BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models
C Madsen, F Shmarov, P Zuliani
International Conference on Computational Methods in Systems Biology, 182-194, 2015
ARCH-COMP20 Category Report: Stochastic Models.
A Abate, HAP Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, ...
ARCH, 76-106, 2020
SMT-based synthesis of safe and robust PID controllers for stochastic hybrid systems
F Shmarov, N Paoletti, E Bartocci, S Lin, SA Smolka, P Zuliani
Hardware and Software: Verification and Testing: 13th International Haifa …, 2017
Combining bmc and fuzzing techniques for finding software vulnerabilities in concurrent programs
FK Aljaafari, R Menezes, E Manino, F Shmarov, MA Mustafa, LC Cordeiro
IEEE Access 10, 121365-121384, 2022
Arch-comp21 category report: Stochastic models
A Abate, H Blom, M Bouissou, N Cauchi, H Chraibi, J Delicaris, ...
8th International Workshop on Applied Verification of Continuous and Hybrid …, 2021
Automated synthesis of safe digital controllers for sampled-data stochastic nonlinear systems
F Shmarov, S Soudjani, N Paoletti, E Bartocci, S Lin, SA Smolka, P Zuliani
IEEE Access 8, 180825-180843, 2020
SMT-based reasoning for uncertain hybrid domains
F Shmarov, P Zuliani
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence, 2016
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems.
F Shmarov, P Zuliani
SNR@ CAV, 40-48, 2015
The use of psoriasis biomarkers, including trajectory of clinical response, to predict clearance and remission duration to UVB phototherapy
N Watson, N Wilson, F Shmarov, P Zuliani, NJ Reynolds, ...
Journal of the European Academy of Dermatology and Venereology 35 (11), 2250 …, 2021
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC
F Brauße, F Shmarov, R Menezes, MR Gadelha, K Korovin, G Reger, ...
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
ESBMC v7. 4: Harnessing the Power of Intervals: (Competition Contribution)
RS Menezes, M Aldughaim, B Farias, X Li, E Manino, F Shmarov, K Song, ...
International Conference on Tools and Algorithms for the Construction and …, 2024
Position paper: Towards a hybrid approach to protect against memory safety vulnerabilities
K Alshmrany, A Bhayat, F Brauße, L Cordeiro, K Korovin, T Melham, ...
2022 IEEE Secure Development Conference (SecDev), 52-58, 2022
FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
K Alshmrany, M Aldughaim, A Bhayat, L Cordeiro
Formal Aspects of Computing, 2024
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs: (Competition Contribution)
F Aljaafari, F Shmarov, E Manino, R Menezes, LC Cordeiro
International Conference on Tools and Algorithms for the Construction and …, 2023
Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes
M Vasileva, F Shmarov, P Zuliani
2020 18th ACM-IEEE International Conference on Formal Methods and Models for …, 2020
ARCH-COMP23 Category report: stochastic models
A Abate, H Blom, N Cauchi, J Delicaris, S Haesaert, B van Huijgevoort, ...
10th International Workshop on Applied Verification of Continuous and Hybrid …, 2023
NeuroCodeBench: a plain C neural network benchmark for software verification
E Manino, RS Menezes, F Shmarov, LC Cordeiro
arXiv preprint arXiv:2309.03617, 2023
Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis
F Shmarov, GR Smith, SC Weatherhead, NJ Reynolds, P Zuliani
PLOS Computational Biology 18 (9), e1010267, 2022
The system can't perform the operation now. Try again later.
Articles 1–20