Probreach: verified probabilistic delta-reachability for stochastic hybrid systems F Shmarov, P Zuliani Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 65 | 2015 |
Probabilistic hybrid systems verification via SMT and Monte Carlo techniques F Shmarov, P Zuliani Haifa Verification Conference, 152-168, 2016 | 25 | 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 | 16 | 2015 |
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 | 13 | 2020 |
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 | 11 | 2022 |
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 | 11 | 2020 |
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 | 10 | 2021 |
SMT-based reasoning for uncertain hybrid domains F Shmarov, P Zuliani Workshops at the Thirtieth AAAI Conference on Artificial Intelligence, 2016 | 8 | 2016 |
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 | 6 | 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 | 5 | 2022 |
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems. F Shmarov, P Zuliani SNR@ CAV, 40-48, 2015 | 5 | 2015 |
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 | 4 | 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 | 3 | 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 | 3 | 2023 |
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 | 3 | 2022 |
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 | 2 | 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 | 2 | 2022 |
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 | 1 | 2023 |
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 | 1 | 2023 |