Alberto Bombardelli

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Temporally Extended Goals

Metric Temporal Logic

Top Venues

Publications

Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta
Unifying Asynchronous Logics for Hyperproperties. CoRR (2024)
Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni
Symbolic Model Checking of Relative Safety LTL Properties. iFM (2023)
Alberto Bombardelli, Stefano Tonetta
Asynchronous Composition of LTL Properties over Infinite and Finite Traces. CoRR (2023)
Alberto Bombardelli, Stefano Tonetta
Metric Temporal Logic with Resettable Skewed Clocks. DATE (2023)
Alberto Bombardelli, Stefano Tonetta
Reasoning with Metric Temporal Logic and Resettable Skewed Clocks. NFM (2023)
Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta
COMPASTA: Extending TASTE with Formal Design and Verification Functionality. IMBSA (2022)
Alberto Bombardelli, Stefano Tonetta
Asynchronous Composition of Local Interface LTL Properties. NFM (2022)