Vadim Alimguzhin

According to our database, Vadim Alimguzhin authored at least 13 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Reconciling interoperability with efficient Verification and Validation within open source simulation environments.

Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci

Simul. Model. Pract. Theory, 2021

Complete populations of virtual patients for in silico clinical trials.

Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Brigitte Leeners

Bioinform., 2021

2020

Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins.

Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners

Fundam. Informaticae, 2020

AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials.

Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

Electricity Network Constraint Management using Individualised Demand Aware Price Policies.

Igor Melatti, Vadim Alimguzhin, Federico Mari, Milan Prodanovic, Barry P. Hayes

Proceedings of the 2nd Workshop on Artificial Intelligence and Formal Verification, 2020

2019

In Silico Clinical Trials through AI and Statistical Model Checking.

Vadim Alimguzhin, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

Control Software Synthesis for Cyber-Physical Systems with QKS.

Vadim Alimguzhin, Federico Mari, Igor Melatti

Proceedings of the 1st Workshop on Artificial Intelligence and Formal Verification, 2019

2017

Linearizing Discrete-Time Hybrid Systems.

Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci

IEEE Trans. Autom. Control., 2017

2015

A Glimpse of SmartHG Project Test-bed and Communication Infrastructure.

Vadim Alimguzhin, Federico Mari, Igor Melatti, Enrico Tronci, Emad Samuel Malki Ebeid, Søren Aagaard Mikkelsen, Rune Hylsberg Jacobsen, Jorn Klaas Gruber, Barry P. Hayes, Francisco Huerta, Milan Prodanovic

Proceedings of the 2015 Euromicro Conference on Digital System Design, 2015

2013

On-the-Fly Control Software Synthesis.

Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci

Proceedings of the Model Checking Software - 20th International Symposium, 2013

A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software.

Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci

Proceedings of the Model Checking Software - 20th International Symposium, 2013

2012

On model based synthesis of embedded control software.

Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci

Proceedings of the 12th International Conference on Embedded Software, 2012

Automatic control software synthesis for quantized discrete time hybrid systems.

Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci

Proceedings of the 51th IEEE Conference on Decision and Control, 2012