conf.researchr.org / Elvinia Riccobene
Registered user since Tue 7 Apr 2020
Name:Elvinia Riccobene
Country:Italy
Affiliation:Computer Science Dept., University of Milan
Personal website: https://homes.di.unimi.it/riccobene/
Research interests:Formal methods
Contributions
2026
FM
- Author of Fuzzing executable ASMETA models within the ABZ-track
- Author of Formal Verification of Decentralized Autonomous Organizations within the ABZ-track
- Committee Member in Tutorial Track Committee within the Tutorials-track
- Committee Member in Program committee within the Doctoral Symposium-track