Igor Melatti

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Simulator semantics for system level formal verification (available as arXiv preprint)	2021-12-03	Paper
Simulator semantics for system level formal verification	2021-12-03	Paper
On checking equivalence of simulation scripts Journal of Logical and Algebraic Methods in Programming	2021-06-25	Paper
MILP, pseudo-Boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks Fundamenta Informaticae	2020-12-14	Paper
Linearizing Discrete-Time Hybrid Systems IEEE Transactions on Automatic Control	2018-06-27	Paper
SyLVaaS: system level formal verification as a service Fundamenta Informaticae	2017-11-09	Paper
On minimising the maximum expected verification time Information Processing Letters	2017-11-03	Paper
CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems European Journal of Control	2014-08-12	Paper
Undecidability of quantized state feedback control for discrete time linear hybrid systems Theoretical Aspects of Computing – ICTAC 2012	2012-09-21	Paper
Automated generation of optimal controllers through model checking techniques Informatics in Control Automation and Robotics	2010-06-02	Paper
Finite horizon analysis of stochastic systems with the Mur verifier. Lecture Notes in Computer Science	2010-02-23	Paper
Correct Hardware Design and Verification Methods Lecture Notes in Computer Science	2010-02-05	Paper
Finite horizon analysis of Markov chains with the Mur verifier Lecture Notes in Computer Science	2010-02-05	Paper
Formal Methods in Computer-Aided Design Lecture Notes in Computer Science	2006-10-20	Paper
Automated Technology for Verification and Analysis Lecture Notes in Computer Science	2006-10-10	Paper
scientific article; zbMATH DE number 1956499 (Why is no real title available?)	2003-07-30	Paper
scientific article; zbMATH DE number 1956627 (Why is no real title available?)	2003-07-30	Paper

Research outcomes over time

This page was built for person: Igor Melatti