Software
Our developed software
Our main publications which also feature open source, free, or licensable software are listed below.
-
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.
-
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.