EasyChair Smart SlideUser guide
Author: Francesco Ranzato

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

Computing Reachable Simulations on Transition Systems

Computing Reachable Simulations on Transition Systems

Pierre Ganty, Nicolas Manini and Francesco Ranzato

Language Inclusion Algorithms as Complete Abstract Interpretations

Language Inclusion Algorithms as Complete Abstract Interpretations

Pierre Ganty, Pedro Valero and Francesco Ranzato

Robustness Verification of Support Vector Machines

Robustness Verification of Support Vector Machines

Francesco Ranzato and Marco Zanella

Program Analysis is Harder than Verification: A Computability Perspective

Program Analysis is Harder than Verification: A Computability Perspective

Patrick Cousot, Roberto Giacobazzi and Francesco Ranzato

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