Clare Cini

According to our database, Clare Cini authored at least 2 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Computer says no: Verdict explainability for runtime monitors using a local proof system.

Adrian Francalanza, Clare Cini

J. Log. Algebraic Methods Program., 2021

2015

An LTL Proof System for Runtime Verification.

Clare Cini, Adrian Francalanza

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015