EasyChair Smart SlideUser guide
Author: Enea Zaffanella

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

Some thoughts on the design of abstract domains

Some thoughts on the design of abstract domains

Enea Zaffanella

Revisiting Polyhedral Analysis for Hybrid Systems

Revisiting Polyhedral Analysis for Hybrid Systems

Anna Becchi and Enea Zaffanella

A Direct Encoding for NNC Polyhedra

A Direct Encoding for NNC Polyhedra

Anna Becchi and Enea Zaffanella

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