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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Enrico Tronci