Enrico Tronci

121 papers A* 6A 1B 9C 14Misc 2Journal 54Unranked 33
YearRankTypeTitle / Venue / Authors
2025 J jnl
Scaling up statistical model checking of cyber-physical systems via algorithm ensemble and parallel simulations over HPC infrastructures.
J. Syst. Softw.
Leonardo Picchiami, Maxime Parmentier, Axel Legay, Toni Mancini, Enrico Tronci
2025 J jnl
Simulation-Based Design of Industry-Size Control Systems With Formal Quality Guarantees.
IEEE Trans. Ind. Informatics
Marco Esposito, Alberto Leva, Toni Mancini, Leonardo Picchiami, Enrico Tronci
2024 J jnl
Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry.
IEEE Trans. Syst. Man Cybern. Syst.
Marco Esposito, Toni Mancini, Enrico Tronci
2024 J jnl
STARGATE-X: a Python package for statistical analysis on the REACTOME network.
J. Integr. Bioinform.
Andrea Marino, Blerina Sinaimeri, Enrico Tronci, Tiziana Calamoneri
2023 J jnl
Optimising Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems.
CoRR
Toni Mancini, Igor Melatti, Enrico Tronci
2023 J jnl
Optimizing Fault-Tolerant Quality-Guaranteed Sensor Deployments for UAV Localization in Critical Areas via Computational Geometry.
CoRR
Marco Esposito, Toni Mancini, Enrico Tronci
2023 J jnl
Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems.
IEEE Trans. Software Eng.
Toni Mancini, Igor Melatti, Enrico Tronci
2022 J jnl
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries.
IEEE Trans. Ind. Electron.
Igor Melatti, Federico Mari, Toni Mancini, Milan Prodanovic, Enrico Tronci
2022 J jnl
Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification.
IEEE Trans. Software Eng.
Toni Mancini, Igor Melatti, Enrico Tronci
2022 — conf
CHAOS - Configurations Analysis of Swarms of Cyber-Physical Systems.
CPS Summer School, PhD Workshop
Valeria Trombetta, Maxime Cordy, Enrico Tronci, Axel Legay
2021 J jnl
A Constraint Optimization-Based Sense and Response System for Interactive Business Performance Management.
Appl. Artif. Intell.
Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2021 J jnl
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries.
CoRR
Igor Melatti, Federico Mari, Toni Mancini, Milan Prodanovic, Enrico Tronci
2021 J jnl
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification.
CoRR
Toni Mancini, Igor Melatti, Enrico Tronci
2021 J jnl
Complete populations of virtual patients for in silico clinical trials.
Bioinform.
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Brigitte Leeners
2021 J jnl
MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks.
CoRR
Qian Matteo Chen, Alberto Finzi, Toni Mancini, Igor Melatti, Enrico Tronci
2021 J jnl
On checking equivalence of simulation scripts.
J. Log. Algebraic Methods Program.
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2021 J jnl
Optimal personalised treatment computation through in silico clinical trials on patient digital twins.
CoRR
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
2021 J jnl
Parallel Statistical Model Checking for Safety Verification in Smart Grids.
CoRR
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
2021 J jnl
Reconciling interoperability with efficient Verification and Validation within open source simulation environments.
CoRR
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci
2021 J jnl
Reconciling interoperability with efficient Verification and Validation within open source simulation environments.
Simul. Model. Pract. Theory
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci
2021 J jnl
SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems.
CoRR
Filippo Maggioli, Toni Mancini, Enrico Tronci
2021 J jnl
Visualisation of Control Software for Cyber-Physical Systems.
Inf.
Igor Melatti, Federico Mari, Ivano Salvo, Enrico Tronci
2020 — conf
AI-Guided Synthesis of Personalised Pharmacological Treatments via In Silico Clinical Trials.
OVERLAY
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
2020 J jnl
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks.
Fundam. Informaticae
Qian Matteo Chen, Alberto Finzi, Toni Mancini, Igor Melatti, Enrico Tronci
2020 J jnl
Monte Carlo Based Statistical Model Checking of Cyber-Physical Systems: A Review.
Inf.
Angela Pappagallo, Annalisa Massini, Enrico Tronci
2020 — conf
Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence.
OVERLAY
Qian Matteo Chen, Toni Mancini, Igor Melatti, Enrico Tronci, Alberto Finzi
2020 J jnl
Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins.
Fundam. Informaticae
Stefano Sinisi, Vadim Alimguzhin, Toni Mancini, Enrico Tronci, Federico Mari, Brigitte Leeners
2020 J jnl
SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems.
Bioinform.
Filippo Maggioli, Toni Mancini, Enrico Tronci
2019 — conf
Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking.
RCRA/RiCeRcA@AI*IA
Agostina Calabrese, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci
2019 — conf
In Silico Clinical Trials through AI and Statistical Model Checking.
OVERLAY@AI*IA
Vadim Alimguzhin, Toni Mancini, Annalisa Massini, Stefano Sinisi, Enrico Tronci
2018 C conf
An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks.
ISMIS
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2018 — conf
Computing Personalised Treatments through In Silico Clinical Trials.
RCRA@FLoC
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Stefano Sinisi, Enrico Tronci, Rainald Ehrig, Susanna Röblitz, Brigitte Leeners
2018 — conf
Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network.
RCRA@FLoC
Toni Mancini, Enrico Tronci, Agostino Scialanca, Filiberto Lanciotti, Alberto Finzi, Riccardo Guarneri, Silvia Di Pompeo
2018 — conf
Parallel Statistical Model Checking for Safety Verification in Smart Grids.
SmartGridComm
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
2018 J jnl
Preface for the special issue GandALF 2015.
Acta Informatica
Javier Esparza, Enrico Tronci
2017 J jnl
Linearizing Discrete-Time Hybrid Systems.
IEEE Trans. Autom. Control.
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2017 — conf
Modeling cyber-physical systems for automatic verification.
SMACD
Youssef Driouich, Mimmo Parente, Enrico Tronci
2017 J jnl
On minimising the maximum expected verification time.
Inf. Process. Lett.
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Ivano Salvo, Enrico Tronci
2017 J jnl
Parallelization of Cycle-Based Logic Simulation.
Parallel Process. Lett.
Toni Mancini, Annalisa Massini, Enrico Tronci
2017 J jnl
Residential Demand Management Using Individualized Demand Aware Price Policies.
IEEE Trans. Smart Grid
Barry Patrick Hayes, Igor Melatti, Toni Mancini, Milan Prodanovic, Enrico Tronci
2016 J jnl
Anytime system level verification via parallel random exhaustive hardware in the loop simulation.
Microprocess. Microsystems
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2016 J jnl
SyLVaaS: System Level Formal Verification as a Service.
Fundam. Informaticae
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2015 C conf
A Glimpse of SmartHG Project Test-bed and Communication Infrastructure.
DSD
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
2015 — conf
Computing Biological Model Parameters by Parallel Statistical Model Checking.
IWBBIO (2)
Toni Mancini, Enrico Tronci, Ivano Salvo, Federico Mari, Annalisa Massini, Igor Melatti
2015 — ed.
Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification, GandALF 2015, Genoa, Italy, 21-22nd September 2015.
GandALF
Javier Esparza, Enrico Tronci
2015 — conf
Simulator Semantics for System Level Formal Verification.
GandALF
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2015 C conf
SyLVaaS: System Level Formal Verification as a Service.
PDP
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2015 C conf
User Flexibility Aware Price Policy Synthesis for Smart Grids.
DSD
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry Patrick Hayes, Milan Prodanovic, Lars Elmegaard
2014 C conf
Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation.
DSD
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2014 — conf
Demand-aware price policy synthesis and verification services for Smart Grids.
SmartGridComm
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Jorn Klaas Gruber, Barry P. Hayes, Milan Prodanovic, Lars Elmegaard
2014 J jnl
Model-based synthesis of control software from system-level formal specifications.
ACM Trans. Softw. Eng. Methodol.
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2014 B conf
Patient-specific models from inter-patient biological models and clinical records.
FMCAD
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
2014 C conf
System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation.
PDP
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Enrico Tronci
2013 — conf
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software.
SPIN
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2013 J jnl
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET.
Mob. Inf. Syst.
Federico Mari, Igor Melatti, Enrico Tronci, Alberto Finzi
2013 J jnl
CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems.
Eur. J. Control
Giuseppe Della Penna, Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci
2013 — conf
On-the-Fly Control Software Synthesis.
SPIN
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2013 A* conf
System Level Formal Verification via Model Checking Driven Simulation.
CAV
Toni Mancini, Federico Mari, Annalisa Massini, Igor Melatti, Fabio Merli, Enrico Tronci
2012 J jnl
A Map-Reduce Parallel Approach to Automatic Synthesis of Control Software
CoRR
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012 J jnl
Automatic Control Software Synthesis for Quantized Discrete Time Hybrid Systems
CoRR
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012 — conf
Automatic control software synthesis for quantized discrete time hybrid systems.
CDC
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012 J jnl
On Model Based Synthesis of Embedded Control Software
CoRR
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012 Misc conf
On model based synthesis of embedded control software.
EMSOFT
Vadim Alimguzhin, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2012 C conf
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems.
ICTAC
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2011 — conf
Cost-optimal Strong Planning in Non-deterministic Domains.
ICINCO (1)
Giuseppe Della Penna, Fabio Mercorio, Benedetto Intrigila, Daniele Magazzeni, Enrico Tronci
2011 J jnl
Flexible Plan Verification: Feasibility Results.
Fundam. Informaticae
Amedeo Cesta, Simone Fratini, Andrea Orlandini, Alberto Finzi, Enrico Tronci
2011 J jnl
From Boolean Functional Equations to Control Software
CoRR
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2011 J jnl
Quantized Feedback Control Software Synthesis from System Level Formal Specifications
CoRR
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2011 J jnl
Quantized Feedback Control Software Synthesis from System Level Formal Specifications for Buck DC/DC Converters
CoRR
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2010 A conf
Analyzing Flexible Timeline-based Plans.
ECAI
Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci
2010 A* conf
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems.
CAV
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci
2010 J jnl
Validation and verification issues in a timeline-based planning system.
Knowl. Eng. Rev.
Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci
2009 — conf
Flexible Plan Verification: Feasibility Results.
RCRA@AI*IA
Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci
2009 Misc conf
Flexible Timeline-Based Plan Verification.
KI
Amedeo Cesta, Alberto Finzi, Simone Fratini, Andrea Orlandini, Enrico Tronci
2009 C conf
Model Checking Coalition Nash Equilibria in MAD Distributed Systems.
SSS
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li
2009 C conf
Risk analysis via heterogeneous models of SCADA interconnecting Power Grids and Telco networks.
CRiSIS
Andrea Bobbio, Ester Ciancamerla, Saverio Di Blasi, Alessandro Iacomini, Federico Mari, Igor Melatti, Michele Minichino, Alessandro Scarlatti, Enrico Tronci, Roberta Terruggia, Emilio Zendri
2008 B conf
Model Checking Nash Equilibria in MAD Distributed Systems.
FMCAD
Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, Lorenzo Alvisi, Allen Clement, Harry C. Li
2007 — conf
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems.
HSCC
Federico Mari, Enrico Tronci
2007 C conf
Disk Based Software Verification via Bounded Model Checking.
APSEC
Fernando Brizzolari, Igor Melatti, Enrico Tronci, Giuseppe Della Penna
2006 C conf
A Case Study on Automated Generation of Integration Tests.
FDL
Giuseppe Della Penna, Alberto Tofani, Marcello Pecorari, Orazio Raparelli, Benedetto Intrigila, Igor Melatti, Enrico Tronci
2006 — conf
Automatic generation of optimal controllers through model checking techniques.
ICINCO-ICSO
Giuseppe Della Penna, Daniele Magazzeni, Alberto Tofani, Benedetto Intrigila, Igor Melatti, Enrico Tronci
2006 J jnl
Finite horizon analysis of Markov Chains with the Murphi verifier.
Int. J. Softw. Tools Technol. Transf.
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2006 J jnl
Introductory Paper.
Int. J. Softw. Tools Technol. Transf.
Enrico Tronci
2005 — conf
A Model Checking Technique for the Verification of Fuzzy Control Systems.
CIMCA/IAWTIC
Benedetto Intrigila, Daniele Magazzeni, Igor Melatti, Enrico Tronci
2005 B conf
Automatic Analysis of a Safety Critical Tele Control System.
SAFECOMP
Edoardo Campagnano, Ester Ciancamerla, Michele Minichino, Enrico Tronci
2005 B conf
Exploiting Hub States in Automatic Verification.
ATVA
Giuseppe Della Penna, Igor Melatti, Benedetto Intrigila, Enrico Tronci
2004 J jnl
Automated analysis of timed security: a case study on web privacy.
Int. J. Inf. Sec.
Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
2004 C conf
Automatic Covert Channel Analysis of a Multilevel Secure Component.
ICICS
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
2004 B conf
Bounded Probabilistic Model Checking with the Mur
FMCAD
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2004 B conf
Electric Power System Anomaly Detection Using Neural Networks.
KES
Marco Martinelli, Enrico Tronci, Giovanni Dipoppa, Claudio Balducelli
2004 J jnl
Exploiting transition locality in automatic verification of finite-state concurrent systems.
Int. J. Softw. Tools Technol. Transf.
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2003 — conf
Automatic Analysis of the NRL Pump.
MEFISTO
Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini, Angelo Troina, Enrico Tronci
2003 B conf
Automatic Timeliness Verification of a Public Mobile Network.
SAFECOMP
Ester Ciancamerla, Michele Minichino, S. Serro, Enrico Tronci
2003 — conf
Automatic Verification of a Turbogas Control System with the Mur varphi Verifier.
HSCC
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Michele Minichino, Ester Ciancamerla, Andrea Parisse, Enrico Tronci, Marisa Venturini Zilli
2003 — ed.
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
CHARME
Daniel Geist, Enrico Tronci
2003 — conf
Finite Horizon Analysis of Markov Chains with the Mur-phi Verifier.
CHARME
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2003 — conf
Finite Horizon Analysis of Stochastic Systems with the Mur varphi Verifier.
ICTCS
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2003 J jnl
Fluid Petri Nets and hybrid model-checking: a comparative case study.
Reliab. Eng. Syst. Saf.
Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino
2003 — conf
Integrating RAM and Disk Based Verification within the Mur-phi Verifier.
CHARME
Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, Enrico Tronci, Marisa Venturini Zilli
2003 J jnl
Synchronized regular expressions.
Acta Informatica
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
2002 B conf
Exploiting Transition Locality in the Disk Based Mur phi Verifier.
FMCAD
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
2002 B conf
Model-Checking Based on Fluid Petri Nets for the Temperature Control System of the ICARO Co-generative Plant.
SAFECOMP
Marco Gribaudo, András Horváth, Andrea Bobbio, Enrico Tronci, Ester Ciancamerla, Michele Minichino
2001 C conf
A Probabilistic Approach to Automatic Verification of Concurrent Systems.
APSEC
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli
2001 — conf
Exploiting Transition Locality in Automatic Verification.
CHARME
Enrico Tronci, Giuseppe Della Penna, Benedetto Intrigila, Marisa Venturini Zilli
2001 — conf
Formal Models of Timing Attacks on Web Privacy.
TOSCA
Riccardo Focardi, Roberto Gorrieri, Ruggero Lanotte, Andrea Maggiolo-Schettini, Fabio Martinelli, Simone Tini, Enrico Tronci
2001 — conf
Integrating Automatic Verification of Safety Requirements in Railway Interlocking System Design.
HASE
Giovanni Dipoppa, Giovanni D'Alessandro, Roberto Semprini, Enrico Tronci
2001 — conf
Synchronized Regular Expressions.
TOSCA
Giuseppe Della Penna, Benedetto Intrigila, Enrico Tronci, Marisa Venturini Zilli
2000 — conf
Requirements formalization and validation for a telecommunication equipment protection switcher.
HASE
Michele Cecconi, Enrico Tronci
1999 A* conf
Automatic Synthesis of Control Software for an Industrial Automation Control System.
ASE
Enrico Tronci
1999 — conf
Formally Modeling a Metal Processing Plant and its Closed Loop Specifications.
HASE
Enrico Tronci
1998 — conf
A Symbolic Model Checker for ACTL.
FM-Trends
Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti, Rosario Pugliese, Enrico Tronci
1998 C conf
Automatic Synthesis of Controllers from Formal Specifications.
ICFEM
Enrico Tronci
1996 — conf
Automatic Verification of a Hydroelectric Power Plant.
FME
Rosario Pugliese, Enrico Tronci
1996 J jnl
Equational Programming in Lambda-Calculus via SL-Systems. Part 1.
Theor. Comput. Sci.
Enrico Tronci
1996 J jnl
Equational Programming in Lambda-Calculus via SL-Systems. Part 2.
Theor. Comput. Sci.
Enrico Tronci
1995 J jnl
Defining Data Structures via Böhm-Out.
J. Funct. Program.
Enrico Tronci
1995 A* conf
Hardware Verification, Boolean Logic Programming, Boolean Functional Programming
LICS
Enrico Tronci
1991 J jnl
About Systems of Equations, X-Separability, and Left-Invertibility in the lambda-Calculus
Inf. Comput.
Corrado Böhm, Enrico Tronci
1991 A* conf
Equational Prgoramming in lambda-calculus
LICS
Enrico Tronci
1990 J jnl
Regular Systems in lambda-Calculus.
Int. J. Found. Comput. Sci.
Adolfo Piperno, Enrico Tronci
1987 A* conf
X-Separability and Left-Invertibility in lambda-calculus
LICS
Corrado Böhm, Enrico Tronci