C. Aiswarya

According to our database, C. Aiswarya authored at least 26 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers.

C. Aiswarya, Soumodev Mal, Prakash Saivasan

Proceedings of the 41st International Symposium on Theoretical Aspects of Computer Science, 2024

2023

Deciding Conjugacy of a Rational Relation.

C. Aiswarya, Amaldev Manuel, Saina Sunny

CoRR, 2023

2022

How treewidth helps in verification.

C. Aiswarya

ACM SIGLOG News, 2022

Theory research in India: 2019-2022.

C. Aiswarya, Vikraman Arvind, Saket Saurabh

Commun. ACM, 2022

On the Satisfiability of Context-free String Constraints with Subword-Ordering.

C. Aiswarya, Soumodev Mal, Prakash Saivasan

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

Checking Regular Invariance Under Tightly-Controlled String Modifications.

C. Aiswarya, Sahil Mhaskar, M. Praveen

Proceedings of the Developments in Language Theory - 26th International Conference, 2022

2020

On Network Topologies and the Decidability of Reachability Problem.

C. Aiswarya

Proceedings of the Networked Systems - 8th International Conference, 2020

Weighted Tiling Systems for Graphs: Evaluation Complexity.

C. Aiswarya, Paul Gastin

Proceedings of the 40th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2020

2019

Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding.

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali

Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2019

2018

An automata-theoretic approach to the verification of distributed algorithms.

C. Aiswarya, Benedikt Bollig, Paul Gastin

Inf. Comput., 2018

Complexity of Reachability for Data-Aware Dynamic Systems.

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine

Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018

2017

Data Multi-Pushdown Automata.

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Nested Words for Order-2 Pushdown Systems.

C. Aiswarya, Paul Gastin, Prakash Saivasan

CoRR, 2016

Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version).

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine

CoRR, 2016

Recency-Bounded Verification of Dynamic Database-Driven Systems.

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine

Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2016

Data Communicating Processes with Unreliable Channels.

Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig

Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, 2016

2015

Model Checking Dynamic Distributed Systems.

C. Aiswarya

Proceedings of the Networked Systems - Third International Conference, 2015

2014

Verification of communicating recursive programs via split-width. (Vérification de programmes récursifs et communicants via split-width).

Aiswarya Cyriac

PhD thesis, 2014

Temporal logics for concurrent recursive programs: Satisfiability and model checking.

Benedikt Bollig, C. Aiswarya, Paul Gastin, Marc Zeitoun

J. Appl. Log., 2014

Reasoning About Distributed Systems: WYSIWYG (Invited Talk).

C. Aiswarya, Paul Gastin

Proceedings of the 34th International Conference on Foundation of Software Technology and Theoretical Computer Science, 2014

Controllers for the Verification of Communicating Multi-pushdown Systems.

C. Aiswarya, Paul Gastin, K. Narayan Kumar

Proceedings of the CONCUR 2014 - Concurrency Theory - 25th International Conference, 2014

Verifying Communicating Multi-pushdown Systems via Split-Width.

C. Aiswarya, Paul Gastin, K. Narayan Kumar

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Dynamic Communicating Automata and Branching High-Level MSCs.

Benedikt Bollig, Aiswarya Cyriac, Loïc Hélouët, Ahmet Kara, Thomas Schwentick

Proceedings of the Language and Automata Theory and Applications, 2013

2012

Model Checking Languages of Data Words.

Benedikt Bollig, Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar

Proceedings of the Foundations of Software Science and Computational Structures, 2012

MSO Decidability of Multi-Pushdown Systems via Split-Width.

Aiswarya Cyriac, Paul Gastin, K. Narayan Kumar

Proceedings of the CONCUR 2012 - Concurrency Theory - 23rd International Conference, 2012

2008

Lower Bound for the Communication Complexity of the Russian Cards Problem

Aiswarya Cyriac, K. Murali Krishnan

CoRR, 2008