C Aiswarya

C Aiswarya

Chennai Mathematical Institute - Chennai / India
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4506862
சென்னை கணிதவியல் கழகம்
person_outline C Aiswarya's MOST POPULAR ARTICLES
1-) MSO decidability of multi-pushdown systems via split-widthA Cyriac, P Gastin, KN KumarInternational Conference on Concurrency Theory, 547-561, 2012532012
2-) Model checking languages of data wordsB Bollig, A Cyriac, P Gastin, KN KumarInternational Conference on Foundations of Software Science and …, 2012322012
3-) Verifying communicating multi-pushdown systems via split-widthC Aiswarya, P Gastin, KN KumarInternational Symposium on Automated Technology for Verification and …, 201428*2014
4-) Recency-bounded verification of dynamic database-driven systemsPA Abdulla, C Aiswarya, MF Atig, M Montali, O RezineProceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2016272016
5-) An Automata-Theoretic Approach to the Verification of Distributed AlgorithmsC Aiswarya, B Bollig, P GastinarXiv preprint arXiv:1504.06534, 2015252015