RANZATO, FRANCESCO

RANZATO, FRANCESCO  

Dipartimento di Matematica "Tullio Levi-Civita" - DM  

Mostra records
Risultati 1 - 20 di 37 (tempo di esecuzione: 0.046 secondi).
Titolo Data di pubblicazione Autori Rivista Serie Titolo libro
The Best of Abstract Interpretations 2025 Ranzato, Francesco + PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES - -
The Reachable Simulation Problem 2025 Ranzato, Francesco + ACM TRANSACTIONS ON COMPUTATIONAL LOGIC - -
Robustness verification of k-nearest neighbors by abstract interpretation 2024 Ranzato, Francesco + KNOWLEDGE AND INFORMATION SYSTEMS - -
A Correctness and Incorrectness Program Logic 2023 Ranzato, F + JOURNAL OF THE ASSOCIATION FOR COMPUTING MACHINERY - -
History of Abstract Interpretation 2022 Ranzato F. + IEEE ANNALS OF THE HISTORY OF COMPUTING - -
Intensional Kleene and Rice theorems for abstract program semantics 2022 Baldan, PaoloRanzato, Francesco + INFORMATION AND COMPUTATION - -
Complete Abstractions for Checking Language Inclusion 2021 Ganty, PierreRanzato, Francesco + ACM TRANSACTIONS ON COMPUTATIONAL LOGIC - -
A²I: abstract² interpretation 2019 COUSOT, PATRICK MARCEL PAUL MAURICEGIACOBAZZI, ROBERTORanzato, Francesco PROCEEDINGS OF ACM ON PROGRAMMING LANGUAGES - -
Foreword to the special issue on the 2017 Static Analysis Symposium 2019 Ranzato, Francesco FORMAL METHODS IN SYSTEM DESIGN - -
Abstracting Nash equilibria of supermodular games 2018 RANZATO, FRANCESCO FORMAL METHODS IN SYSTEM DESIGN - -
A new characterization of complete Heyting and co-Heyting algebras 2017 RANZATO, FRANCESCO LOGICAL METHODS IN COMPUTER SCIENCE - -
An abstract interpretation-based model of tracing just-in-time compilation 2016 DISSEGNA, STEFANORANZATO, FRANCESCO + ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS - -
Logical Characterizations of Behavioral Relations on Transition Systems of Probability Distributions 2015 CRAFA, SILVIARANZATO, FRANCESCO ACM TRANSACTIONS ON COMPUTATIONAL LOGIC - -
An efficient simulation algorithm on Kripke structures 2014 RANZATO, FRANCESCO ACTA INFORMATICA - -
Correctness kernels of abstract interpretations 2014 RANZATO, FRANCESCO + INFORMATION AND COMPUTATION - -
Bisimulation and simulation algorithms on probabilistic transition systems by abstract interpretation 2012 CRAFA, SILVIARANZATO, FRANCESCO FORMAL METHODS IN SYSTEM DESIGN - -
Saving space in a time efficient simulation algorithm 2011 CRAFA, SILVIARANZATO, FRANCESCO + FUNDAMENTA INFORMATICAE - -
An efficient simulation algorithm based on abstract interpretation 2010 RANZATO, FRANCESCO + INFORMATION AND COMPUTATION - -
The Subgraph Similarity Problem 2009 RANZATO, FRANCESCO + IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING - -
Generalizing the Paige-Tarjan algorithm by abstract interpretation 2008 RANZATO, FRANCESCO + INFORMATION AND COMPUTATION - -