Alberto Bombardelli

11 papers A 1B 1Journal 3Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
Asynchronous Composition of LTL Properties over Infinite and Finite Traces.
Log. Methods Comput. Sci.
Alberto Bombardelli, Stefano Tonetta
2025 — conf
(Asynchronous) Temporal Logics for Hyperproperties on Finite Traces.
SPIN
Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta
2024 — conf
Another Look at LTL Modulo Theory over Finite and Infinite Traces.
Principles of Verification (1)
Alberto Bombardelli, Alessandro Cimatti, Alberto Griggio, Stefano Tonetta
2024 — conf
Unifying Asynchronous Logics for Hyperproperties.
FSTTCS
Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta
2024 J jnl
Unifying Asynchronous Logics for Hyperproperties.
CoRR
Alberto Bombardelli, Laura Bozzelli, César Sánchez, Stefano Tonetta
2023 J jnl
Asynchronous Composition of LTL Properties over Infinite and Finite Traces.
CoRR
Alberto Bombardelli, Stefano Tonetta
2023 A conf
Metric Temporal Logic with Resettable Skewed Clocks.
DATE
Alberto Bombardelli, Stefano Tonetta
2023 — conf
Reasoning with Metric Temporal Logic and Resettable Skewed Clocks.
NFM
Alberto Bombardelli, Stefano Tonetta
2023 B conf
Symbolic Model Checking of Relative Safety LTL Properties.
iFM
Alberto Bombardelli, Alessandro Cimatti, Stefano Tonetta, Marco Zamboni
2022 — conf
Asynchronous Composition of Local Interface LTL Properties.
NFM
Alberto Bombardelli, Stefano Tonetta
2022 — conf
COMPASTA: Extending TASTE with Formal Design and Verification Functionality.
IMBSA
Alberto Bombardelli, Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Alberto Griggio, Massimo Nazaria, Edoardo Nicolodi, Stefano Tonetta