ARCERI Vincenzo

Qualifica Docente a contratto
E-mail vincenzo.arceri@unive.it
Sito web www.unive.it/persone/vincenzo.arceri (scheda personale)
Struttura Dipartimento di Scienze Ambientali, Informatica e Statistica
Sito web struttura: https://www.unive.it/dais
Struttura Dipartimento di Management
Sito web struttura: https://www.unive.it/management

Pubblicazioni per anno

2021
  • Negrini, Luca; Arceri, Vincenzo; Ferrara, Pietro; Cortesi, Agostino Twinning Automata and Regular Expressions for String Static Analysis , Verification, Model Checking, and Abstract Interpretation - 22nd International Conference, VMCAI 2021, Springer, vol. 12597, pp. 267-290, Convegno: 22nd International Conference on Verification, Model Checking, and Abstract Interpretation (ISBN 978-3-030-67066-5; 978-3-030-67067-2) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOI Link al documento: 10278/3736434
2019
  • Arceri V.; Olliaro M.; Cortesi A.; Mastroeni I. Completeness of Abstract Domains for String Analysis of JavaScript Programs , Theoretical Aspects of Computing, Springer, vol. 11884, pp. 255-272, Convegno: 16th International Colloquium on Theoretical Aspects of Computing, ICTAC 2019, 2019 (ISBN 978-3-030-32504-6; 978-3-030-32505-3) (ISSN 0302-9743) (Articolo in Atti di convegno)
    Link DOIURL correlato Link al documento: 10278/3721097