C. Aiswarya

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 22

Top Topics

Distributed Systems

Top Venues

Publications

C. Aiswarya, Diego Calvanese, Francesco Di Cosmo, Marco Montali
Verification of Unary Communicating Datalog Programs. Proc. ACM Manag. Data 2 (2) (2024)
C. Aiswarya, Amaldev Manuel, Saina Sunny
Deciding Conjugacy of a Rational Relation - (Extended Abstract). DLT (2024)
C. Aiswarya, Amaldev Manuel, Saina Sunny
Edit Distance of Finite State Transducers. CoRR (2024)
C. Aiswarya, Soumodev Mal, Prakash Saivasan
Satisfiability of Context-free String Constraints with Subword-ordering and Transducers. CoRR (2024)
C. Aiswarya, Amaldev Manuel, Saina Sunny
Edit Distance of Finite State Transducers. ICALP (2024)
C. Aiswarya, Soumodev Mal, Prakash Saivasan
Satisfiability of Context-Free String Constraints with Subword-Ordering and Transducers. STACS (2024)
C. Aiswarya, Amaldev Manuel, Saina Sunny
Deciding Conjugacy of a Rational Relation. CoRR (2023)
C. Aiswarya, Sahil Mhaskar, M. Praveen
Checking Regular Invariance Under Tightly-Controlled String Modifications. DLT (2022)
C. Aiswarya, Soumodev Mal, Prakash Saivasan
On the Satisfiability of Context-free String Constraints with Subword-Ordering. LICS (2022)
C. Aiswarya, Vikraman Arvind, Saket Saurabh
Theory research in India: 2019-2022. Commun. ACM 65 (11) (2022)
C. Aiswarya
How treewidth helps in verification. ACM SIGLOG News 9 (1) (2022)
C. Aiswarya
On Network Topologies and the Decidability of Reachability Problem. NETYS (2020)
C. Aiswarya, Paul Gastin
Weighted Tiling Systems for Graphs: Evaluation Complexity. CoRR (2020)
C. Aiswarya, Paul Gastin
Weighted Tiling Systems for Graphs: Evaluation Complexity. FSTTCS (2020)
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali
Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding. PODS (2019)
C. Aiswarya, Benedikt Bollig, Paul Gastin
An automata-theoretic approach to the verification of distributed algorithms. Inf. Comput. 259 (3) (2018)
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
Complexity of Reachability for Data-Aware Dynamic Systems. ACSD (2018)
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig
Data Multi-Pushdown Automata. CONCUR (2017)
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig
Data Communicating Processes with Unreliable Channels. LICS (2016)
C. Aiswarya, Paul Gastin, Prakash Saivasan
Nested Words for Order-2 Pushdown Systems. CoRR (2016)
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version). CoRR (2016)
Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, Othmane Rezine
Recency-Bounded Verification of Dynamic Database-Driven Systems. PODS (2016)
C. Aiswarya, Benedikt Bollig, Paul Gastin
An Automata-Theoretic Approach to the Verification of Distributed Algorithms. CoRR (2015)
C. Aiswarya
Model Checking Dynamic Distributed Systems. NETYS (2015)
C. Aiswarya, Benedikt Bollig, Paul Gastin
An Automata-Theoretic Approach to the Verification of Distributed Algorithms. CONCUR (2015)
C. Aiswarya, Paul Gastin, K. Narayan Kumar
Verifying Communicating Multi-pushdown Systems via Split-Width. ATVA (2014)
Benedikt Bollig, C. Aiswarya, Paul Gastin, Marc Zeitoun
Temporal logics for concurrent recursive programs: Satisfiability and model checking. J. Appl. Log. 12 (4) (2014)
C. Aiswarya, Paul Gastin
Reasoning About Distributed Systems: WYSIWYG (Invited Talk). FSTTCS (2014)
C. Aiswarya, Paul Gastin, K. Narayan Kumar
Controllers for the Verification of Communicating Multi-pushdown Systems. CONCUR (2014)