Publications by Dr Fedor Shmarov - ePrints

Newcastle Authors	Title	Year
Dr Abolfazl Lavaei Dr Fedor Shmarov Dr Sadegh Soudjani Dr Paolo Zuliani	ARCH-COMP23 Category Report: Stochastic Models	2023
Dr Fedor Shmarov Dr Graham Smith Dr Sophie Weatherhead Professor Nick Reynolds Dr Paolo Zuliani et al.	Individualised computational modelling of immune mediated disease onset, flare and clearance in psoriasis	2022
Dr Nina Wilson Dr Fedor Shmarov Dr Paolo Zuliani Professor Nick Reynolds Dr Sophie Weatherhead et al.	The use of psoriasis biomarkers, including trajectory of clinical response, to predict clearance and remission duration to UVB phototherapy	2021
Dr Fedor Shmarov Dr Sadegh Soudjani Dr Paolo Zuliani	Automated Synthesis of Safe Digital Controllers for Sampled-Data Stochastic Nonlinear Systems	2020
Mariia Vasileva Dr Fedor Shmarov Dr Paolo Zuliani	Probabilistic Reachability for Uncertain Stochastic Hybrid Systems via Gaussian Processes	2020
Dr Fedor Shmarov Dr Paolo Zuliani	SMT-based synthesis of safe and robust PID controllers for stochastic hybrid systems	2017
Dr Curtis Madsen Dr Fedor Shmarov Dr Paolo Zuliani	BioPSy: An SMT-based Tool for Guaranteed Parameter Set Synthesis of Biological Models	2015
Dr Fedor Shmarov Dr Paolo Zuliani	ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems	2015