Aiswarya Cyriac

A New Version of Focus Games for LTL Satisfiability ★

Aiswarya Cyriac, 2010 .

Verification of communicating recursive programs via split-width

Aiswarya Cyriac, Aiswarya Cyriac, 2014 .

Temporal logics for concurrent recursive programs: Satisfiability and model checking

C. Aiswarya, Benedikt Bollig, Paul Gastin, 2011, J. Appl. Log..

Verifying Communicating Multi-pushdown Systems via Split-Width

Paul Gastin, K. Narayan Kumar, Aiswarya Cyriac, 2014, ATVA.

MSO Decidability of Multi-Pushdown Systems via Split-Width

C. Aiswarya, Paul Gastin, K. Narayan Kumar, 2012, CONCUR.

Model Checking Languages of Data Words

C. Aiswarya, Benedikt Bollig, Paul Gastin, 2012, FoSSaCS.