Enrico Tronci

From MaRDI portal
Person:397406

Available identifiers

zbMath Open tronci.enricoWikidataQ60671825 ScholiaQ60671825MaRDI QIDQ397406

List of research outcomes





PublicationDate of PublicationType
https://portal.mardi4nfdi.de/entity/Q50138802021-12-03Paper
On checking equivalence of simulation scripts2021-06-25Paper
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks*2020-12-14Paper
Linearizing Discrete-Time Hybrid Systems2018-06-27Paper
SyLVaaS: System Level Formal Verification as a Service*2017-11-09Paper
On minimising the maximum expected verification time2017-11-03Paper
CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems2014-08-12Paper
Synchronized regular expressions2013-07-24Paper
Formal models of timing attacks on web privacy2013-07-24Paper
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems2012-09-21Paper
Flexible Plan Verification: Feasibility Results2011-11-22Paper
https://portal.mardi4nfdi.de/entity/Q29991802011-05-11Paper
Automated Generation of Optimal Controllers through Model Checking Techniques2010-06-02Paper
Theoretical Computer Science2010-02-23Paper
Correct Hardware Design and Verification Methods2010-02-05Paper
Correct Hardware Design and Verification Methods2010-02-05Paper
CEGAR Based Bounded Model Checking of Discrete Time Hybrid Systems2009-03-11Paper
Formal Methods in Computer-Aided Design2006-10-20Paper
Automated Technology for Verification and Analysis2006-10-10Paper
Information and Communications Security2005-08-19Paper
https://portal.mardi4nfdi.de/entity/Q44279052003-09-14Paper
Synchronized regular expressions2003-09-01Paper
https://portal.mardi4nfdi.de/entity/Q44179872003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q47872352003-01-09Paper
Equational programming in \(\lambda\)-calculus via SL-systems. Part 11997-02-27Paper
Equational programming in \(\lambda\)-calculus via SL-systems. Part 21997-02-27Paper
Defining data structures via Böhm-out1995-06-08Paper
REGULAR SYSTEMS OF EQUATIONS IN λ-CALCULUS1992-06-25Paper
About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus1991-01-01Paper
https://portal.mardi4nfdi.de/entity/Q42041311989-01-01Paper

Research outcomes over time

This page was built for person: Enrico Tronci