Learning queuing networks by recurrent neural networks G Garbi, E Incerto, M Tribastone Proceedings of the ACM/SPEC International Conference on Performance …, 2020 | 22 | 2020 |
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 | 16 | 2018 |
: 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 |
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 | 16 | 2018 |
Decision diagrams for Petri nets: which variable ordering? EG Amparore, S Donatelli, M Beccuti, G Garbi, M Andrew CEUR WORKSHOP PROCEEDINGS 1846, 31-50, 2017 | 11 | 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 | 3 | 2023 |
Static Data Race Detection via Lazy Sequentialization B Fischer, G Garbi, S La Torre, G Parlato, P Schrammel International Conference on Networked Systems, 124-141, 2024 | | 2024 |
Automatic and Accurate Performance Prediction in Distributed Systems G Garbi IMT Institute for Advanced Studies Lucca, 2023 | | 2023 |