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
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
Load more
