Enrico Tronci

Available identifiers

zbMath Open tronci.enricoWikidataQ60671825 ScholiaQ60671825MaRDI QIDQ397406

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5013880	2021-12-03	Paper
On checking equivalence of simulation scripts	2021-06-25	Paper
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks*	2020-12-14	Paper
Linearizing Discrete-Time Hybrid Systems	2018-06-27	Paper
SyLVaaS: System Level Formal Verification as a Service*	2017-11-09	Paper
On minimising the maximum expected verification time	2017-11-03	Paper
CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems	2014-08-12	Paper
Synchronized regular expressions	2013-07-24	Paper
Formal models of timing attacks on web privacy	2013-07-24	Paper
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems	2012-09-21	Paper
Flexible Plan Verification: Feasibility Results	2011-11-22	Paper
https://portal.mardi4nfdi.de/entity/Q2999180	2011-05-11	Paper
Automated Generation of Optimal Controllers through Model Checking Techniques	2010-06-02	Paper
Theoretical Computer Science	2010-02-23	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
Correct Hardware Design and Verification Methods	2010-02-05	Paper
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems	2009-03-11	Paper
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
Information and Communications Security	2005-08-19	Paper
https://portal.mardi4nfdi.de/entity/Q4427905	2003-09-14	Paper
Synchronized regular expressions	2003-09-01	Paper
https://portal.mardi4nfdi.de/entity/Q4417987	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4787235	2003-01-09	Paper
Equational programming in \(\lambda\)-calculus via SL-systems. Part 1	1997-02-27	Paper
Equational programming in \(\lambda\)-calculus via SL-systems. Part 2	1997-02-27	Paper
Defining data structures via Böhm-out	1995-06-08	Paper
REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS	1992-06-25	Paper
About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus	1991-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4204131	1989-01-01	Paper

Research outcomes over time

This page was built for person: Enrico Tronci