![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Enrico Tronci
Person information
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j37]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) - [j36]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): 1515-1526 (2024) - 2023
- [j35]Toni Mancini
, Igor Melatti
, Enrico Tronci
:
Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems. IEEE Trans. Software Eng. 49(9): 4443-4455 (2023) - [i15]Toni Mancini, Igor Melatti, Enrico Tronci:
Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems. CoRR abs/2307.15383 (2023) - [i14]Marco Esposito, Toni Mancini, Enrico Tronci:
Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry. CoRR abs/2312.06667 (2023) - 2022
- [j34]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): 8566-8578 (2022) - [j33]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): 4002-4013 (2022) - [c65]Valeria Trombetta, Maxime Cordy, Enrico Tronci, Axel Legay:
CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems. CPS Summer School, PhD Workshop 2022 - 2021
- [j32]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): 353-372 (2021) - [j31]Stefano Sinisi, Vadim Alimguzhin, Toni Mancini
, Enrico Tronci, Brigitte Leeners
:
Complete populations of virtual patients for in silico clinical trials. Bioinform. 36(22-23): 5465-5472 (2021) - [j30]Igor Melatti
, Federico Mari
, Ivano Salvo, Enrico Tronci
:
Visualisation of Control Software for Cyber-Physical Systems. Inf. 12(5): 178 (2021) - [j29]Toni Mancini
, Federico Mari
, Annalisa Massini
, Igor Melatti, Enrico Tronci:
On checking equivalence of simulation scripts. J. Log. Algebraic Methods Program. 120: 100640 (2021) - [j28]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: 102277 (2021) - [i13]Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci:
Reconciling interoperability with efficient Verification and Validation within open source simulation environments. CoRR abs/2106.01343 (2021) - [i12]Filippo Maggioli, Toni Mancini, Enrico Tronci:
SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems. CoRR abs/2106.02609 (2021) - [i11]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 abs/2106.10684 (2021) - [i10]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 abs/2106.10685 (2021) - [i9]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 abs/2106.10692 (2021) - [i8]Igor Melatti, Federico Mari, Toni Mancini, Milan Prodanovic, Enrico Tronci:
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries. CoRR abs/2108.06735 (2021) - [i7]Toni Mancini, Igor Melatti, Enrico Tronci:
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification. CoRR abs/2109.03330 (2021) - 2020
- [j27]Filippo Maggioli
, Toni Mancini
, Enrico Tronci:
SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems. Bioinform. 36(7): 2165-2172 (2020) - [j26]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): 229-258 (2020) - [j25]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): 283-310 (2020) - [j24]Angela Pappagallo
, Annalisa Massini, Enrico Tronci
:
Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review. Inf. 11(12): 588 (2020) - [c64]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: 41-46 - [c63]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: 59-64
2010 – 2019
- 2019
- [c62]Vadim Alimguzhin, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci:
In Silico Clinical Trials through AI and Statistical Model Checking. OVERLAY@AI*IA 2019: 17-22 - [c61]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 - 2018
- [j23]Javier Esparza
, Enrico Tronci
:
Preface for the special issue GandALF 2015. Acta Informatica 55(2): 89-90 (2018) - [c60]Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
:
An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks. ISMIS 2018: 302-312 - [c59]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 - [c58]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 - [c57]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: 1-6 - 2017
- [j22]Toni Mancini
, Federico Mari
, Annalisa Massini
, Igor Melatti, Ivano Salvo, Enrico Tronci
:
On minimising the maximum expected verification time. Inf. Process. Lett. 122: 8-16 (2017) - [j21]Toni Mancini, Annalisa Massini, Enrico Tronci
:
Parallelization of Cycle-Based Logic Simulation. Parallel Process. Lett. 27(2): 1750003:1-1750003:16 (2017) - [j20]Vadim Alimguzhin, Federico Mari
, Igor Melatti
, Ivano Salvo
, Enrico Tronci
:
Linearizing Discrete-Time Hybrid Systems. IEEE Trans. Autom. Control. 62(10): 5357-5364 (2017) - [j19]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): 1284-1294 (2017) - [c56]Youssef Driouich, Mimmo Parente, Enrico Tronci
:
Modeling cyber-physical systems for automatic verification. SMACD 2017: 1-4 - 2016
- [j18]Toni Mancini
, Federico Mari
, Annalisa Massini, Igor Melatti, Enrico Tronci
:
SyLVaaS: System Level Formal Verification as a Service. Fundam. Informaticae 149(1-2): 101-132 (2016) - [j17]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: 12-28 (2016) - 2015
- [c55]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: 225-232 - [c54]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: 478-485 - [c53]Toni Mancini, Enrico Tronci, Ivano Salvo, Federico Mari
, Annalisa Massini, Igor Melatti:
Computing Biological Model Parameters by Parallel Statistical Model Checking. IWBBIO (2) 2015: 542-554 - [c52]Toni Mancini
, Federico Mari
, Annalisa Massini, Igor Melatti, Enrico Tronci
:
SyLVaaS: System Level Formal Verification as a Service. PDP 2015: 476-483 - [c51]Toni Mancini, Federico Mari
, Annalisa Massini, Igor Melatti, Enrico Tronci
:
Simulator Semantics for System Level Formal Verification. GandALF 2015: 86-99 - [e2]Javier Esparza
, Enrico Tronci
:
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015. EPTCS 193, 2015 [contents] - 2014
- [j16]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): 6:1-6:42 (2014) - [c50]Toni Mancini
, Federico Mari
, Annalisa Massini, Igor Melatti, Enrico Tronci
:
Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation. DSD 2014: 236-245 - [c49]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: 207-214 - [c48]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: 734-742 - [c47]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: 794-799 - 2013
- [j15]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): 14-36 (2013) - [j14]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): 261-280 (2013) - [c46]Toni Mancini
, Federico Mari
, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci
:
System Level Formal Verification via Model Checking Driven Simulation. CAV 2013: 296-312 - [c45]Vadim Alimguzhin, Federico Mari
, Igor Melatti, Ivano Salvo, Enrico Tronci
:
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. SPIN 2013: 43-60 - [c44]Vadim Alimguzhin, Federico Mari
, Igor Melatti, Ivano Salvo, Enrico Tronci
:
On-the-Fly Control Software Synthesis. SPIN 2013: 61-80 - 2012
- [c43]Vadim Alimguzhin, Federico Mari
, Igor Melatti, Ivano Salvo, Enrico Tronci
:
Automatic control software synthesis for quantized discrete time hybrid systems. CDC 2012: 6120-6125 - [c42]Vadim Alimguzhin, Federico Mari
, Igor Melatti, Ivano Salvo, Enrico Tronci
:
On model based synthesis of embedded control software. EMSOFT 2012: 227-236 - [c41]Federico Mari
, Igor Melatti, Ivano Salvo, Enrico Tronci
:
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems. ICTAC 2012: 243-258 - [i6]Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems. CoRR abs/1207.4098 (2012) - [i5]Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
On Model Based Synthesis of Embedded Control Software. CoRR abs/1207.4474 (2012) - [i4]Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software. CoRR abs/1210.2276 (2012) - 2011
- [j13]Amedeo Cesta
, Simone Fratini, Andrea Orlandini
, Alberto Finzi
, Enrico Tronci
:
Flexible Plan Verification: Feasibility Results. Fundam. Informaticae 107(2-3): 111-137 (2011) - [c40]Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni, Enrico Tronci:
Cost-optimal Strong Planning in Non-deterministic Domains. ICINCO (1) 2011: 56-66 - [i3]Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters. CoRR abs/1105.5640 (2011) - [i2]Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
From Boolean Functional Equations to Control Software. CoRR abs/1106.0468 (2011) - [i1]Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci:
Quantized Feedback Control Software Synthesis from System Level Formal Specifications. CoRR abs/1107.5638 (2011) - 2010
- [j12]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): 299-318 (2010) - [c39]Federico Mari
, Igor Melatti, Ivano Salvo, Enrico Tronci
:
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems. CAV 2010: 180-195 - [c38]Amedeo Cesta
, Alberto Finzi
, Simone Fratini, Andrea Orlandini
, Enrico Tronci
:
Analyzing Flexible Timeline-based Plans. ECAI 2010: 471-476
2000 – 2009
- 2009
- [c37]Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci:
Flexible Plan Verification: Feasibility Results. RCRA@AI*IA 2009 - [c36]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: 90-97 - [c35]Amedeo Cesta
, Alberto Finzi
, Simone Fratini, Andrea Orlandini
, Enrico Tronci
:
Flexible Timeline-Based Plan Verification. KI 2009: 49-56 - [c34]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: 531-546 - 2008
- [c33]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: 1-8 - 2007
- [c32]Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna
:
Disk Based Software Verification via Bounded Model Checking. APSEC 2007: 358-365 - [c31]Federico Mari
, Enrico Tronci:
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems. HSCC 2007: 399-412 - 2006
- [j11]Enrico Tronci
:
Introductory Paper. Int. J. Softw. Tools Technol. Transf. 8(4-5): 355-358 (2006) - [j10]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): 397-409 (2006) - [c30]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: 278-284 - [c29]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: 26-33 - 2005
- [c28]Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci:
Exploiting Hub States in Automatic Verification. ATVA 2005: 54-68 - [c27]Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci:
A Model Checking Technique for the Verification of Fuzzy Control Systems. CIMCA/IAWTIC 2005: 536-542 - [c26]Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci
:
Automatic Analysis of a Safety Critical Tele Control System. SAFECOMP 2005: 94-107 - 2004
- [j9]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): 168-186 (2004) - [j8]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): 320-341 (2004) - [c25]Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli:
Bounded Probabilistic Model Checking with the Muralpha Verifier. FMCAD 2004: 214-229 - [c24]Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci:
Automatic Covert Channel Analysis of a Multilevel Secure Component. ICICS 2004: 249-261 - [c23]Marco Martinelli, Enrico Tronci, Giovanni Dipoppa, Claudio Balducelli:
Electric Power System Anomaly Detection Using Neural Networks. KES 2004: 1242-1248 - 2003
- [j7]Giuseppe Della Penna
, Benedetto Intrigila, Enrico Tronci
, Marisa Venturini Zilli:
Synchronized regular expressions. Acta Informatica 39(1): 31-70 (2003) - [j6]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): 239-257 (2003) - [c22]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: 277-282 - [c21]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: 394-409 - [c20]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: 141-155 - [c19]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: 58-71 - [c18]Ester Ciancamerla, Michele Minichino, S. Serro, Enrico Tronci:
Automatic Timeliness Verification of a Public Mobile Network. SAFECOMP 2003: 35-48 - [c17]Ruggero Lanotte
, Andrea Maggiolo-Schettini, Simone Tini
, Angelo Troina, Enrico Tronci
:
Automatic Analysis of the NRL Pump. MEFISTO 2003: 245-266 - [e1]Daniel Geist, Enrico Tronci:
Correct Hardware Design and Verification Methods, 12th IFIP WG 10.5 Advanced Research Working Conference, CHARME 2003, L'Aquila, Italy, October 21-24, 2003, Proceedings. Lecture Notes in Computer Science 2860, Springer 2003, ISBN 3-540-20363-X [contents] - 2002
- [c16]Giuseppe Della Penna
, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli:
Exploiting Transition Locality in the Disk Based Mur phi Verifier. FMCAD 2002: 202-219 - [c15]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: 273-283 - 2001
- [c14]Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli:
A Probabilistic Approach to Automatic Verification of Concurrent Systems. APSEC 2001: 317-324 - [c13]Enrico Tronci, Giuseppe Della Penna
, Benedetto Intrigila, Marisa Venturini Zilli:
Exploiting Transition Locality in Automatic Verification. CHARME 2001: 259-274 - [c12]Giovanni Dipoppa, Giovanni D'Alessandro, Roberto Semprini, Enrico Tronci
:
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design. HASE 2001: 209-219 - [c11]Giuseppe Della Penna
, Benedetto Intrigila, Enrico Tronci
, Marisa Venturini Zilli:
Synchronized Regular Expressions. TOSCA 2001: 195-210 - [c10]Riccardo Focardi
, Roberto Gorrieri, Ruggero Lanotte
, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini
, Enrico Tronci
:
Formal Models of Timing Attacks on Web Privacy. TOSCA 2001: 229-243 - 2000
- [c9]Michele Cecconi, Enrico Tronci
:
Requirements formalization and validation for a telecommunication equipment protection switcher. HASE 2000: 169-176
1990 – 1999
- 1999
- [c8]Enrico Tronci:
Formally Modeling a Metal Processing Plant and its Closed Loop Specifications. HASE 1999: 151-160 - [c7]Enrico Tronci:
Automatic Synthesis of Control Software for an Industrial Automation Control System. ASE 1999: 247-250 - 1998
- [c6]Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese
, Enrico Tronci
:
A Symbolic Model Checker for ACTL. FM-Trends 1998: 228-242 - [c5]Enrico Tronci
:
Automatic Synthesis of Controllers from Formal Specifications. ICFEM 1998: 134-143 - 1996
- [j5]Enrico Tronci
:
Equational Programming in Lambda-Calculus via SL-Systems. Part 1. Theor. Comput. Sci. 160(1&2): 145-184 (1996) - [j4]Enrico Tronci
:
Equational Programming in Lambda-Calculus via SL-Systems. Part 2. Theor. Comput. Sci. 160(1&2): 185-216 (1996) - [c4]Rosario Pugliese, Enrico Tronci:
Automatic Verification of a Hydroelectric Power Plant. FME 1996: 425-444 - 1995
- [j3]Enrico Tronci
:
Defining Data Structures via Böhm-Out. J. Funct. Program. 5(1): 51-64 (1995) - [c3]Enrico Tronci:
Hardware Verification, Boolean Logic Programming, Boolean Functional Programming. LICS 1995: 408-418 - 1991
- [j2]Corrado Böhm, Enrico Tronci
:
About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus. Inf. Comput. 90(1): 1-32 (1991) - [c2]Enrico Tronci:
Equational Prgoramming in lambda-calculus. LICS 1991: 191-202 - 1990
- [j1]Adolfo Piperno, Enrico Tronci:
Regular Systems in lambda-Calculus. Int. J. Found. Comput. Sci. 1(3): 325-340 (1990)
1980 – 1989
- 1987
- [c1]Corrado Böhm, Enrico Tronci:
X-Separability and Left-Invertibility in lambda-calculus. LICS 1987: 320-328
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-14 23:18 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint