Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding-Reference-Cited by-同舟云学术

Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding

Published:2019 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems - PODS '19
language:
Short-container-title:

Author:

Abdulla Parosh Aziz¹,Aiswarya C.²,Atig Mohamed Faouzi¹,Montali Marco³

Affiliation:

1. Uppsala University, Uppsala, Sweden

2. Chennai Mathematical Institute, Chennai, India

3. Free University of Bozen-Bolzano, Bolzano, Italy

Publisher

ACM Press

Reference26 articles.

1. Parosh Aziz Abdulla, C. Aiswarya, and Mohamed Faouzi Atig. 2017. Data Multi-Pushdown Automata. In CONCUR (LIPIcs), Vol. 85. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 38:1--38:17.

2. P. A. Abdulla, M. F. Atig, G. Delzanno, and A. Podelski. 2013. Push-Down Automata with Gap-Order Constraints. In FSEN (LNCS), Vol. 8161. Springer, 199--216.

3. Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, and Othmane Rezine. 2016. Recency-Bounded Verification of Dynamic Database-Driven Systems. In PODS. ACM, 195--210.

4. Parosh Aziz Abdulla, C. Aiswarya, Mohamed Faouzi Atig, Marco Montali, and Othmane Rezine. 2018. Complexity of Reachability for Data-Aware Dynamic Systems. In ACSD. IEEE Computer Society, 11--20.

5. Babak Bagheri Hariri, Diego Calvanese, Giuseppe De Giacomo, Alin Deutsch, and Marco Montali. 2013. Verification of Relational Data-Centric Dynamic Systems with External Services. In PODS .

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Checking Regular Invariance Under Tightly-Controlled String Modifications;Developments in Language Theory;2022