Giulio Garbi

Orcid: 0000-0002-2836-4434

According to our database1, Giulio Garbi authored at least 9 papers between 2017 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Static Data Race Detection via Lazy Sequentialization.
Proceedings of the Networked Systems - 12th International Conference, 2024

2023
μP: A Development Framework for Predicting Performance of Microservices by Design.
Proceedings of the 16th IEEE International Conference on Cloud Computing, 2023

2020
A distributed API for coordinating AbC programs.
Int. J. Softw. Tools Technol. Transf., 2020

Learning Queuing Networks by Recurrent Neural Networks.
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.
Trans. Petri Nets Other Model. Concurr., 2018

GoAt: Attribute-based Interaction in Google Go.
Dataset, 2018

<i>G</i>o<i>A</i>t: Attribute-Based Interaction in Google Go.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

A Distributed Coordination Infrastructure for Attribute-Based Interaction.
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018

2017
Decision Diagrams for Petri Nets: Which Variable Ordering?
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017


  Loading...