Luca Negrini
Luca Negrini
Verified email at unive.it - Homepage
Title
Cited by
Cited by
Year
Twinning automata and regular expressions for string static analysis
L Negrini, V Arceri, P Ferrara, A Cortesi
International Conference on Verification, Model Checking, and Abstract …, 2021
22021
Static analysis for dummies: experiencing LiSA
P Ferrara, L Negrini, V Arceri, A Cortesi
Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of …, 2021
2021
SARL: OO Framework Specification for Static Analysis
P Ferrara, L Negrini
Software Verification, 3-20, 2020
2020
SARL: Framework Modeling for Static Analysis
L Negrini, P Ferrara
2018
The system can't perform the operation now. Try again later.
Articles 1–4