Alberto Bombardelli

According to our database, Alberto Bombardelli authored at least 6 papers between 2022 and 2023.

Collaborative distances:

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

2023

Asynchronous Composition of LTL Properties over Infinite and Finite Traces.

Alberto Bombardelli, Stefano Tonetta

CoRR, 2023

Reasoning with Metric Temporal Logic and Resettable Skewed Clocks.

Alberto Bombardelli, Stefano Tonetta

Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Symbolic Model Checking of Relative Safety LTL Properties.

Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni

Proceedings of the iFM 2023 - 18th International Conference, 2023

Metric Temporal Logic with Resettable Skewed Clocks.

Alberto Bombardelli, Stefano Tonetta

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

Asynchronous Composition of Local Interface LTL Properties.

Alberto Bombardelli, Stefano Tonetta

Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

COMPASTA: Extending TASTE with Formal Design and Verification Functionality.

Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta

Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022