Alberto Bombardelli

Publications

1. Bombardelli Alberto; Bonizzi Alberto; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Nicolodi Edoardo; Tonetta Stefano; Zampedri Gianni, COMPASTA = COMPASS + TASTE
2. Bombardelli Alberto; Cimatti Alessandro; Tonetta Stefano; Zamboni Marco, Symbolic Model Checking of Relative Safety LTL Properties
3. Bombardelli Alberto; Bozzelli Laura; Sánchez César; Tonetta Stefano, Unifying Asynchronous Logics for Hyperproperties
4. Bombardelli Alberto; Cimatti Alessandro; Griggio Alberto; Tonetta Stefano, Another Look at LTL Modulo Theory over Finite and Infinite Traces
5. 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
6. Bombardelli Alberto; Tonetta Stefano, Reasoning with Metric Temporal Logic and Resettable Skewed Clocks
7. Bombardelli Alberto; Tonetta Stefano, Metric Temporal Logic with Resettable Skewed Clocks
8. Bombardelli Alberto; Tonetta Stefano, Asynchronous Composition of Local Interface LTL Properties
9. 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