logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
V

Vincenzo Arceri

university of parma

8H-index
43Paper Count
215Citation Count
Published Papers 8
Publication Date
logo
Challenges of Software Verification (CSV'25)
errInternational Journal on Software Tools for Technology Transfer
IF1.4
err2026-06-01
err0
PREAI
errOlivieri, Luca; Arceri, Vincenzo; Negrini, Luca; Caiazza, Gianluca
errShare
errSave
Editorial: Software specification and verification: models and tools
errFrontiers in Computer Science
IF2.7
err2026-04-22
err0
errOAAI
errArceri, Vincenzo; Chaki, Nabendu; Cortesi, Agostino; Deb, Novarun
errShare
errSave
PYRA : A high-level linter for data science software
errKnowledge-Based Systems
IF7.6
err2026-01-25
err0
PREAI
errGreta Dolcetti; Vincenzo Arceri; Antonella Mensi; Enea Zaffanella; Caterina Urban; Agostino Cortesi
errShare
errSave
Introducing Pyra: A High-Level Linter for Data Science Software
errMACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES. APPLIED DATA SCIENCE TRACK AND DEMO TRACK, ECML PKDD 2025, PT X
IF0
err2026-01-01
err1
PREAI
errDolcetti, Greta; Arceri, Vincenzo; Mensi, Antonella; Zaffanella, Enea; Urban, Caterina; Cortesi, Agostino
errShare
errSave
EVMLiSA: Sound Static Control-Flow Graph Construction for EVM Bytecode
errBlockchain: Research and Applications
IF0
err2025-09-09
err0
errOAAI
errVincenzo Arceri; Saverio Mattia Merenda; Luca Negrini; Luca Olivieri; Enea Zaffanella
errShare
errSave
Detection of Phantom Reads in Hyperledger Fabric
errIEEE ACCESS
IF3.6
err2024-01-01
err2
errOAAI
errOlivieri, Luca; Negrini, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Ferrara, Pietro; Cortesi, Agostino
errShare
errSave
General-Purpose Languages for Blockchain Smart Contracts Development: A Comprehensive Study
errIEEE ACCESS
IF3.6
err2024-01-01
err0
errOAAI
errOlivieri, Luca; Arceri, Vincenzo; Chachar, Badaruddin; Negrini, Luca; Tagliaferro, Fabio; Spoto, Fausto; Ferrara, Pietro; Cortesi, Agostino
errShare
errSave
Analyzing Dynamic Code: A Sound Abstract Interpreter for Evil Eval
errACM TRANSACTIONS ON PRIVACY AND SECURITY
IF2.8
err2021-01-21
err9
PREAI
errArceri, Vincenzo; Mastroeni, Isabella
errShare
errSave

Research Directions

The data has not been retrieved yet.
Co-authors
Cooperation Journals
N
Nabendu Chaki
H-index: 30 · Papers: 361
A
Agostino Cortesi
H-index: 28 · Papers: 310
F
Fausto Spoto
H-index: 22 · Papers: 115
E
Enea Zaffanella
H-index: 20 · Papers: 87
P
Pietro Ferrara
H-index: 18 · Papers: 95
View more