Staff Profile
Dr Fedor Shmarov
Lecturer
- Email: fedor.shmarov@ncl.ac.uk
- Personal Website: https://shmarov.com
- Address: School of Computing,
Newcastle University,
Urban Sciences Building,
1 Science Square,
Newcastle upon Tyne, NE4 5TG
Publications
-
Articles
- Shmarov F, Smith GR, Weatherhead SC, Reynolds NJ, Zuliani P. Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis. PLoS Computational Biology 2022, 18(9), e1010267.
- Watson N, Wilson N, Shmarov F, Zuliani P, Reynolds NJ, Weatherhead SC. The use of psoriasis biomarkers, including trajectory of clinical response, to predict clearance and remission duration to UVB phototherapy. Journal of the European Academy of Dermatology and Venereology 2021, 35(11), 2250-2258.
- Shmarov F, Soudjani S, Paoletti N, Bartocci E, Lin S, Smolka SA, Zuliani P. Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems. IEEE Access 2020, 8, 180825-180843.
-
Conference Proceedings (inc. Abstracts)
- Abate A, Blom H, Cauchi J, Delicaris J, Haesaert S, van Huijgevoort B, Lavaei A, Remke A, Schön O, Schupp S, Shmarov F, Soudjani S, Willemsen L, Zuliani P. ARCH-COMP23 Category Report: Stochastic Models. In: 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH), EPiC Series in Computing. 2023, San Antonio, Texas: EPiC Computing.
- Abate A, Blom H, Bouissou M, Cauchi N, Chraibi H, Delicaris J, Haesaert S, Hartmanns A, Khaled M, Lavaei A, Ma H, Mallik K, Niehage M, Remke A, Schupp S, Shmarov F, Soudjani S, Thorpe A, Turcuman V, Zuliani P. ARCH-COMP21 Category Report: Stochastic Models. In: EPiC Series in Computing. 2021, EasyChair.
- Vasileva M, Shmarov F, Zuliani P. Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes. In: 18th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE 2020). 2020, Jaipur, India (Online): IEEE.
- Shmarov F, Paoletti N, Bartocci E, Lin S, Smolka SA, Zuliani P. SMT-based synthesis of safe and robust PID controllers for stochastic hybrid systems. In: HVC 2017: Hardware and Software: Verification and Testing. 2017, Haifa, Israel: Springer Verlag.
- Shmarov F, Zuliani P. ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems. In: 18th ACM International Conference on Hybrid Systems: Computation and Control (HSCC). 2015, Seattle, WA, USA: ACM.
- Madsen C, Shmarov F, Zuliani P. BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models. In: 13th International Conference on Computational Methods in Systems Biology (CMSB). 2015, Nantes, France: Springer.