Alberto Bombardelli

Publications

1. Bombardelli Alberto; Tonetta Stefano, Asynchronous Composition of {LTL} Properties over Infinite and Finite Traces
2. Bombardelli Alberto; Bozzelli Laura; Sanchez Cesar; Tonetta Stefano, (Asynchronous) Temporal Logics for Hyperproperties on Finite Traces
3. Bombardelli Alberto; Bonizzi Alberto; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Nicolodi Edoardo; Tonetta Stefano; Zampedri Gianni, COMPASTA = COMPASS + TASTE
4. Bombardelli Alberto; Cimatti Alessandro; Tonetta Stefano; Zamboni Marco, Symbolic Model Checking of Relative Safety LTL Properties
5. Bombardelli Alberto; Bozzelli Laura; Sánchez César; Tonetta Stefano, Unifying Asynchronous Logics for Hyperproperties
6. Bombardelli Alberto; Cimatti Alessandro; Griggio Alberto; Tonetta Stefano, Another Look at LTL Modulo Theory over Finite and Infinite Traces
7. Bombardelli Alberto; Bonizzi Alberto; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Nazaria Massimo; Nicolodi Edoardo; Tonetta Stefano; Zampedri Gianni, COMPASTA: Integrating COMPASS Functionality into TASTE
8. Bombardelli Alberto; Tonetta Stefano, Reasoning with Metric Temporal Logic and Resettable Skewed Clocks
9. Bombardelli Alberto; Tonetta Stefano, Metric Temporal Logic with Resettable Skewed Clocks
10. Bombardelli Alberto; Tonetta Stefano, Asynchronous Composition of Local Interface LTL Properties
11. Bombardelli Alberto; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Nazaria Massimo; Nicolodi Edoardo; Tonetta Stefano, COMPASTA: Extending TASTE with Formal Design and Verification Functionality