Scholar
Angelo Ferrando
Google Scholar ID: ekIM0qgAAAAJ
Assistant Professor at the University of Modena and Reggio Emilia
Artificial intelligence
Formal Methods
Runtime Verification
Multi-Agent Systems
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
1,547
H-index
20
i10-index
45
Publications
20
Co-authors
0
Contact
No contact links provided.
Publications
6 items
KindHML: formal verification of smart contracts based on Hennessy-Milner logic
2026
Cited
0
Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems
2025
Cited
0
Expressive Reward Synthesis with the Runtime Monitoring Language
2025
Cited
0
On The Space Complexity of Partial Derivatives of Regular Expressions with Shuffle
2025
Cited
0
Varanus: Runtime Verification for CSP
2025
Cited
0
VITAMIN: A Compositional Framework for Model Checking of Multi-Agent Systems
Proceedings of the 17th International Conference on Agents and Artificial Intelligence · 2024
Cited
3
Resume (English only)
Co-authors
0 total
Co-authors: 0 (list not available)
×
Welcome back
Sign in to Agora
Welcome back! Please sign in to continue.
Email address
Password
Forgot password?
Continue
Do not have an account?
Sign up