IRIS

Sfoglia per Autore  Zaffanella, Enea

Opzioni
Mostrati risultati da 1 a 20 di 99
Titolo Data di pubblicazione Autore(i) File
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode In corso di stampa Arceri, Vincenzo; Merenda, Saverio Mattia; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea
Helping LLMs improve code generation using feedback from testing and static analysis 1-gen-2026 Dolcetti, G.; Arceri, V.; Iotti, E.; Maffeis, S.; Cortesi, A.; Zaffanella, E.
PYRA: A high-level linter for data science software 1-gen-2026 Dolcetti, G.; Arceri, V.; Mensi, A.; Zaffanella, E.; Urban, C.; Cortesi, A.
Introducing Pyra: A High-Level Linter for Data Science Software 1-gen-2025 Dolcetti, Greta; Arceri, Vincenzo; Mensi, Antonella; Zaffanella, Enea; Urban, Caterina; Cortesi, Agostino
Faster numeric static analyses with unconstrained variable oracles 1-gen-2025 Arceri, V.; Bianchi, F.; Dolcetti, G.; Zaffanella, E.
On the Verification of ML Systems and Models 1-gen-2025 Dolcetti, G.; Arceri, V.; Cortesi, A.; Zaffanella, E.
Towards a High Level Linter for Data Science 1-gen-2024 Dolcetti, Greta; Cortesi, Agostino; Urban, Caterina; Zaffanella, Enea
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs 1-gen-2024 Arceri, Vincenzo; Merenda, Saverio Mattia; Dolcetti, Greta; Negrini, Luca; Olivieri, Luca; Zaffanella, Enea
Stability: An Abstract Domain for the Trend of Variation of Numerical Variables 1-gen-2024 Negrini, L.; Presotto, S.; Ferrara, P.; Zaffanella, E.; Cortesi, A.
Speeding up static analysis with the split operator 1-gen-2024 Arceri, Vincenzo; Dolcetti, Greta; Zaffanella, Enea
P-stable abstractions of hybrid systems 1-gen-2024 Becchi, Anna; Cimatti, Alessandro; Zaffanella, Enea
“Fixing” the Specification of Widenings 1-gen-2023 Zaffanella, Enea; Arceri, Vincenzo
Speeding up Static Analysis with the Split Operator 1-gen-2023 Arceri, V.; Dolcetti, G.; Zaffanella, E.
Unconstrained Variable Oracles for Faster Numeric Static Analyses 1-gen-2023 Arceri, V.; Dolcetti, G.; Zaffanella, E.
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 1-gen-2022 Bu, Lei; Frehse, Goran; Kundu, Atanu; Ray, Rajarshi; Shi, Yuhui; Zaffanella, Enea
Decoupling the Ascending and Descending Phases in Abstract Interpretation 1-gen-2022 Arceri, Vincenzo; Mastroeni, Isabella; Zaffanella, Enea
Symbolic Analysis of Linear Hybrid Automata – 25 Years Later 1-gen-2022 Frehse, Goran; Giacobbe, Mirco; Zaffanella, Enea
ARCH-COMP22 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 1-gen-2022 Bu, Lei; Frehse, Goran; Kundu, Atanu; Ray, Rajarshi; Shi, Yuhui; Zaffanella, Enea
Reverse engineering with P-stable abstractions 1-gen-2021 Becchi, A.; Cimatti, A.; Zaffanella, E.
ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking 1-gen-2020 Bu, Lei; Abate, Alessandro; Adzkiya, Dieky; Syifa'Ul Mufid, Muhammad; Ray, Rajarshi; Wu, Yuming; Zaffanella, Enea
Mostrati risultati da 1 a 20 di 99
Legenda icone

  •  file ad accesso aperto
  •  file disponibili sulla rete interna
  •  file disponibili agli utenti autorizzati
  •  file disponibili solo agli amministratori
  •  file sotto embargo
  •  nessun file disponibile