IRIS

Sfoglia per Autore  Arceri, Vincenzo

Opzioni
Mostrati risultati da 1 a 20 di 46
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
JLiSA: The Java Frontend of the Library for Static Analysis (Competition Contribution) 1-gen-2026 Arceri, Vincenzo; Negrini, Luca; Zanatta, Giacomo; Bianchi, Filippo; Lisovenko, Teodors; Olivieri, Luca; Ferrara, Pietro
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.
Challenges of software verification 1-gen-2025 Arceri, V.; Negrini, L.; Olivieri, L.; Ferrara, P.
Faster numeric static analyses with unconstrained variable oracles 1-gen-2025 Arceri, V.; Bianchi, F.; Dolcetti, G.; Zaffanella, E.
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
Static Detection of Untrusted Cross-Contract Invocations in Go Smart Contracts 1-gen-2025 Olivieri, L.; Negrini, L.; Arceri, V.; Ferrara, P.; Cortesi, A.; Spoto, F.
Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts 1-gen-2025 Olivieri, L.; Negrini, L.; Arceri, V.; Ferrara, P.; Cortesi, A.
On the Verification of ML Systems and Models 1-gen-2025 Dolcetti, G.; Arceri, V.; Cortesi, A.; Zaffanella, E.
Welcome from the Chairs 1-gen-2024 Pasqua, M.; Arceri, V.
Teaching Through Practice: Advanced Static Analysis with LiSA 1-gen-2024 Negrini, Luca; Arceri, Vincenzo; Olivieri, Luca; Cortesi, Agostino; Ferrara, Pietro
Detection of Phantom Reads in Hyperledger Fabric 1-gen-2024 Olivieri, L.; Negrini, L.; Arceri, V.; Chachar, B.; Ferrara, P.; Cortesi, A.
Speeding up static analysis with the split operator 1-gen-2024 Arceri, Vincenzo; Dolcetti, Greta; Zaffanella, Enea
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study 1-gen-2024 Olivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino
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
Design and Implementation of Static Analyses for Tezos Smart Contracts 1-gen-2024 Olivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Jensen, Thomas; Spoto, Fausto
A Machine Learning Approach for Source Code Similarity via Graph-Focused Features 1-gen-2024 Boldini, G.; Diana, A.; Arceri, V.; Bonnici, V.; Bagnara, R.
Tarsis: An effective automata‐based abstract domain for string analysis 1-gen-2024 Negrini, Luca; Arceri, Vincenzo; Cortesi, Agostino; Ferrara, Pietro
Challenges of software verification: the past, the present, the future 1-gen-2024 Ferrara, P.; Arceri, V.; Cortesi, A.
Mostrati risultati da 1 a 20 di 46
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