Enrico Tronci

ORCID

Publication Activity (10 Years)

Years Active: 1987-2024
Publications (10 Years): 40

Top Venues

Publications

Andrea Marino, Blerina Sinaimeri, Enrico Tronci, Tiziana Calamoneri
STARGATE-X: a Python package for statistical analysis on the REACTOME network. J. Integr. Bioinform. 20 (3) (2024)
Marco Esposito, Toni Mancini, Enrico Tronci
Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry. IEEE Trans. Syst. Man Cybern. Syst. 54 (3) (2024)
Marco Esposito, Toni Mancini, Enrico Tronci
Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry. CoRR (2023)
Toni Mancini, Igor Melatti, Enrico Tronci
Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems. CoRR (2023)
Toni Mancini, Igor Melatti, Enrico Tronci
Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems. IEEE Trans. Software Eng. 49 (9) (2023)
Toni Mancini, Igor Melatti, Enrico Tronci
Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification. IEEE Trans. Software Eng. 48 (10) (2022)
Igor Melatti, Federico Mari, Toni Mancini, Milan Prodanovic, Enrico Tronci
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries. IEEE Trans. Ind. Electron. 69 (8) (2022)
Valeria Trombetta, Maxime Cordy, Enrico Tronci, Axel Legay
CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems. CPS Summer School, PhD Workshop (2022)
Toni Mancini, Igor Melatti, Enrico Tronci
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification. CoRR (2021)
Igor Melatti, Federico Mari, Ivano Salvo, Enrico Tronci
Visualisation of Control Software for Cyber-Physical Systems. Inf. 12 (5) (2021)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
Parallel Statistical Model Checking for Safety Verification in Smart Grids. CoRR (2021)
Qian Matteo Chen, Alberto Finzi, Toni Mancini, Igor Melatti, Enrico Tronci
MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks. CoRR (2021)
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci
Reconciling interoperability with efficient Verification and Validation within open source simulation environments. Simul. Model. Pract. Theory 109 (2021)
Filippo Maggioli, Toni Mancini, Enrico Tronci
SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems. CoRR (2021)
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
Optimal personalised treatment computation through in silico clinical trials on patient digital twins. CoRR (2021)
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci
Reconciling interoperability with efficient Verification and Validation within open source simulation environments. CoRR (2021)
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Brigitte Leeners
Complete populations of virtual patients for in silico clinical trials. Bioinform. 36 (22-23) (2021)
Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management. Appl. Artif. Intell. 35 (5) (2021)
Igor Melatti, Federico Mari, Toni Mancini, Milan Prodanovic, Enrico Tronci
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries. CoRR (2021)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
On checking equivalence of simulation scripts. J. Log. Algebraic Methods Program. 120 (2021)
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials. OVERLAY (2020)
Qian Matteo Chen, Toni Mancini, Igor Melatti, Enrico Tronci, Alberto Finzi
Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence. OVERLAY (2020)
Angela Pappagallo, Annalisa Massini, Enrico Tronci
Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review. Inf. 11 (12) (2020)
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins. Fundam. Informaticae 174 (3-4) (2020)
Qian Matteo Chen, Alberto Finzi, Toni Mancini, Igor Melatti, Enrico Tronci
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks. Fundam. Informaticae 174 (3-4) (2020)
Filippo Maggioli, Toni Mancini, Enrico Tronci
SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems. Bioinform. 36 (7) (2020)
Agostina Calabrese, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci
Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking. RCRA/RiCeRcA@AI*IA (2019)
Vadim Alimguzhin, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci
In Silico Clinical Trials through AI and Statistical Model Checking. OVERLAY@AI*IA (2019)
Javier Esparza, Enrico Tronci
Preface for the special issue GandALF 2015. Acta Informatica 55 (2) (2018)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks. ISMIS (2018)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Stefano Sinisi, Enrico Tronci, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners
Computing Personalised Treatments through In Silico Clinical Trials. RCRA@FLoC (2018)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
Parallel Statistical Model Checking for Safety Verification in Smart Grids. SmartGridComm (2018)
Toni Mancini, Enrico Tronci, Agostino Scialanca, Filiberto Lanciotti, Alberto Finzi, Riccardo Guarneri, Silvia Di Pompeo
Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network. RCRA@FLoC (2018)
Barry Patrick Hayes, Igor Melatti, Toni Mancini, Milan Prodanovic, Enrico Tronci
Residential Demand Management Using Individualized Demand Aware Price Policies. IEEE Trans. Smart Grid 8 (3) (2017)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Enrico Tronci
On minimising the maximum expected verification time. Inf. Process. Lett. 122 (2017)
Toni Mancini, Annalisa Massini, Enrico Tronci
Parallelization of Cycle-Based Logic Simulation. Parallel Process. Lett. 27 (2) (2017)
Youssef Driouich, Mimmo Parente, Enrico Tronci
Modeling cyber-physical systems for automatic verification. SMACD (2017)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Linearizing Discrete-Time Hybrid Systems. IEEE Trans. Autom. Control. 62 (10) (2017)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
Anytime system level verification via parallel random exhaustive hardware in the loop simulation. Microprocess. Microsystems 41 (2016)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
SyLVaaS: System Level Formal Verification as a Service. Fundam. Informaticae 149 (1-2) (2016)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Enrico Tronci, Emad Samuel Malki Ebeid, Søren Aagaard Mikkelsen, Rune Hylsberg Jacobsen, Jorn Klaas Gruber, Barry P. Hayes, Francisco Huerta, Milan Prodanovic
A Glimpse of SmartHG Project Test-bed and Communication Infrastructure. DSD (2015)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
Simulator Semantics for System Level Formal Verification. GandALF (2015)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
SyLVaaS: System Level Formal Verification as a Service. PDP (2015)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry Patrick Hayes, Milan Prodanovic, Lars Elmegaard
User Flexibility Aware Price Policy Synthesis for Smart Grids. DSD (2015)
Toni Mancini, Enrico Tronci, Ivano Salvo, Federico Mari, Annalisa Massini, Igor Melatti
Computing Biological Model Parameters by Parallel Statistical Model Checking. IWBBIO (2) (2015)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation. PDP (2014)
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
Demand-aware price policy synthesis and verification services for Smart Grids. SmartGridComm (2014)
Enrico Tronci, Toni Mancini, Ivano Salvo, Stefano Sinisi, Federico Mari, Igor Melatti, Annalisa Massini, Francesco Davì, Thomas Dierkes, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners, Tillmann H. C. Kruger, Marcel Egli, Fabian Ille
Patient-specific models from inter-patient biological models and clinical records. FMCAD (2014)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation. DSD (2014)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Model-based synthesis of control software from system-level formal specifications. ACM Trans. Softw. Eng. Methodol. 23 (1) (2014)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
On-the-Fly Control Software Synthesis. SPIN (2013)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. SPIN (2013)
Federico Mari, Igor Melatti, Enrico Tronci, Alberto Finzi
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET. Mob. Inf. Syst. 9 (3) (2013)
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci
System Level Formal Verification via Model Checking Driven Simulation. CAV (2013)
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems. Eur. J. Control 19 (1) (2013)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
On Model Based Synthesis of Embedded Control Software CoRR (2012)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Automatic control software synthesis for quantized discrete time hybrid systems. CDC (2012)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software CoRR (2012)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. ICTAC (2012)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems CoRR (2012)
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
On model based synthesis of embedded control software. EMSOFT (2012)
Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni, Enrico Tronci
Cost-optimal Strong Planning in Non-deterministic Domains. ICINCO (1) (2011)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters CoRR (2011)
Amedeo Cesta, Simone Fratini, Andrea Orlandini, Alberto Finzi, Enrico Tronci
Flexible Plan Verification: Feasibility Results. Fundam. Informaticae 107 (2-3) (2011)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
From Boolean Functional Equations to Control Software CoRR (2011)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Quantized Feedback Control Software Synthesis from System Level Formal Specifications CoRR (2011)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. CAV (2010)
Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci
Analyzing Flexible Timeline-based Plans. ECAI (2010)
Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci
Validation and verification issues in a timeline-based planning system. Knowl. Eng. Rev. 25 (3) (2010)
Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci
Flexible Timeline-Based Plan Verification. KI (2009)
Andrea Bobbio, Ester Ciancamerla, Saverio Di Blasi, Alessandro Iacomini, Federico Mari, Igor Melatti, Michele Minichino, Alessandro Scarlatti, Enrico Tronci, Roberta Terruggia, Emilio Zendri
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks. CRiSIS (2009)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li
Model Checking Coalition Nash Equilibria in MAD Distributed Systems. SSS (2009)
Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci
Flexible Plan Verification: Feasibility Results. RCRA@AI*IA (2009)
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li
Model Checking Nash Equilibria in MAD Distributed Systems. FMCAD (2008)
Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna
Disk Based Software Verification via Bounded Model Checking. APSEC (2007)
Federico Mari, Enrico Tronci
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems. HSCC (2007)
Giuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti, Enrico Tronci
A Case Study on Automated Generation of Integration Tests. FDL (2006)
Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci
Automatic generation of optimal controllers through model checking techniques. ICINCO-ICSO (2006)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Finite horizon analysis of Markov Chains with the Murphi verifier. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
Enrico Tronci
Introductory Paper. Int. J. Softw. Tools Technol. Transf. 8 (4-5) (2006)
Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci
Exploiting Hub States in Automatic Verification. ATVA (2005)
Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci
Automatic Analysis of a Safety Critical Tele Control System. SAFECOMP (2005)
Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci
A Model Checking Technique for the Verification of Fuzzy Control Systems. CIMCA/IAWTIC (2005)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
Automatic Analysis of the NRL Pump. Electron. Notes Theor. Comput. Sci. 99 (2004)
Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
Automated analysis of timed security: a case study on web privacy. Int. J. Inf. Sec. 2 (3-4) (2004)
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
Automatic Covert Channel Analysis of a Multilevel Secure Component. ICICS (2004)
Marco Martinelli, Enrico Tronci, Giovanni Dipoppa, Claudio Balducelli
Electric Power System Anomaly Detection Using Neural Networks. KES (2004)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Verifier. FMCAD (2004)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Exploiting transition locality in automatic verification of finite-state concurrent systems. Int. J. Softw. Tools Technol. Transf. 6 (4) (2004)
Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino
Fluid Petri Nets and hybrid model-checking: a comparative case study. Reliab. Eng. Syst. Saf. 81 (3) (2003)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier. CHARME (2003)
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
Synchronized regular expressions. Acta Informatica 39 (1) (2003)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier. ICTCS (2003)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli
Automatic Verification of a Turbogas Control System with the Mur varphi Verifier. HSCC (2003)
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
Integrating RAM and Disk Based Verification within the Mur-phi Verifier. CHARME (2003)
Ester Ciancamerla, Michele Minichino, S. Serro, Enrico Tronci
Automatic Timeliness Verification of a Public Mobile Network. SAFECOMP (2003)
Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. SAFECOMP (2002)
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
Exploiting Transition Locality in the Disk Based Mur phi Verifier. FMCAD (2002)
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli
A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC (2001)
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
Synchronized Regular Expressions. Electron. Notes Theor. Comput. Sci. 62 (2001)

Enrico Tronci.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Enrico Tronci