Segui
Igor Melatti
Igor Melatti
Department of Computer Science, Sapienza University of Rome
Email verificata su di.uniroma1.it
Titolo
Citata da
Citata da
Anno
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
782016
Bounded Probabilistic Model Checking with the Murφ Verifier
G Della Penna, B Intrigila, I Melatti, E Tronci, MV Zilli
International Conference on Formal Methods in Computer-Aided Design, 214-229, 2004
752004
System level formal verification via model checking driven simulation
T Mancini, F Mari, A Massini, I Melatti, F Merli, E Tronci
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
692013
Exploiting transition locality in automatic verification of finite-state concurrent systems
G Della Penna, B Intrigila, I Melatti, E Tronci, M Venturini Zilli
International Journal on Software Tools for Technology Transfer 6, 320-341, 2004
592004
SyLVaaS: System level formal verification as a service
T Mancini, F Mari, A Massini, I Melatti, E Tronci
Fundamenta Informaticae 149 (1-2), 101-132, 2016
572016
Computing biological model parameters by parallel statistical model checking
T Mancini, E Tronci, I Salvo, F Mari, A Massini, I Melatti
International Conference on Bioinformatics and Biomedical Engineering, 542-554, 2015
462015
Finite Horizon Analysis of Markov Chains with the Murphi Verifier
G DELLA PENNA, B INTRIGILA, I MELATTI, E TRONCI, ...
INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 397-409, 2006
45*2006
Demand-aware price policy synthesis and verification services for smart grids
T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ...
2014 IEEE International Conference on Smart Grid Communications …, 2014
402014
Parallel and distributed model checking in eddy
I Melatti, R Palmer, G Sawaya, Y Yang, RM Kirby, G Gopalakrishnan
International Journal on Software Tools for Technology Transfer 11, 13-25, 2009
402009
System level formal verification via distributed multi-core hardware in the loop simulation
T Mancini, F Mari, A Massini, I Melatti, E Tronci
2014 22nd Euromicro International Conference on Parallel, Distributed, and …, 2014
392014
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
372018
Anytime system level verification via random exhaustive hardware in the loop simulation
T Mancini, F Mari, A Massini, I Melatti, E Tronci
2014 17th Euromicro Conference on Digital System Design, 236-245, 2014
362014
User flexibility aware price policy synthesis for smart grids
T Mancini, F Mari, I Melatti, I Salvo, E Tronci, JK Gruber, B Hayes, ...
2015 Euromicro Conference on Digital System Design, 478-485, 2015
352015
Patient-specific models from inter-patient biological models and clinical records
E Tronci, T Mancini, I Salvo, S Sinisi, F Mari, I Melatti, A Massini, F Davi, ...
2014 Formal Methods in Computer-Aided Design (FMCAD), 207-214, 2014
352014
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
332018
Anytime system level verification via parallel random exhaustive hardware in the loop simulation
T Mancini, F Mari, A Massini, I Melatti, E Tronci
Microprocessors and Microsystems 41, 12-28, 2016
332016
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
332014
On minimising the maximum expected verification time
T Mancini, F Mari, A Massini, I Melatti, I Salvo, E Tronci
Information Processing Letters 122, 8-16, 2017
302017
Synthesis of quantized feedback control software for discrete time linear hybrid systems
F Mari, I Melatti, I Salvo, E Tronci
International Conference on Computer Aided Verification, 180-195, 2010
302010
Automatic verification of a turbogas control system with the murφ verifier
G Della Penna, B Intrigila, I Melatti, M Minichino, E Ciancamerla, ...
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC …, 2003
302003
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20