List of publications
Journals

F. K. Aljaafari, R. Menezes, E. Manino, F. Shmarov, M. A. Mustafa, L. C. Cordeiro,
"Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs",
IEEE Access, vol. 10, pp. 121365121384, 2022.

F. Shmarov, G. R. Smith, S. C. Weatherhead, N. J. Reynolds, P. Zuliani,
"Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis",
PLoS Computational Biology 18 (9), e1010267, 2022.

N. Watson, N. Wilson, F. Shmarov, P. Zuliani, N. J. Reynolds, S. C. Weatherhead,
"The use of psoriasis biomarkers, including trajectory of clinical response, to predict clearance
and remission duration to UVB phototherapy",
J Eur Acad Dermatol Venereol, 35: 22502258, 2021.

F. Shmarov, S. Soudjani, N. Paoletti, E. Bartocci, S. Lin, S. A. Smolka, P. Zuliani,
"Automated Synthesis of Safe Digital Controllers for SampledData Stochastic Nonlinear Systems",
IEEE Access, vol. 8, pp. 180825180843, 2020.
Conferences and Workshops

F. K. Aljaafari, F. Shmarov, E. Manino, R. Menezes, L. C. Cordeiro,
"EBF 4.2: BlackBox Cooperative Verification for Concurrent Programs (Competition Contribution)",
In 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), (accepted/in press), 2023.

K. Alshmrany, A. Bhayat, F. Brauße, L. C. Cordeiro, K. Korovin, T. Melham,
M. A. Mustafa, P. Olivier, G. Reger, F. Shmarov,
"Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities",
in IEEE Secure Development Conference (SecDev 2022), Atlanta, GA, USA, pp. 5258, 2022.

F. Brauße, F. Shmarov, R. Menezes, M. R. Gadelha, K. Korovin, G. Reger, L. C. Cordeiro,
"ESBMCCHERI: towards verification of C programs for CHERI platforms with ESBMC",
in Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022),
pp 773–776, 2022.

A. Abate, H. Blom, M. Bouissou, N. Cauchi, H. Chraibi, J. Delicaris, S. Haesaert, A. Hartmanns,
M. Khaled, A. Lavaei, H. Ma, K. Mallik, M. Niehage, A. Remke, S. Schupp, F. Shmarov, S. Soudjani,
A. Thorpe, V. Turcuman, P. Zuliani,
"ARCHCOMP21 Category Report: Stochastic Models",
in Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 21),
vol. 80, pp. 5589, 2021.

M. Vasileva, F. Shmarov, P. Zuliani,
"Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes",
in 18th ACMIEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2020), Jaipur, India, pp. 111, 2020.

A. Abate, H. Blom, N. Cauchi, J. Delicaris, A. Hartmanns, M. Khaled, A. Lavaei, C. Pilch, A. Remke,
S. Schupp, F. Shmarov, S. Soudjani, A.P. Vinod, B. Wooding, M. Zamani, P. Zuliani,
"ARCHCOMP20 Category Report: Stochastic Models",
in Proceedings of the 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH 20),
vol. 74, pp. 76106, 2020.

F. Shmarov, N. Paoletti, E. Bartocci, S. Lin, S. Smolka, P. Zuliani,
"SMTbased Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems",
in Proceedings of the 13th International Haifa Verification Conference (HVC 2017), pp. 131–146, 2017.

F. Shmarov, P. Zuliani,
"Probabilistic Hybrid Systems Verification via SMT and Monte Carlo Techniques",
in Proceedings of the 12th International Haifa Verification Conference (HVC 2016), LNCS, vol. 10028, pp. 152–168, 2016.

F. Shmarov, P. Zuliani,
"SMTbased Reasoning for Uncertain Hybrid Domains",
in AAAI16 Workshop on Planning for Hybrid Systems, 30th AAAI Conference on Artificial Intelligence (PlanHS 2016), pp. 624–630, 2016

C. Madsen, F. Shmarov, P. Zuliani,
"BioPSy: an SMTbased Tool for Guaranteed Parameter Set Synthesis of Biological Models",
in Computational Methods in Systems Biology (CMSB 2015), ser. LNCS, vol. 9308, pp. 182–194, 2015.

F. Shmarov, P. Zuliani,
"ProbReach: a Tool for Guaranteed Reachability Analysis of Stochastic Parametric Hybrid Systems",
in 1st International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR 2015),
ser. EPiC Series in Computing, S. Bogomolov and A. Tiwari, Eds., vol. 37, pp. 40–48, 2015.

F. Shmarov, P. Zuliani,
"ProbReach: Verified Probabilistic DeltaReachability for Stochastic Parametric Hybrid Systems",
in Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015). ACM, pp. 134–139, 2015.
Theses and Dissertations

F. Shmarov,
"Probabilistic Bounded Reachability for Stochastic Hybrid Systems"
,
PhD Thesis, Newcastle University, 2018.

F. Shmarov,
"System for Area Planning"
,
MSc Dissertation, Newcastle University, 2013.