default search action

combined dblp search
author search
venue search
publication search

ask others

Vincenzo Arceri

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j8]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/OlivieriNACFC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/OlivieriNACFC24
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Badaruddin Chachar, Pietro Ferrara, Agostino Cortesi:
Detection of Phantom Reads in Hyperledger Fabric. IEEE Access 12: 80687-80697 (2024)
[j7]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/access/OlivieriACNTSFC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/access/OlivieriACNTSFC24
Luca Olivieri, Vincenzo Arceri, Badaruddin Chachar, Luca Negrini, Fabio Tagliaferro, Fausto Spoto, Pietro Ferrara, Agostino Cortesi:
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study. IEEE Access 12: 166855-166869 (2024)
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/smr/NegriniACF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/smr/NegriniACF24
Luca Negrini, Vincenzo Arceri, Agostino Cortesi, Pietro Ferrara:
Tarsis: An effective automata-based abstract domain for string analysis. J. Softw. Evol. Process. 36(8) (2024)
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/FerraraAC24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/FerraraAC24
Pietro Ferrara, Vincenzo Arceri, Agostino Cortesi:
Challenges of software verification: the past, the present, the future. Int. J. Softw. Tools Technol. Transf. 26(4): 421-430 (2024)
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/sttt/ArceriDZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sttt/ArceriDZ24
Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella:
Speeding up static analysis with the split operator. Int. J. Softw. Tools Technol. Transf. 26(5): 573-588 (2024)
[c18]
- view
  authority control:
- export record
  dblp key:
  - conf/ftfjp/ArceriMDNOZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ftfjp/ArceriMDNOZ24
Vincenzo Arceri, Saverio Mattia Merenda, Greta Dolcetti, Luca Negrini, Luca Olivieri, Enea Zaffanella:
Towards a Sound Construction of EVM Bytecode Control-Flow Graphs. FTfJP@ECOOP 2024: 11-16
[c17]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tfm/NegriniAOCF24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tfm/NegriniAOCF24
Luca Negrini, Vincenzo Arceri, Luca Olivieri, Agostino Cortesi, Pietro Ferrara:
Teaching Through Practice: Advanced Static Analysis with LiSA. FMTea 2024: 43-57
2023
[j3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/darts/OlivieriNAT0CS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/darts/OlivieriNAT0CS23
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto:
Information Flow Analysis for Detecting Non-Determinism in Blockchain (Artifact). Dagstuhl Artifacts Ser. 9(2): 23:1-23:3 (2023)
[c16]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ecoop/OlivieriNAT0CS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ecoop/OlivieriNAT0CS23
Luca Olivieri, Luca Negrini, Vincenzo Arceri, Fabio Tagliaferro, Pietro Ferrara, Agostino Cortesi, Fausto Spoto:
Information Flow Analysis for Detecting Non-Determinism in Blockchain. ECOOP 2023: 23:1-23:25
[c15]
- view
  authority control:
- export record
  dblp key:
  - conf/ideas/BonniciAD0ILBNP23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ideas/BonniciAD0ILBNP23
Vincenzo Bonnici, Vincenzo Arceri, Alessio Diana, Flavio Bertini, Eleonora Iotti, Alessia Levante, Valentina Bernini, Erasmo Neviani, Alessandro Dal Palù:
BIOCHAIN: towards a platform for securely sharing microbiological data. IDEAS 2023: 59-63
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/mod/BoldiniDABB23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mod/BoldiniDABB23
Giacomo Boldini, Alessio Diana, Vincenzo Arceri, Vincenzo Bonnici, Roberto Bagnara:
A Machine Learning Approach for Source Code Similarity via Graph-Focused Features. LOD (1) 2023: 53-67
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/ArceriDZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/ArceriDZ23
Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella:
Speeding up Static Analysis with the Split Operator. SOAP@PLDI 2023: 14-19
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/ArceriDZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/ArceriDZ23
Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella:
Unconstrained Variable Oracles for Faster Numeric Static Analyses. SAS 2023: 65-83
2022
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/ArceriMZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/ArceriMZ22
Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella:
Decoupling the Ascending and Descending Phases in Abstract Interpretation. APLAS 2022: 25-44
[c10]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/OlivieriTARNC0S22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/OlivieriTARNC0S22
Luca Olivieri, Fabio Tagliaferro, Vincenzo Arceri, Marco Ruaro, Luca Negrini, Agostino Cortesi, Pietro Ferrara, Fausto Spoto, Enrico Talin:
Ensuring determinism in blockchain software with GoLiSA: an industrial experience report. SOAP@PLDI 2022: 23-29
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/ArceriOCF22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/ArceriOCF22
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Pietro Ferrara:
Relational String Abstract Domains. VMCAI 2022: 20-42
[i3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2206-10893
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2206-10893
Vincenzo Arceri, Isabella Mastroeni, Enea Zaffanella:
Decoupling the ascending and descending phases in Abstract Interpretation. CoRR abs/2206.10893 (2022)
2021
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/ArceriOCM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/ArceriOCM21
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni:
Completeness of string analysis for dynamic languages. Inf. Comput. 281: 104791 (2021)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tissec/ArceriM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tissec/ArceriM21
Vincenzo Arceri, Isabella Mastroeni:
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval. ACM Trans. Priv. Secur. 24(2): 10:1-10:38 (2021)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/pldi/FerraraNAC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pldi/FerraraNAC21
Pietro Ferrara, Luca Negrini, Vincenzo Arceri, Agostino Cortesi:
Static analysis for dummies: experiencing LiSA. SOAP@PLDI 2021: 1-6
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/NegriniAFC21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/NegriniAFC21
Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi:
Twinning Automata and Regular Expressions for String Static Analysis. VMCAI 2021: 267-290
[c6]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2109-02813
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-02813
Isabella Mastroeni, Vincenzo Arceri:
Improving Dynamic Code Analysis by Code Abstraction. VPT@ETAPS 2021: 17-32
2020
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/ArceriM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/ArceriM20
Vincenzo Arceri, Isabella Mastroeni:
A sound abstract interpreter for dynamic code. SAC 2020: 1979-1988
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-02715
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-02715
Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi:
Twinning automata and regular expressions for string static analysis. CoRR abs/2006.02715 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ArceriPM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ArceriPM19
Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni:
An Abstract Domain for Objects in Dynamic Programming Languages. FM Workshops (2) 2019: 136-151
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/ArceriOCM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/ArceriOCM19
Vincenzo Arceri, Martina Olliaro, Agostino Cortesi, Isabella Mastroeni:
Completeness of Abstract Domains for String Analysis of JavaScript Programs. ICTAC 2019: 255-272
[c2]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1808-07827
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1808-07827
Vincenzo Arceri, Isabella Mastroeni:
An Automata-based Abstract Semantics for String Manipulation Languages. VPT@Programming 2019: 19-33
2017
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/ArceriPGM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/ArceriPGM17
Vincenzo Arceri, Mila Dalla Preda, Roberto Giacobazzi, Isabella Mastroeni:
SEA: String Executability Analysis by Abstract Interpretation. CoRR abs/1702.02406 (2017)
2016
[c1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/ArceriM17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/ArceriM17
Vincenzo Arceri, Sergio Maffeis:
Abstract Domains for Type Juggling. NSAD@SAS 2016: 41-55

Coauthor Index

see FAQ

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.