According to our database1, Giulio Garbi authored at least 6 papers between 2017 and 2020.
Legend:Book In proceedings Article PhD thesis Other
Int. J. Softw. Tools Technol. Transf., 2020
Proceedings of the ICPE '20: ACM/SPEC International Conference on Performance Engineering, 2020
Trans. Petri Nets Other Model. Concurr., 2018
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018
Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2018
Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'17), 2017