Roberto Pettinau

According to our database, Roberto Pettinau authored at least 4 papers between 2024 and 2026.

Collaborative distances:

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

2026

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems (Technical Report).

Roberto Pettinau, Christoph Matheja

CoRR, January, 2026

CTL* Model Checking on Infinite Families of Finite-State Labeled Transition Systems.

Roberto Pettinau, Christoph Matheja

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

2025

Smart contract languages: A comparative analysis.

Massimo Bartoletti, Lorenzo Benetollo, Michele Bugliesi, Silvia Crafa, Giacomo Dal Sasso, Roberto Pettinau, Andrea Pinna, Mattia Piras, Sabina Rossi, Stefano Salis, Alvise Spanò, Viacheslav Tkachenko, Roberto Tonelli, Roberto Zunino

Future Gener. Comput. Syst., 2025

2024

Towards Benchmarking of Solidity Verification Tools.

Massimo Bartoletti, Fabio Fioravanti, Giulia Matricardi, Roberto Pettinau, Franco Sainas

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024