Follow
Stefano Sinisi
Title
Cited by
Cited by
Year
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
392020
Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction
T Mancini, F Mari, A Massini, I Melatti, I Salvo, S Sinisi, E Tronci, R Ehrig, ...
362018
Patient-specific models from inter-patient biological models and clinical records
E Tronci, T Mancini, I Salvo, S Sinisi, F Mari, I Melatti, A Massini, F Davi, ...
2014 Formal Methods in Computer-Aided Design (FMCAD), 207-214, 2014
362014
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
282020
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
192021
Generating T1DM virtual patients for in silico clinical trials via AI-guided statistical model checking
A Calabrese, T Mancini, A Massini, S Sinisi, E Tronci
CEUR WORKSHOP PROCEEDINGS 2538, 2020
62020
METASAT: Modular Model-Based Design and Testing for Applications in Satellites
L Kosmidis, AJ Calderón, AÁ Suárez, S Sinisi, E Göhler, PG Molinero, ...
International Conference on Embedded Computer Systems, 347-362, 2023
42023
Scenario-Based Methods for Machine Learning Assurance
SIJA M. Hirschle, D. Kirov, R. Aievola, S. Sinisi
2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC), 1-10, 2023
2023
Agile Model-Based Integration Framework for Advanced Software Validation and Verification
G Stazi, S Sinisi, V Di Valerio, C Liu, D Uttberg, L Yapi, L Lazzara, ...
AIAA SCITECH 2023 Forum, 2223, 2023
2023
Artificial intelligence and model checking methods for in silico clinical trials
S Sinisi
2020
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
In silico clinical trials through AI and statistical model checking
V Alimguzhin, T Mancini, A Massini, S Sinisi, E Tronci
CEUR WORKSHOP PROCEEDINGS 2509, 17-22, 2020
2020
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–13