Enrico TRONCI

Professor

Sapienza University of Rome

Italy

Research Interests

Explore related searches

Professors in Italy

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

About

Enrico Tronci is a Professor at Sapienza University of Rome, Italy. His research focuses on cyber-physical systems, including statistical model checking, simulation-based design, and optimization of sensor deployments for unmanned aerial vehicles. Recent publications highlight his work on high-performance computing applications and methodologies for ensuring quality guarantees in industry-scale control systems.

Articles (9)

Year:

2025

Year:

2025

Year:

2024

Year:

2023

Year:

2022

Year:

2022

Year:

2021

Year:

2021

Year:

2020

Collaborators (2)

FEDERICO MARI

Professore associato

University of Rome Foro Italico

ITALY

View details

Milan Prodanovic

Institute for Advanced Study

SPAIN

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Enrico TRONCI

Research Interests

Explore related searches

Contact this professor

About

Articles (9)

Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures

Simulation-Based Design of Industry-Size Control Systems With Formal Quality Guarantees

Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry

Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems

Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification

A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries

Reconciling interoperability with efficient Verification and Validation within open source simulation environments

Visualisation of Control Software for Cyber-Physical Systems

Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review

Collaborators (2)

FEDERICO MARI

Milan Prodanovic

Make your next move.