Scholar

Angelo Ferrando

Google Scholar ID: ekIM0qgAAAAJ

Assistant Professor at the University of Modena and Reggio Emilia

Artificial intelligenceFormal MethodsRuntime VerificationMulti-Agent Systems

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)