RAISE Prof. Toni Mancini, Ph.D.
Full professor at Department of Computer Science, Sapienza University of Rome
Via Salaria 113, 00198 Rome, Italy
Floor 3, room 310
tmancini@di.uniroma1.it
Recent research publications
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.
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.
Optimal 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.
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.
- 1
- 2
Research projects
Endotrain Doctoral Training Network
Training interdisciplinary experts in digital endocrine medicine (Doctoral Network, EC Marie Skłodowska-Curie Actions, European Commission)
IDRA
VHF/UHF Communication System based on Swarms of CubeSats (Consulting activity, Italian PNRR fund)
SIATE
A Decision Support System based on AI for the personalization of the hemodialysis therapy (Consulting activity, Italian PNRR fund)
Rome Technopole – Flagship 6
Artificial intelligence, virtual reality, and digital twin for advanced engineering and aerospace (Consulting activity, Italian PNRR fund)
SDFS
Satellite Driven Fire Simulator (Italy Lazio Region POR FESR 2014-2020, Aerospace)
SCAPR
Advanced System for Countering Unmanned Aerial Vehicles / Sistema per il Contrasto di Aeromobili a Pilotaggio Remoto (Italy Lazio Region POR FESR 2014-2020, Aerospace and security)
PAEON
Model Driven Computation of Treatments for Infertility Related Endocrinological Diseases (EC FP7-ICT-2011-9, European Commission)
SmartHG
Energy Demand Aware Open Services for Smart Grid Intelligent Automation (EC FP7-ICT-2011-8, European Commission)
SAPP
Advanced System for Optimal and Fault-Tolerant Positioning of Relays Nodes in a Radiogoniometry System (Consulting activity, Log.In s.r.l.)
Current teaching activity
Diploma di Istituto Tecnico Superiore (ITS)
Sviluppo di software fullstack e per il cloud, analisi di big data con intelligenza artificiale, cybersecurity
Databases, Part 2
Course taught within the Bachelor programme in Computer Science at Sapienza University of Rome.
Artificial Intelligence
Course taught within the Bachelor programme in Computer Science at Sapienza University of Rome.
Formal Methods for AI-based Systems Engineering
Course taught within the Master programme in Computer Science at Sapienza University of Rome.
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.