Stefano Sinisi

According to our database, Stefano Sinisi authored at least 11 papers between 2014 and 2024.

Collaborative distances:

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

2024

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

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, Ivan Rodriguez-Ferrandez, Marc Solé Bonet, Giulia Stazi, Matina Maria Trompouki, Alessandro Ulisse, Valerio Di Valerio, Jannis Wolf, Irune Yarza

Proceedings of the Embedded Computer Systems: Architectures, Modeling, and Simulation, 2023

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

Artificial intelligence and model checking methods for in silico clinical trials.

Stefano Sinisi

PhD thesis, 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

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

Proceedings of the Joint Proceedings of the RCRA International Workshop and of the RCRA Incontri e Confronti Workshop co-located with the 18th International Conference of the Italian Association for Artificial Intelligence (AIIA 2019), 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

2018

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

Proceedings of the Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion co-located with the Federated Logic Conference, 2018

2014

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, Tillmann H. C. Kruger, Marcel Egli, Fabian Ille

Proceedings of the Formal Methods in Computer-Aided Design, 2014