Get started
Author

Igor Melatti

Observed names: I. MELATTI, I. Melatti, IGOR MELATTI, Igor Melatti A, MELATTI, IGOR, Melatti I., Melatti, I., Melatti, Igor
Observed institutions: Intel (United States), University of Utah, University of L'Aquila, IMDEA Energy Institute, Laboratoire d'Informatique de Paris-Nord, Sapienza University of Rome
ORCID: 0000-0002-6273-6190
Observed ORCID: 0000-0002-6273-6190
OpenAlex ID: A5085357809
Residential Demand Management Using Individualized Demand Aware Price Policies
2016 · Barry Hayes, Igor Melatti, et al. · IEEE Transactions on Smart Grid · 65
PDF
Bounded Probabilistic Model Checking with the Murφ Verifier
2004 · Giuseppe Della Penna, Benedetto Intrigila, et al. · Lecture notes in computer science · 54
System Level Formal Verification via Model Checking Driven Simulation
2013 · Toni Mancini, Federico Mari, et al. · Lecture notes in computer science · 48
Exploiting transition locality in automatic verification of finite-state concurrent systems
2004 · Giuseppe Della Penna, Benedetto Intrigila, et al. · International Journal on Software Tools for Technology Transfer · 48
System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation
2014 · Toni Mancini, Federico Mari, et al. · Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) · 30
Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation
2014 · Toni Mancini, Federico Mari, et al. · Euromicro Conference on Digital System Design (DSD) · 29
Demand-aware price policy synthesis and verification services for Smart Grids
2014 · Toni Mancini, Federico Mari, et al. · IEEE International Conference on Smart Grid Communications (SmartGridComm) · 28
Parallel and distributed model checking in Eddy
2008 · I. Melatti, R. Palmer, et al. · International Journal on Software Tools for Technology Transfer · 28
SyLVaaS: System Level Formal Verification as a Service
2015 · Toni Mancini, Federico Mari, et al. · Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) · 27
Computing Biological Model Parameters by Parallel Statistical Model Checking
2015 · Toni Mancini, Enrico Tronci, et al. · Lecture notes in computer science · 27
Finite horizon analysis of Markov Chains with the Murϕ verifier
2006 · Giuseppe Della Penna, Benedetto Intrigila, et al. · International Journal on Software Tools for Technology Transfer · 27
Patient-specific models from inter-patient biological models and clinical records
2014 · E. Tronci, T. Mancini, et al. · Formal Methods in Computer-Aided Design · 24
PDF
Model-based synthesis of control software from system-level formal specifications
2014 · Federico Mari, Igor Melatti, et al. · ACM Transactions on Software Engineering and Methodology · 24
PDF
Synthesis of Quantized Feedback Control Software for Discrete Time Linear Hybrid Systems
2010 · Federico Mari, Igor Melatti, et al. · Lecture notes in computer science · 23
PDF
SyLVaaS: System Level Formal Verification as a Service*
2016 · Toni Mancini, Federico Mari, et al. · Fundamenta Informaticae · 22
PDF
Anytime system level verification via parallel random exhaustive hardware in the loop simulation
2016 · Toni Mancini, Federico Mari, et al. · Microprocessors and Microsystems · 22
PDF
User Flexibility Aware Price Policy Synthesis for Smart Grids
2015 · Toni Mancini, Federico Mari, et al. · Euromicro Conference on Digital System Design (DSD) · 18
PDF
Computing Personalised Treatments through In Silico Clinical Trials. A Case Study on Downregulation in Assisted Reproduction.
2018 · Toni Mancini, Federico Mari, et al. · EasyChair preprint · 17
PDF
Linearizing Discrete-Time Hybrid Systems
2017 · Vadim Alimguzhin, Federico Mari, et al. · IEEE Transactions on Automatic Control · 17
On minimising the maximum expected verification time
2017 · Toni Mancini, Federico Mari, et al. · Information Processing Letters · 17
PDF
Automatic control software synthesis for quantized discrete time hybrid systems
2012 · Vadim Alimguzhin, Federico Mari, et al. · IEEE Conference on Decision and Control (CDC) · 17
Parallel and Distributed Model Checking in Eddy
2006 · Igor Melatti, Robert Palmer, et al. · Lecture notes in computer science · 17
Automatic Verification of a Turbogas Control System with the Murφ Verifier
2003 · Giuseppe Della Penna, Benedetto Intrigila, et al. · Lecture notes in computer science · 17
Parallel Statistical Model Checking for Safety Verification in Smart Grids
2018 · Toni Mancini, Federico Mari, et al. · IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm) · 15
PDF
Automated Generation of Optimal Controllers through Model Checking Techniques
2008 · Giuseppe Della Penna, Daniele Magazzeni, et al. · Springer eBooks · 14
Works count: 117
Citation count: 917
H-index: 17
I10-index: 33
Year
Topic
Type