Concepedia

Igor Melatti

IM

23

Publications

511

Citations

15

H-Index

2004

Active since

Affiliations

Sapienza University of Rome(Current)

IMDEA Energy Institute

University of L'Aquila

SEAS-NVE (Denmark)

University of Rome Tor Vergata

Igor Melatti is an author at Sapienza University of Rome specializing in engineering, systems engineering, and computer engineering.

Top concepts

EngineeringSystems EngineeringComputer ScienceComputer EngineeringFormal VerificationVerificationFormal MethodsSmart GridEmbedded SystemsEnergy Management

Publications per year

2004–2021

23

Publications

23

Residential Demand Management Using Individualized Demand Aware Price Policies

Barry Hayes, Igor Melatti, Toni Mancini et al. · IEEE Transactions on Smart Grid · 2016 · 62 citations · Full text

Exploiting transition locality in automatic verification of finite-state concurrent systems

Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti et al. · International Journal on Software Tools for Technology Transfer · 2004 · 47 citations

Engineering, Program Analysis, Automated Reasoning +11

Parallel and distributed model checking in Eddy

Igor Melatti, R. L. Palmer, Geof Sawaya et al. · International Journal on Software Tools for Technology Transfer · 2008 · 30 citations

Numerical Analysis, Engineering, Numerical Simulation +7

System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation

Toni Mancini, Federico Mari, Annalisa Massini et al. · 2014 · 29 citations

Core Processor, Hardware Modeling, Engineering +21

Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation

Toni Mancini, Federico Mari, Annalisa Massini et al. · 2014 · 28 citations

Hardware Modeling, Engineering, Hardware Verification Language +23

Rows per page

1–5 of 23