Enrico Magnago

According to our database, Enrico Magnago authored at least 5 papers between 2019 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

LTL falsification in infinite-state systems.

Alessandro Cimatti, Alberto Griggio, Enrico Magnago

Inf. Comput., 2022

2021

Proving the Existence of Fair Paths in Infinite-State Systems.

Alessandro Cimatti, Alberto Griggio, Enrico Magnago

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Automatic Discovery of Fair Paths in Infinite-State Transition Systems.

Alessandro Cimatti, Alberto Griggio, Enrico Magnago

Proceedings of the Automated Technology for Verification and Analysis, 2021

2020

SMT-based satisfiability of first-order LTL with event freezing functions and metric operators.

Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta

Inf. Comput., 2020

2019

Extending nuXmv with Timed Transition Systems and Timed Temporal Properties.

Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta

Proceedings of the Computer Aided Verification - 31st International Conference, 2019