We stand with Ukraine  

Alberto Bombardelli

Orcid: 0000-0003-3385-3205

According to our database1, Alberto Bombardelli authored at least 9 papers between 2022 and 2026.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Asynchronous Composition of LTL Properties over Infinite and Finite Traces.
[BibTeX]
[DOI]
Alberto Bombardelli
,
Stefano Tonetta
Log. Methods Comput. Sci., 2026

2025
(Asynchronous) Temporal Logics for Hyperproperties on Finite Traces.
[BibTeX]
[DOI]
Alberto Bombardelli
,
Laura Bozzelli
,
César Sánchez
,
Stefano Tonetta
Proceedings of the Model Checking Software - 31st International Symposium, 2025

2024
Unifying Asynchronous Logics for Hyperproperties.
[BibTeX]
[DOI]
Alberto Bombardelli
,
Laura Bozzelli
,
César Sánchez
,
Stefano Tonetta
Proceedings of the 44th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2024

Another Look at LTL Modulo Theory over Finite and Infinite Traces.
[BibTeX]
[DOI]
Alberto Bombardelli
,
Alessandro Cimatti
,
Alberto Griggio
,
Stefano Tonetta
Proceedings of the Principles of Verification: Cycling the Probabilistic Landscape, 2024

2023
Reasoning with Metric Temporal Logic and Resettable Skewed Clocks.
[BibTeX]
[DOI]
Alberto Bombardelli
,
Stefano Tonetta
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Symbolic Model Checking of Relative Safety LTL Properties.
[BibTeX]
[DOI]
Alberto Bombardelli
,
Alessandro Cimatti
,
Stefano Tonetta
,
Marco Zamboni
Proceedings of the iFM 2023 - 18th International Conference, 2023

Metric Temporal Logic with Resettable Skewed Clocks.
[BibTeX]
[DOI]
Alberto Bombardelli
,
Stefano Tonetta
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022
Asynchronous Composition of Local Interface LTL Properties.
[BibTeX]
[DOI]
Alberto Bombardelli
,
Stefano Tonetta
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

COMPASTA: Extending TASTE with Formal Design and Verification Functionality.
[BibTeX]
[DOI]
Alberto Bombardelli
,
Marco Bozzano
,
Roberto Cavada
,
Alessandro Cimatti
,
Alberto Griggio
,
Massimo Nazaria
,
Edoardo Nicolodi
,
Stefano Tonetta
Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022


  Loading...