Patient-specific models from inter-patient biological models and clinical records. - Enrico Tronci; Toni Mancini; Ivano Salvo; Stefano Sinisi; Federico Mari; Igor Melatti; Annalisa Massini; Francesco Davì; Thomas Dierkes; Rainald Ehrig; Susanna Röblitz; Brigitte Leeners; et al. (FMCAD, 2014)

Computing Personalised Treatments through In Silico Clinical Trials. - Toni Mancini; Federico Mari; Annalisa Massini; Igor Melatti; Ivano Salvo; Stefano Sinisi; Enrico Tronci; Rainald Ehrig; Susanna Röblitz; Brigitte Leeners (RCRA@FLoC, 2018)

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

Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking. - Agostina Calabrese; Toni Mancini; Annalisa Massini; Stefano Sinisi; Enrico Tronci (RCRA/RiCeRcA@AI*IA, 2019)

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)

Artificial intelligence and model checking methods for in silico clinical trials. - Stefano Sinisi (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)

METASAT: Modular Model-Based Design and Testing for Applications in Satellites. - Leonidas Kosmidis; Alejandro J. Calderón; Aridane Álvarez Suárez; Stefano Sinisi; Eckart Göhler; Paco Gómez Molinero; Alfred Hönle; Alvaro Jover-Alvarez; Lorenzo Lazzara; Miguel Masmano Tello; Peio Onaindia; Tomaso Poggi; et al. (SAMOS, 2023)

The METASAT Model-Based Engineering Workflow and Digital Twin Concept. - Alejandro J. Calderón; Irune Yarza; Stefano Sinisi; Lorenzo Lazzara; Valerio Di Valerio; Giulia Stazi; Leonidas Kosmidis; Matina Maria Trompouki; Alessandro Ulisse; Aitor Amonarriz; Peio Onaindia (DATE, 2024)

Integration of GPU RTL IP into System-level Simulation through TLM: A Case Study with Vortex RISC-V GPU in the METASAT Platform Digital Twin. - Lorenzo Lazzara; Giulia Stazi; Valerio Di Valerio; Stefano Sinisi; Alessandro Ulisse; Marc Solé Bonet; Janis Wolf; Leonidas Kosmidis (Software Engineering Companion, 2025)