| Probreach: verified probabilistic delta-reachability for stochastic hybrid systems F Shmarov, P Zuliani Proceedings of the 18th International Conference on Hybrid Systems …, 2015 | 70 | 2015 |
| Probabilistic hybrid systems verification via SMT and Monte Carlo techniques F Shmarov, P Zuliani Haifa Verification Conference, 152-168, 2016 | 26 | 2016 |
| ARCH-COMP20 Category Report: Stochastic Models. A Abate, HAP Blom, N Cauchi, J Delicaris, A Hartmanns, M Khaled, ... ARCH, 76-106, 2020 | 19 | 2020 |
| 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 | 19 | 2015 |
| 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 | 16 | 2021 |
| 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 |
| 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 | 12 | 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 |
| 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 | 10 | 2024 |
| SMT-based reasoning for uncertain hybrid domains F Shmarov, P Zuliani Workshops at the Thirtieth AAAI Conference on Artificial Intelligence, 2016 | 10 | 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 | 9 | 2021 |
| ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems. F Shmarov, P Zuliani SNR@ CAV, 40-48, 2015 | 9 | 2015 |
| 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 | 8 | 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 | 6 | 2023 |
| 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 | 5 | 2024 |
| 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 | 5 | 2023 |
| 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 | 5 | 2022 |
| NeuroCodeBench: a plain C neural network benchmark for software verification E Manino, RS Menezes, F Shmarov, LC Cordeiro arXiv preprint arXiv:2309.03617, 2023 | 4 | 2023 |
| 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 |
| 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 | 3 | 2020 |
