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

9 items

Predictive Varanus: Combining CSP Conformance Monitoring with Predictive LTL Runtime Verification

2026

Cited

0

A New Syntax and Semantics for Probabilistic Trace Expressions

2026

Cited

0

Engineering Reliable Autonomous Systems: Challenges and Solutions

2026

Cited

0

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

Resume (English only)

Co-authors

0 total

Co-authors: 0 (list not available)