According to our database1, C. Aiswarya authored at least 14 papers between 2011 and 2018.
Legend:Book In proceedings Article PhD thesis Other
Complexity of Reachability for Data-Aware Dynamic Systems.
Proceedings of the 18th International Conference on Application of Concurrency to System Design, 2018
Data Multi-Pushdown Automata.
Proceedings of the 28th International Conference on Concurrency Theory, 2017
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
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
Verification of communicating recursive programs via split-width. (Vérification de programmes récursifs et communicants via split-width).
PhD thesis, 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
Dynamic Communicating Automata and Branching High-Level MSCs.
Proceedings of the Language and Automata Theory and Applications, 2013
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
Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking.
Proceedings of the Mathematical Foundations of Computer Science 2011, 2011