Segui
Fedor Shmarov
Fedor Shmarov
School of Computing, Newcastle University
Email verificata su newcastle.ac.uk - Home page
Titolo
Citata da
Citata da
Anno
Probreach: verified probabilistic delta-reachability for stochastic hybrid systems
F Shmarov, P Zuliani
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
652015
Probabilistic hybrid systems verification via SMT and Monte Carlo techniques
F Shmarov, P Zuliani
Haifa Verification Conference, 152-168, 2016
252016
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
162015
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
15*2017
ARCH-COMP20 Category Report: Stochastic Models.
A Abate, HAP Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, ...
ARCH, 76-106, 2020
132020
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
112022
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
112020
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
102021
SMT-based reasoning for uncertain hybrid domains
F Shmarov, P Zuliani
Workshops at the Thirtieth AAAI Conference on Artificial Intelligence, 2016
82016
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
62021
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems.
F Shmarov, P Zuliani
SNR@ CAV, 40-48, 2015
52015
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
42022
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
42022
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
22023
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
22023
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
22022
FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
KM Alshmrany, M Aldughaim, A Bhayat, F Shmarov, F Aljaafari, ...
arXiv preprint arXiv:2206.14068, 2022
22022
ESBMC v7. 4: Harnessing the Power of Intervals
R Menezes, M Aldughaim, B Farias, X Li, E Manino, F Shmarov, K Song, ...
arXiv preprint arXiv:2312.14746, 2023
12023
Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities
A Bhayat, L Cordeiro, G Reger, F Shmarov, K Korovin, T Melham, ...
Authorea Preprints, 2023
12023
Probabilistic bounded reachability for stochastic hybrid systems
F Shmarov
Newcastle University, 2018
12018
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20