| Learning queuing networks by recurrent neural networks G Garbi, E Incerto, M Tribastone Proceedings of the ACM/SPEC International Conference on Performance …, 2020 | 18 | 2020 |
| : Attribute-Based Interaction in Google Go Y 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 | 14 | 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 | 1 | 2023 |
| Automatic and Accurate Performance Prediction in Distributed Systems G Garbi IMT Institute for Advanced Studies Lucca, 2023 | | 2023 |
