Igor Melatti - Concepedia

Author

Igor Melatti

Sapienza University of Rome ORCID

Also Known As

I. MELATTI, I. Melatti, Igor Melatti, Massini, A, Melatti, Igor

Publications

893

Citations

H-Index

Concepts

All Affiliations

Sapienza University of Rome IMDEA Energy Institute University of L'Aquila SEAS-NVE (Denmark)University of Rome Tor Vergata

About

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

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	20	425
2	Medicine	2	2	33
3	Business	1	1	19
4	Management	1	1	11
5	Public Health	1	1	19

Igor Melatti

Publications

511

Citations

H-Index

Page 1

	Year	Citations
Residential Demand Management Using Individualized Demand Aware Price Policies Barry Hayes, Igor Melatti, Toni Mancini, IEEE Transactions on Smart Grid	2016	62
Exploiting transition locality in automatic verification of finite-state concurrent systems Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, International Journal on Software Tools for Technology Transfer EngineeringProgram AnalysisAutomated ReasoningVerificationConcurrency Theory	2004	47
Parallel and distributed model checking in Eddy Igor Melatti, R. L. Palmer, Geof Sawaya, International Journal on Software Tools for Technology Transfer Numerical AnalysisEngineeringNumerical SimulationVerificationSystems Engineering	2008	30
System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation Toni Mancini, Federico Mari, Annalisa Massini, Core ProcessorHardware ModelingEngineeringHardware Verification LanguageVerification	2014	29
Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation Toni Mancini, Federico Mari, Annalisa Massini, Hardware ModelingEngineeringHardware Verification LanguageVerificationComputer Architecture	2014	28
Finite horizon analysis of Markov Chains with the Murϕ verifier Giuseppe Della Penna, Benedetto Intrigila, Igor Melatti, International Journal on Software Tools for Technology Transfer EngineeringEntropyHidden Markov ModelStochastic ProcessesMarkov Kernel	2006	27
Demand-aware price policy synthesis and verification services for Smart Grids Toni Mancini, Federico Mari, Igor Melatti, EngineeringEnergy DistributionOperations ResearchVerification ServicesPower Market	2014	26
Model-based synthesis of control software from system-level formal specifications Federico Mari, Igor Melatti, Ivano Salvo, ACM Transactions on Software Engineering and Methodology Real-time ControlEngineeringTool QksAd BitsSystem-level Design	2014	24
SyLVaaS: System Level Formal Verification as a Service Toni Mancini, Federico Mari, Annalisa Massini, Simulink InstancesEngineeringVerificationComputer-aided VerificationModel Verification	2015	23
Anytime system level verification via parallel random exhaustive hardware in the loop simulation Toni Mancini, Federico Mari, Annalisa Massini, Microprocessors and Microsystems Hardware ModelingEngineeringHardware-in-the-loop SimulationHardware Verification LanguageRuntime Verification	2016	21

Page 1