# C. Aiswarya

According to our database

^{1}, C. Aiswarya## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### Homepage:

#### On csauthors.net:

## Bibliography

2018

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

Inf. Comput., 2018

2017

Data Multi-Pushdown Automata.

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

2016

Nested Words for Order-2 Pushdown Systems.

CoRR, 2016

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

CoRR, 2016

Recency-Bounded Verification of Dynamic Database-Driven Systems.

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

Data Communicating Processes with Unreliable Channels.

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

2015

An Automata-Theoretic Approach to the Verification of Distributed Algorithms.

CoRR, 2015

Model Checking Dynamic Distributed Systems.

Proceedings of the Networked Systems - Third International Conference, 2015

An Automata-Theoretic Approach to the Verification of Distributed Algorithms.

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

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

PhD thesis, 2014

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

J. Applied Logic, 2014

Reasoning About Distributed Systems: WYSIWYG (Invited Talk).

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.

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

Verifying Communicating Multi-pushdown Systems via Split-Width.

Proceedings of the Automated Technology for Verification and Analysis, 2014

2013

Dynamic Communicating Automata and Branching High-Level MSCs.

Proceedings of the Language and Automata Theory and Applications, 2013

2012

Model Checking Languages of Data Words.

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

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

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

2011

Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking.

Proceedings of the Mathematical Foundations of Computer Science 2011, 2011

2008

Lower Bound for the Communication Complexity of the Russian Cards Problem

CoRR, 2008