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
732016
System level formal verification via model checking driven simulation
T Mancini, F Mari, A Massini, I Melatti, F Merli, E Tronci
International Conference on Computer Aided Verification, 296-312, 2013
692013
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
552016
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 (4), 320-341, 2004
552004
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
432015
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
43*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
392014
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
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 (1), 13-25, 2009
392009
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
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
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
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
332015
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
332014
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
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
302018
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, ...
International Workshop on Hybrid Systems: Computation and Control, 141-155, 2003
302003
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
292017
Bounded Probabilistic Model Checking with the Murφ Verifier
GD Penna, B Intrigila, I Melatti, E Tronci, MV Zilli
International Conference on Formal Methods in Computer-Aided Design, 214-229, 2004
292004
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20