Igor Melatti


Titolo Pubblicato in Anno
Visualisation of Control Software for Cyber-Physical Systems INFORMATION 2021
On checking equivalence of simulation scripts THE JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING 2021
A Constraint Optimization–Based Sense and Response System for Interactive Business Performance Management APPLIED ARTIFICIAL INTELLIGENCE 2021
Any-horizon uniform random sampling and enumeration of constrained scenarios for simulation-based formal verification IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 2021
A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries IEEE TRANSACTIONS ON INDUSTRIAL ELECTRONICS 2021
MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks FUNDAMENTA INFORMATICAE 2020
Computing personalised treatments through In Silico Clinical Trials. A case Study on downregulation in assisted reproduction. Proceedings of the 25th International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, RCRA 2018 2018
An efficient algorithm for network vulnerability analysis under malicious attacks Foundations of Intelligent Systems - 24th International Symposium, ISMIS 2018, Limassol, Cyprus, October 29-31, 2018, Proceedings 2018
Parallel statistical model checking for safety verification in smart grids Proceedings of IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm 2018) 2018
Residential demand management using individualised demand aware price policies IEEE TRANSACTIONS ON SMART GRID 2017
On minimising the maximum expected verification time INFORMATION PROCESSING LETTERS 2017
Linearising discrete time hybrid systems IEEE TRANSACTIONS ON AUTOMATIC CONTROL 2017
Anytime system level verification via parallel random exhaustive hardware in the loop simulation MICROPROCESSORS AND MICROSYSTEMS 2016
An Integrative Approach for Model Driven Computation of Treatments in Reproductive Medicine BIOMAT 2015 - Proceedings of the International Symposium on Mathematical and Computational Biology 2016
SyLVaaS: System level formal verification as a service FUNDAMENTA INFORMATICAE 2016
SyLVaaS: system level formal verification as a service Proceedings of the 23rd Euromicro International Conference on Parallel, distributed and network-based Processing (PDP 2015) 2015
Computing biological model parameters by parallel statistical model checking Bioinformatics and Biomedical Engineering Third International Conference, IWBBIO 2015, Granada, Spain, April 15-17, 2015. 2015
A glimpse of SmartHG project test-bed and communication infrastructure Proceedings - 18th Euromicro Conference on Digital System Design, DSD 2015 2015
User flexibility aware price policy synthesis for smart grids Proceedings - 18th Euromicro Conference on Digital System Design, DSD 2015 2015
Simulator semantics for system level formal verification Logics and Formal Verification 2015 (GandALF’15) 2015


  • PE6_1
  • PE6_2
  • PE6_3
  • PE6_4


  • Big data & computing
  • Life-science technologies & biotechnologies
  • Sustainable technologies & development

Interessi di ricerca

Formal methods for Verification of Reactive Systems; Formal methods for Synthesis of Controllers for Reactive Systems; Smart Grids


smart grids computing
System Under Verification
continuous-time and sampled-data output feedback controllers

© Università degli Studi di Roma "La Sapienza" - Piazzale Aldo Moro 5, 00185 Roma