RAISE Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems
Toni Mancini, Igor Melatti, Enrico Tronci. IEEE Transactions on Software Engineering, 49(9), pages 4443-4455, 2023.
Tag: tmancini
Page 2 of 3
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification
Toni Mancini, Igor Melatti, Enrico Tronci. IEEE Transactions on Software Engineering, 48(10), pages 4002-4013, 2022.
Categories
PublicationsSBML2Modelica: Integrating Biochemical Models within Open-Standard Simulation Ecosystems
Filippo Maggioli, Toni Mancini, Enrico Tronci. Bioinformatics, 36(7), pages 2165-2172, 2020.
Reconciling Interoperability with Efficient Verification and Validation within Open Source Simulation Environments
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci. Simulation Modelling Practice and Theory, 109, pages 102277, 2021.
Categories
PublicationsOptimal personalised treatment computation through in silico clinical trials on patient digital twins
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners. Fundamenta Informaticae, 174(3-4), pages 283-310, 2020.
Categories
PublicationsComplete populations of virtual patients for in silico clinical trials
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Brigitte Leeners. Bioinformatics, 36(22-23), pages 5465–5472, 2020.
Categories
Publications
IDRA
VHF/UHF Communication System based on Swarms of CubeSats (Consulting activity, Italian PNRR fund)
Categories
Projects
SIATE
A Decision Support System based on AI for the personalization of the hemodialysis therapy (Consulting activity, Italian PNRR fund)
Categories
ProjectsA Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries
Igor Melatti, Federico Mari, Toni Mancini, Milan Prodanovic, Enrico Tronci. IEEE Transactions on Industrial Electronics, 69(8), pages 8566-8578, 2022.
Categories
Publications
Rome Technopole – Flagship 6
Artificial intelligence, virtual reality, and digital twin for advanced engineering and aerospace (Consulting activity, Italian PNRR fund)