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 (IMBSA, 2022)

Asynchronous Composition of Local Interface LTL Properties. - Alberto Bombardelli; Stefano Tonetta (NFM, 2022)

Metric Temporal Logic with Resettable Skewed Clocks. - Alberto Bombardelli; Stefano Tonetta (DATE, 2023)

Symbolic Model Checking of Relative Safety LTL Properties. - Alberto Bombardelli; Alessandro Cimatti; Stefano Tonetta; Marco Zamboni (iFM, 2023)

Reasoning with Metric Temporal Logic and Resettable Skewed Clocks. - Alberto Bombardelli; Stefano Tonetta (NFM, 2023)

Asynchronous Composition of LTL Properties over Infinite and Finite Traces. - Alberto Bombardelli; Stefano Tonetta (CoRR, 2023)

Another Look at LTL Modulo Theory over Finite and Infinite Traces. - Alberto Bombardelli; Alessandro Cimatti; Alberto Griggio; Stefano Tonetta (Principles of Verification (1), 2024)

Unifying Asynchronous Logics for Hyperproperties. - Alberto Bombardelli; Laura Bozzelli; César Sánchez 001; Stefano Tonetta (FSTTCS, 2024)