Articles with public access mandates - Igor MelattiLearn more
Available somewhere: 14
Residential demand management using individualized demand aware price policies
B Hayes, I Melatti, T Mancini, M Prodanovic, E Tronci
IEEE Transactions on Smart Grid 8 (3), 1284-1294, 2016
Mandates: Government of Spain
Computing personalised treatments through in silico clinical trials. A case study on downregulation in assisted reproduction
T Mancini, F Mari, A Massini, I Melatti, I Salvo, S Sinisi, E Tronci, R Ehrig, ...
Intelligenza Artificiale, 1-16, 2018
Mandates: Government of Italy
Parallel statistical model checking for safety verification in smart grids
T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ...
2018 IEEE International Conference on Communications, Control, and Computing …, 2018
Mandates: Government of Italy
Model-based synthesis of control software from system-level formal specifications
F Mari, I Melatti, I Salvo, E Tronci
ACM Transactions on Software Engineering and Methodology (TOSEM) 23 (1), 1-42, 2014
Mandates: Government of Italy
A two-layer near-optimal strategy for substation constraint management via home batteries
I Melatti, F Mari, T Mancini, M Prodanovic, E Tronci
IEEE Transactions on Industrial Electronics 69 (8), 8566-8578, 2021
Mandates: Government of Spain, Government of Italy
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification
T Mancini, I Melatti, E Tronci
IEEE Transactions on Software Engineering 48 (10), 4002-4013, 2021
Mandates: Government of Italy
An efficient algorithm for network vulnerability analysis under malicious attacks
T Mancini, F Mari, I Melatti, I Salvo, E Tronci
Foundations of Intelligent Systems: 24th International Symposium, ISMIS 2018 …, 2018
Mandates: Government of Italy
MILP, pseudo-boolean, and OMT solvers for optimal fault-tolerant placements of relay nodes in mission critical wireless networks
QM Chen, A Finzi, T Mancini, I Melatti, E Tronci
Fundamenta Informaticae 174 (3-4), 229-258, 2020
Mandates: Government of Italy
A multi-hop advertising discovery and delivering protocol for multi administrative domain MANET
F Mari, I Melatti, E Tronci, A Finzi
Mobile Information Systems 9 (3), 261-280, 2013
Mandates: Austrian Science Fund
A constraint optimization–based sense and Response system for interactive business performance management
F Mari, A Massini, I Melatti, E Tronci
Applied Artificial Intelligence 35 (5), 353-372, 2021
Mandates: Government of Italy
On checking equivalence of simulation scripts
T Mancini, F Mari, A Massini, I Melatti, E Tronci
Journal of Logical and Algebraic Methods in Programming 120, 100640, 2021
Mandates: Government of Italy
Visualisation of Control Software for Cyber-Physical Systems
I Melatti, F Mari, I Salvo, E Tronci
Information 12 (5), 178, 2021
Mandates: Government of Italy
Electricity Network Constraint Management using Individualised Demand Aware Price Policies.
I Melatti, V Alimguzhin, F Mari, M Prodanovic, BP Hayes
OVERLAY, 71-76, 2020
Mandates: Government of Italy
Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence.
QM Chen, T Mancini, I Melatti, E Tronci, A Finzi
OVERLAY, 41-46, 2020
Mandates: Government of Italy
Publication and funding information is determined automatically by a computer program