RAISE 
Software Engineering
Course taught within the Bachelor programme in Computer Science at Sapienza University of Rome.
Tag: tronci
Page 1 of 4
Verification and Validation of Intelligent Systems
Course taught within the Bachelor programme in Computer Science at Sapienza University of Rome.
Automatic Verification of Intelligent Systems
Course taught within the Master Programme in Computer Science at Sapienza University of Rome.
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.
Categories
PublicationsScaling 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
Publications
Artificial Intelligence for Personalised In Silico Medicine
Honour Programme (Percorso di eccellenza) within the Master and Bachelor programmes in Computer Science and the Bachelor programme in Applied Computer Science and Artificial Intelligence at Sapienza University of Rome.
AI for Design and Verification of Safety/Mission Critical Intelligent Systems
Activity (Attività Formativa Complementare, AFC) offered within the Master programme in Computer Science at Sapienza University of Rome.
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.