Nouraldin Jaber, Dongyun Jin, Bernhard Kragl, Enrico Magnago, Gustavo Petri, Thorsten Tarrach, Serdar Tasiran.
High Fidelity Models for Large Scale Stateful Services.
USENIX Symposium on Operating Systems Design and Implementation (OSDI) 2026. pdf
2022
Alessandro Cimatti, Alberto Griggio, Enrico Magnago.
LTL falsification in infinite-state systems.
Journal on Information and Computation 2022. pdf, doi
2021
Alessandro Cimatti, Alberto Griggio, Enrico Magnago.
Automatic discovery of fair paths in infinite-state transition systems.
International Symposium on Automated Technology for Verification and Analysis (ATVA) 2021. pdf,
slides,
github
Alessandro Cimatti, Alberto Griggio, Enrico Magnago.
Proving the existence of fair paths in infinite state systems.
Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI) 2021. pdf,
slides,
artefact
2020
Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, and Stefano Tonetta.
SMT-Based Satisfiability of First-Order LTL with Event Freezing Functions and Metric Operators.
Journal on Information and Computation 2020. open access
2019
Alessandro Cimatti, Alberto Griggio, Enrico Magnago, Marco Roveri, and Stefano Tonetta.
Extending nuxmv with timed transition systems and timed temporal properties.
Computer Aided Verification (CAV) 2019. pdf and
artefact,
slides