Alberto Bombardelli

Orcid: 0000-0003-3385-3205

According to our database1, Alberto Bombardelli authored at least 7 papers between 2022 and 2024.

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

2024
Unifying Asynchronous Logics for Hyperproperties.
CoRR, 2024

2023
Asynchronous Composition of LTL Properties over Infinite and Finite Traces.
CoRR, 2023

Reasoning with Metric Temporal Logic and Resettable Skewed Clocks.
Proceedings of the NASA Formal Methods - 15th International Symposium, 2023

Symbolic Model Checking of Relative Safety LTL Properties.
Proceedings of the iFM 2023 - 18th International Conference, 2023

Metric Temporal Logic with Resettable Skewed Clocks.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022
Asynchronous Composition of Local Interface LTL Properties.
Proceedings of the NASA Formal Methods - 14th International Symposium, 2022

COMPASTA: Extending TASTE with Formal Design and Verification Functionality.
Proceedings of the Model-Based Safety and Assessment - 8th International Symposium, 2022


  Loading...