Prof. Enrico Tronci, Ph.D.

Full professor at Department of Computer Science, Sapienza University of Rome

Via Salaria 113, 00198 Rome, Italy
Floor 3, room 314B
tronci@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.

All publications

Research projects

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)

ESA-ITI-AO6067

Model Checker Validator for Satellite Operational Procedure (ESA ITI, European Space Agency)

ULISSE

USOCs KnowLedge Integration and Dissemination for Space Science Experimentation (EC FP7-SPACE-2007-1, European Commission)

RAISE

RAISE Research Lab in Artificial Intelligence for Systems Engineering