I
Igor Melatti
Researcher at Sapienza University of Rome
Publications - 82
Citations - 1150
Igor Melatti is an academic researcher from Sapienza University of Rome. The author has contributed to research in topics: Model checking & Hybrid system. The author has an hindex of 19, co-authored 82 publications receiving 1008 citations. Previous affiliations of Igor Melatti include University of Utah & University of L'Aquila.
Papers
More filters
Book ChapterDOI
System Level Formal Verification via Model Checking Driven Simulation
TL;DR: It is shown how by combining Explicit Model Checking techniques and simulation it is possible to effectively carry out (bounded) System Level Formal Verification of large Hybrid Systems such as those defined using model-based tools like Simulink.
Journal ArticleDOI
Residential Demand Management Using Individualized Demand Aware Price Policies
TL;DR: The presented analysis includes a detailed case study of an existing European distribution network where DSM trial data was available from the residential end-users, and shows that this approach has a number of advantages and benefits compared to traditional DSM approaches.
Journal ArticleDOI
Exploiting transition locality in automatic verification of finite-state concurrent systems
TL;DR: It is shown that statistical properties of the transition graph of a system to be verified can be exploited to improve memory or time performances of verification algorithms.
Journal ArticleDOI
Parallel and distributed model checking in Eddy
TL;DR: The design details of a novel model checking architecture called Eddy, which has an instance of this architecture for the Murphi modeling language, are presented and its performance over the number of nodes as well as communication parameters such as those controlling state aggregation are reported.
Proceedings ArticleDOI
System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation
TL;DR: The experimental results on the Fuel Control System example in the Simulink distribution show that by using 64 machines with an 8 core processor each the authors can complete the SLFV activity in about 27 hours whereas a sequential approach would require more than 200 days.