EasyChair Smart SlideUser guide
Author: Alessandro Cimatti

This page shows all presentations of this author published in EasyChair Smart Slide.

The Safety Fragment of LTL

The Safety Fragment of LTL

Alessandro Cimatti, Luca Geatti, Nicola Gigante, Angelo Montanari and Stefano Tonetta

Assumption-Based Runtime Verification with Partial Observability and Resets

Assumption-Based Runtime Verification with Partial Observability and Resets

Alessandro Cimatti, Chun Tian and Stefano Tonetta

NuRV: a nuXmv Extension for Runtime Verification

NuRV: a nuXmv Extension for Runtime Verification

Alessandro Cimatti, Chun Tian and Stefano Tonetta

Formal Specification and Verification of Dynamic Parametrized Architectures

Formal Specification and Verification of Dynamic Parametrized Architectures

Alessandro Cimatti, Ivan Stojic and Stefano Tonetta

Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization

Experimenting on Solving Nonlinear Integer Arithmetic with Incremental Linearization

Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, Marco Roveri and Roberto Sebastiani

Presentations in this collection: 5
Copyright © 2002 – 2026 EasyChair