Igor Melatti

Available identifiers

zbMath Open melatti.igorMaRDI QIDQ397405

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
Undecidability of Quantized State Feedback Control for Discrete Time Linear Hybrid Systems	2012-09-21	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
Formal Methods in Computer-Aided Design	2006-10-20	Paper
Automated Technology for Verification and Analysis	2006-10-10	Paper
https://portal.mardi4nfdi.de/entity/Q4417987	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4417845	2003-07-30	Paper

Research outcomes over time

This page was built for person: Igor Melatti