Alberto Bombardelli

PhD Student

Alberto Bombardelli
E-mail

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; Bonizzi Alberto; Bozzano Marco; Cavada Roberto; Cimatti Alessandro; Griggio Alberto; Nazaria Massimo; Nicolodi Edoardo; Tonetta Stefano; Zampedri Gianni, COMPASTA: Integrating COMPASS Functionality into TASTE
  4. Bombardelli Alberto; Tonetta Stefano, Reasoning with Metric Temporal Logic and Resettable Skewed Clocks
  5. Bombardelli Alberto; Tonetta Stefano, Metric Temporal Logic with Resettable Skewed Clocks
  6. Bombardelli Alberto; Tonetta Stefano, Asynchronous Composition of Local Interface LTL Properties
  7. 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

Recent PostsAlberto Bombardelli

  • No articles found.