Igor Melatti - Publications, H-index & Citations

Igor Melatti

sapienza university rome

18H指数

80论文数

894被引数

收录论文 8

发表时间

Optimizing Highly-Parallel Simulation-Based Verification of Cyber-Physical Systems 优化基于高度并行仿真的信息物理系统验证

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2023-09-01

OAAI

Mancini, Toni; Melatti, Igor; Tronci, Enrico

Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2022-10-01

OAAI

Mancini, Toni; Melatti, Igor; Tronci, Enrico

A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries

IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS

IF7.2

2022-08-01

OAAI

Melatti, Igor; Mari, Federico; Mancini, Toni; Prodanovic, Milan; Tronci, Enrico

Linearizing Discrete-Time Hybrid Systems

IEEE TRANSACTIONS ON AUTOMATIC CONTROL

IF7

2017-10-01

PREAI

Alimguzhin, Vadim; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico

Residential Demand Management Using Individualized Demand Aware Price Policies

IEEE TRANSACTIONS ON SMART GRID

IF9.8

2017-05-01

OAAI

Hayes, Barry; Melatti, Igor; Mancini, Toni; Prodanovic, Milan; Tronci, Enrico

User Flexibility Aware Price Policy Synthesis for Smart Grids

2015 EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD)

IF0

2015-08-01

OAAI

Mancini, Toni; Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico; Gruber, Jorn Klaas; Hayes, Barry; Prodanovic, Milan; Elmegaard, Lars

Model-Based Synthesis of Control Software from System-Level Formal Specifications 根据系统级形式规范对控制软件进行基于模型的综合

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2014-02-20

OAAI

Mari, Federico; Melatti, Igor; Salvo, Ivano; Tronci, Enrico

Computational models of myocardial endomysial collagen arrangement

COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE

IF4.8

2007-06-01

PREAI

Intrigila, Benedetto; Melatti, Igor; Tofani, Alberto; Macchiarelli, Guido

研究方向