Giulio Garbi

According to our database, Giulio Garbi authored at least 8 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Static Data Race Detection via Lazy Sequentialization.

Bernd Fischer, Giulio Garbi, Salvatore La Torre, Gennaro Parlato, Peter Schrammel

Proceedings of the Networked Systems - 12th International Conference, 2024

2023

μP: A Development Framework for Predicting Performance of Microservices by Design.

Giulio Garbi, Emilio Incerto, Mirco Tribastone

Proceedings of the 16th IEEE International Conference on Cloud Computing, 2023

2020

A distributed API for coordinating AbC programs.

Yehia Abd Alrahman, Giulio Garbi

Int. J. Softw. Tools Technol. Transf., 2020

Learning Queuing Networks by Recurrent Neural Networks.

Giulio Garbi, Emilio Incerto, Mirco Tribastone

Proceedings of the ICPE '20: ACM/SPEC International Conference on Performance Engineering, 2020

2018

Decision Diagrams for Petri Nets: A Comparison of Variable Ordering Algorithms.

Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner

Trans. Petri Nets Other Model. Concurr., 2018

<i>G</i>o<i>A</i>t: Attribute-Based Interaction in Google Go.

Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

A Distributed Coordination Infrastructure for Attribute-Based Interaction.

Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017

Decision Diagrams for Petri Nets: Which Variable Ordering?

Elvio Gilberto Amparore, Susanna Donatelli, Marco Beccuti, Giulio Garbi, Andrew S. Miner

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017