MSO decidability of multi-pushdown systems via split-width A Cyriac, P Gastin, KN Kumar International Conference on Concurrency Theory, 547-561, 2012 | 55 | 2012 |
Model checking languages of data words B Bollig, A Cyriac, P Gastin, KN Kumar International Conference on Foundations of Software Science and …, 2012 | 33 | 2012 |
Verifying communicating multi-pushdown systems via split-width C Aiswarya, P Gastin, KN Kumar International Symposium on Automated Technology for Verification and …, 2014 | 31* | 2014 |
Recency-bounded verification of dynamic database-driven systems PA Abdulla, C Aiswarya, MF Atig, M Montali, O Rezine Proceedings of the 35th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2016 | 29 | 2016 |
An Automata-Theoretic Approach to the Verification of Distributed Algorithms C Aiswarya, B Bollig, P Gastin arXiv preprint arXiv:1504.06534, 2015 | 26 | 2015 |
Temporal logics for concurrent recursive programs: Satisfiability and model checking B Bollig, A Cyriac, P Gastin, M Zeitoun Journal of Applied Logic 12 (4), 395-416, 2014 | 20 | 2014 |
Verification of communicating recursive programs via split-width A Cyriac École normale supérieure de Cachan-ENS Cachan, 2014 | 17 | 2014 |
Dynamic communicating automata and branching high-level MSCs B Bollig, A Cyriac, L Hélouët, A Kara, T Schwentick International Conference on Language and Automata Theory and Applications …, 2013 | 17 | 2013 |
Reasoning about distributed systems: WYSIWYG C Aiswarya, P Gastin 34th Conference on Foundations of Software Technology and Theoretical …, 2014 | 13* | 2014 |
Controllers for the verification of communicating multi-pushdown systems C Aiswarya, P Gastin, KN Kumar CONCUR 2014–Concurrency Theory, 297-311, 2014 | 10 | 2014 |
Data Communicating Processes with Unreliable Channels PA Abdulla, C Aiswarya, MF Atig Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer …, 2016 | 9 | 2016 |
On Network Topologies and the Decidability of Reachability Problem C Aiswarya International Conference on Networked Systems, 3-10, 2020 | 8 | 2020 |
Data multi-pushdown automata PA Abdulla, C Aiswarya, MF Atig 28th International Conference on Concurrency Theory (CONCUR 2017), 2017 | 6 | 2017 |
Lower bound for the communication complexity of the Russian cards problem A Cyriac, KM Krishnan arXiv preprint arXiv:0805.1974, 2008 | 6 | 2008 |
Complexity of reachability for data-aware dynamic systems PA Abdulla, C Aiswarya, MF Atig, M Montali, O Rezine 2018 18th International Conference on Application of Concurrency to System …, 2018 | 4 | 2018 |
Temporal logics for concurrent recursive programs A Cyriac Rapport de Master, Master Parisien de Recherche en Informatique, Paris, France, 2010 | 3 | 2010 |
Reachability in database-driven systems with numerical attributes under recency bounding PA Abdulla, C Aiswarya, MF Atig, M Montali Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of …, 2019 | 2 | 2019 |
Recency-Bounded Verification of Dynamic Database-Driven Systems (Extended Version) PA Abdulla, C Aiswarya, MF Atig, M Montali, O Rezine arXiv preprint arXiv:1604.03413, 2016 | 2 | 2016 |
Nested words for order-2 pushdown systems C Aiswarya, P Gastin, P Saivasan arXiv preprint arXiv:1609.06290, 2016 | 1 | 2016 |
Model Checking Dynamic Distributed Systems C Aiswarya International Conference on Networked Systems, 48-61, 2015 | 1 | 2015 |