Kuruvilla George Aiyankovil

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 2

Top Topics

Specification Languages

Software Testing

Explanation Based Learning

Top Venues

ICCBR Workshops

Publications

Kuruvilla George Aiyankovil, Diarmuid O'Donoghue, Rosemary Monahan
Creating new Program Proofs by Combining Abductive and Deductive Reasoning. ICCC (2021)
Kuruvilla George Aiyankovil, Rosemary Monahan, Diarmuid P. O'Donoghue
Upcycling Formal Specifications for Similar Implementations with Arís. ICCBR Workshops (2021)