RAISE Simulation-Based Design of Industry-Size Control Systems with Formal Quality Guarantees
Marco Esposito, Alberto Leva, Toni Mancini, Leonardo Picchiami, Enrico Tronci. IEEE Transactions on Industrial Informatics, 2025.
Tag: Publications
Page 1 of 2
Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures
Leonardo Picchiami, Maxime Parmentier, Axel Legay, Toni Mancini, Enrico Tronci. Elsevier Journal of Systems and Software, 2024.
Categories
PublicationsPublications
Main publications co-authored by members of the RAISE Lab.
Topics
Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry
Marco Esposito, Toni Mancini, Enrico Tronci. IEEE Transactions on Systems, Man, and Cybernetics: Systems, 2024.
Categories
PublicationsOptimising 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.
Categories
PublicationsAny-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.