Vadim Alimguzhin
Vadim Alimguzhin
Research Fellow, Computer Science Department, Sapienza University of Rome
Verified email at di.uniroma1.it - Homepage
Title
Cited by
Cited by
Year
Linearizing discrete-time hybrid systems
V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci
IEEE Transactions on Automatic Control 62 (10), 5357-5364, 2017
222017
Automatic control software synthesis for quantized discrete time hybrid systems
V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci
2012 IEEE 51st IEEE Conference on Decision and Control (CDC), 6120-6125, 2012
182012
On model based synthesis of embedded control software
V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci
Proceedings of the tenth ACM international conference on Embedded software …, 2012
152012
On-the-fly control software synthesis
V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci
International SPIN Workshop on Model Checking of Software, 61-80, 2013
122013
Complete populations of virtual patients for in silico clinical trials
S Sinisi, V Alimguzhin, T Mancini, E Tronci, B Leeners
Bioinformatics 36 (22-23), 5465-5472, 2020
112020
Optimal personalised treatment computation through in silico clinical trials on patient digital twins
S Sinisi, V Alimguzhin, T Mancini, E Tronci, F Mari, B Leeners
Fundamenta Informaticae 174 (3-4), 283-310, 2020
112020
A glimpse of smarthg project test-bed and communication infrastructure
V Alimguzhin, F Mari, I Melatti, E Tronci, E Ebeid, SA Mikkelsen, ...
2015 Euromicro Conference on Digital System Design, 225-232, 2015
112015
A map-reduce parallel approach to automatic synthesis of control software
V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci
International SPIN Workshop on Model Checking of Software, 43-60, 2013
92013
Reconciling interoperability with efficient Verification and Validation within open source simulation environments
S Sinisi, V Alimguzhin, T Mancini, E Tronci
Simulation Modelling Practice and Theory 109, 102277, 2021
52021
An integrative approach for model driven computation of treatments in reproductive medicine
R Ehrig, T Dierkes, S Schäfer, S Röblitz, E Tronci, T Mancini, I Salvo, ...
BIOMAT 2015: International Symposium on Mathematical and Computational …, 2016
12016
AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials.
S Sinisi, V Alimguzhin, T Mancini, E Tronci, F Mari, B Leeners
OVERLAY, 59-64, 2020
2020
Electricity Network Constraint Management using Individualised Demand Aware Price Policies.
I Melatti, V Alimguzhin, F Mari, M Prodanovic, BP Hayes
OVERLAY, 71-76, 2020
2020
In Silico Clinical Trials through AI and Statistical Model Checking.
V Alimguzhin, T Mancini, A Massini, S Sinisi, E Tronci
OVERLAY@ AI* IA, 17-22, 2019
2019
Control Software Synthesis for Cyber-Physical Systems with QKS.
V Alimguzhin, F Mari, I Melatti
OVERLAY@ AI* IA, 95-100, 2019
2019
2017 Index IEEE Transactions on Automatic Control Vol. 62
OM Aamo, J Abad Torres, A Abdessameud, K Abidi, S Abrashov, ...
IEEE Transactions on Automatic Control 62 (12), 6665, 2017
2017
A parallel approach to control software synthesis
V Alimguzhin, F Mari, I Melatti, I Salvo, E Tronci
ITIDS+ RRS'2014, 114-117, 2014
2014
Model based design of control software for nonlinear discrete time hybrid systems
VP Alimguzhin, FP Mari, IA Melatti, IA Salvo, EA Tronci
Вестник Уфимского государственного авиационного технического университета 17 …, 2013
2013
Complete populations of virtual patients for in silico clinical trials Supplementary material
S Sinisi, V Alimguzhin, T Mancini, E Tronci, B Leeners
The system can't perform the operation now. Try again later.
Articles 1–18