Automatic control software synthesis for quantized discrete time hybrid systems. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (CDC, 2012)

On model based synthesis of embedded control software. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (EMSOFT, 2012)

A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (SPIN, 2013)

On-the-Fly Control Software Synthesis. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (SPIN, 2013)

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 001; Milan Prodanovic (DSD, 2015)

Linearizing Discrete-Time Hybrid Systems. - Vadim Alimguzhin; Federico Mari; Igor Melatti; Ivano Salvo; Enrico Tronci (IEEE Trans. Autom. Control., 2017)

Control Software Synthesis for Cyber-Physical Systems with QKS. - Vadim Alimguzhin; Federico Mari; Igor Melatti (OVERLAY@AI*IA, 2019)

In Silico Clinical Trials through AI and Statistical Model Checking. - Vadim Alimguzhin; Toni Mancini; Annalisa Massini; Stefano Sinisi; Enrico Tronci (OVERLAY@AI*IA, 2019)

Electricity Network Constraint Management using Individualised Demand Aware Price Policies. - Igor Melatti; Vadim Alimguzhin; Federico Mari; Milan Prodanovic; Barry P. Hayes (OVERLAY, 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 (OVERLAY, 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)

Complete populations of virtual patients for in silico clinical trials. - Stefano Sinisi; Vadim Alimguzhin; Toni Mancini; Enrico Tronci; Brigitte Leeners (Bioinform., 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)