RAISE Software
Software developed at the RAISE Lab.
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.
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.
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.
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.
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.
SBML2Modelica: Integrating Biochemical Models within Open-Standard Simulation Ecosystems
Filippo Maggioli, Toni Mancini, Enrico Tronci.
Bioinformatics, 36(7), pages 2165-2172, 2020.
Complete 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.
CMurphi (Caching Murphi)
CMurphi (Caching Murphi) is a model checker developed on the top of Murphi.
FHP-Murphi
FHP-Murphi (Finite Horizon Probabilistic Murphi) is a probabilistic model checker developed on the top of Murphi.
BSP, an interpreter for Boolean Symbolic Programs
BSP can be used as a symbolic model checker simply by writing in BSP your favorite symbolic model checking algorithm.