Learning queuing networks by recurrent neural networks G Garbi, E Incerto, M Tribastone
Proceedings of the ACM/SPEC International Conference on Performance …, 2020
19 2020 : Attribute-Based Interaction in Google GoY Abd Alrahman, R De Nicola, G Garbi
Leveraging Applications of Formal Methods, Verification and Validation …, 2018
16 2018 A distributed coordination infrastructure for attribute-based interaction YA Alrahman, R De Nicola, G Garbi, M Loreti
International Conference on Formal Techniques for Distributed Objects …, 2018
15 2018 Decision diagrams for Petri nets: a comparison of variable ordering algorithms EG Amparore, S Donatelli, M Beccuti, G Garbi, A Miner
Transactions on Petri Nets and Other Models of Concurrency XIII, 73-92, 2018
13 2018 Decision diagrams for Petri nets: which variable ordering? EG Amparore, S Donatelli, M Beccuti, G Garbi, A Miner
CEUR WORKSHOP PROCEEDINGS 1846, 31-50, 2017
10 2017 A distributed API for coordinating AbC programs Y Abd Alrahman, G Garbi
International Journal on Software Tools for Technology Transfer 22 (4), 477-496, 2020
6 2020 μP: A Development Framework for Predicting Performance of Microservices by Design G Garbi, E Incerto, M Tribastone
2023 IEEE 16th International Conference on Cloud Computing (CLOUD), 178-188, 2023
2 2023 Automatic and Accurate Performance Prediction in Distributed Systems G Garbi
IMT Institute for Advanced Studies Lucca, 2023
2023