Enrico Magnago

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 5

Top Topics

Temporal Properties

Formal Verification

Transition Systems

Automatic Discovery

Top Venues

Publications

Alessandro Cimatti, Alberto Griggio, Enrico Magnago
LTL falsification in infinite-state systems. Inf. Comput. 289 (Part) (2022)
Alessandro Cimatti, Alberto Griggio, Enrico Magnago
Proving the Existence of Fair Paths in Infinite-State Systems. VMCAI (2021)
Alessandro Cimatti, Alberto Griggio, Enrico Magnago
Automatic Discovery of Fair Paths in Infinite-State Transition Systems. ATVA (2021)
Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta
SMT-based satisfiability of first-order LTL with event freezing functions and metric operators. Inf. Comput. 272 (2020)
Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, Stefano Tonetta
Extending nuXmv with Timed Transition Systems and Timed Temporal Properties. CAV (1) (2019)