Enrico Tronci
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
35
Venues
21
Active years
1987–2018
Best venue rank
A*
Where they publish
Papers
35 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | ISMIS | An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks. | Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2015 | DSD | A Glimpse of SmartHG Project Test-bed and Communication Infrastructure. | Vadim Alimguzhin, Federico Mari, Igor Melatti, Enrico Tronci, Emad Samuel Malki Ebeid, Sren Aagaard Mikkelsen, Rune Hylsberg Jacobsen, Jorn Klaas Gruber, Barry P. Hayes, Francisco Huerta, Milan Prodanovic |
| 2015 | DSD | User Flexibility Aware Price Policy Synthesis for Smart Grids. | Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry Patrick Hayes, Milan Prodanovic, Lars Elmegaard |
| 2015 | PDP | SyLVaaS: System Level Formal Verification as a Service. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci |
| 2014 | DSD | Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci |
| 2014 | FMCAD | Patient-specific models from inter-patient biological models and clinical records. | Enrico Tronci, Toni Mancini, Ivano Salvo, Stefano Sinisi, Federico Mari, Igor Melatti, Annalisa Massini, Francesco Dav, Thomas Dierkes, Rainald Ehrig, Susanna Rblitz, Brigitte Leeners, Tillmann H. C. Kruger, Marcel Egli, Fabian Ille |
| 2014 | PDP | System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci |
| 2013 | CAV | System Level Formal Verification via Model Checking Driven Simulation. | Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci |
| 2012 | EMSOFT | On model based synthesis of embedded control software. | Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2012 | ICTAC | Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2011 | ICINCO | Cost-optimal Strong Planning in Non-deterministic Domains. | Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni, Enrico Tronci |
| 2010 | CAV | Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci |
| 2010 | ECAI | Analyzing Flexible Timeline-based Plans. | Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci |
| 2009 | CRiSIS | Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks. | Andrea Bobbio, Ester Ciancamerla, Saverio Di Blasi, Alessandro Iacomini, Federico Mari, Igor Melatti, Michele Minichino, Alessandro Scarlatti, Enrico Tronci, Roberta Terruggia, Emilio Zendri |
| 2009 | KI | Flexible Timeline-Based Plan Verification. | Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci |
| 2009 | SSS | Model Checking Coalition Nash Equilibria in MAD Distributed Systems. | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li |
| 2008 | FMCAD | Model Checking Nash Equilibria in MAD Distributed Systems. | Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li |
| 2007 | APSEC | Disk Based Software Verification via Bounded Model Checking. | Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna |
| 2006 | FDL | A Case Study on Automated Generation of Integration Tests. | Giuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti, Enrico Tronci |
| 2006 | ICINCO | Automatic generation of optimal controllers through model checking techniques. | Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci |
| 2005 | ATVA | Exploiting Hub States in Automatic Verification. | Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci |
| 2005 | SAFECOMP | Automatic Analysis of a Safety Critical Tele Control System. | Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci |
| 2004 | FMCAD | Bounded Probabilistic Model Checking with the Mur | Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli |
| 2004 | ICICS | Automatic Covert Channel Analysis of a Multilevel Secure Component. | Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci |
| 2004 | KES | Electric Power System Anomaly Detection Using Neural Networks. | Marco Martinelli, Enrico Tronci, Giovanni Dipoppa, Claudio Balducelli |
| 2003 | SAFECOMP | Automatic Timeliness Verification of a Public Mobile Network. | Ester Ciancamerla, Michele Minichino, S. Serro, Enrico Tronci |
| 2002 | FMCAD | Exploiting Transition Locality in the Disk Based Mur phi Verifier. | Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli |
| 2002 | SAFECOMP | Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant. | Marco Gribaudo, Andrs Horvth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino |
| 2001 | APSEC | A Probabilistic Approach to Automatic Verification of Concurrent Systems. | Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli |
| 1998 | FM | A Symbolic Model Checker for ACTL. | Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci |
| 1998 | ICFEM | Automatic Synthesis of Controllers from Formal Specifications. | Enrico Tronci |
| 1996 | FM | Automatic Verification of a Hydroelectric Power Plant. | Rosario Pugliese, Enrico Tronci |
| 1995 | LICS | Hardware Verification, Boolean Logic Programming, Boolean Functional Programming | Enrico Tronci |
| 1991 | LICS | Equational Prgoramming in lambda-calculus | Enrico Tronci |
| 1987 | LICS | X-Separability and Left-Invertibility in lambda-calculus | Corrado Bhm, Enrico Tronci |