C. Aiswarya

According to our database1, C. Aiswarya authored at least 19 papers between 2008 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

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


  Loading...