Login / Signup
Clare Cini
Publication Activity (10 Years)
Years Active: 2015-2021
Publications (10 Years): 1
Top Topics
Cut Elimination
Formal Specification
Modal Logic
Bounded Model Checking
Top Venues
J. Log. Algebraic Methods Program.
TACAS
</>
Publications
</>
Adrian Francalanza
,
Clare Cini
Computer says no: Verdict explainability for runtime monitors using a local proof system.
J. Log. Algebraic Methods Program.
119 (2021)
Clare Cini
,
Adrian Francalanza
An LTL Proof System for Runtime Verification.
TACAS
(2015)