{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:28:57Z","timestamp":1750220937514,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,6,25]],"date-time":"2019-06-25T00:00:00Z","timestamp":1561420800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,6,25]]},"DOI":"10.1145\/3294052.3319705","type":"proceedings-article","created":{"date-parts":[[2019,6,17]],"date-time":"2019-06-17T12:56:45Z","timestamp":1560776205000},"page":"335-352","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Reachability in Database-driven Systems with Numerical Attributes under Recency Bounding"],"prefix":"10.1145","author":[{"given":"Parosh Aziz","family":"Abdulla","sequence":"first","affiliation":[{"name":"Uppsala University, Uppsala, Sweden"}]},{"given":"C.","family":"Aiswarya","sequence":"additional","affiliation":[{"name":"Chennai Mathematical Institute, Chennai, India"}]},{"given":"Mohamed Faouzi","family":"Atig","sequence":"additional","affiliation":[{"name":"Uppsala University, Uppsala, Sweden"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[{"name":"Free University of Bozen-Bolzano, Bolzano, Italy"}]}],"member":"320","published-online":{"date-parts":[[2019,6,25]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"CONCUR (LIPIcs)","volume":"85","author":"Abdulla Parosh Aziz","year":"2017","unstructured":"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. 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."},{"key":"e_1_3_2_1_2_1","volume-title":"Push-Down Automata with Gap-Order Constraints. In FSEN (LNCS)","volume":"8161","author":"Abdulla P. A.","unstructured":"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. 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."},{"key":"e_1_3_2_1_3_1","volume-title":"Marco Montali, and Othmane Rezine.","author":"Abdulla Parosh Aziz","year":"2016","unstructured":"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. 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."},{"key":"e_1_3_2_1_4_1","volume-title":"Marco Montali, and Othmane Rezine.","author":"Abdulla Parosh Aziz","year":"2018","unstructured":"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. 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."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463664.2465221"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34321-6_2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2750423.2750432"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516512.1516515"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2006.51"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","unstructured":"Mikolaj Bojanczyk Luc Segoufin and Szymon Torunczyk. 2013. Verification of Database-Driven Systems via Amalgamation. In PODS .  Mikolaj Bojanczyk Luc Segoufin and Szymon Torunczyk. 2013. Verification of Database-Driven Systems via Amalgamation. In PODS .","DOI":"10.1145\/2463664.2465228"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28729-9_26"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463664.2467796"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2017.08.007"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/2886521.2886603"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/3060621.3060763"},{"key":"e_1_3_2_1_16_1","volume-title":"Reachability Analysis of First-order Definable Pushdown Systems. In CSL","volume":"41","author":"Clemente Lorenzo","year":"2015","unstructured":"Lorenzo Clemente and Slawomir Lasota . 2015 . Reachability Analysis of First-order Definable Pushdown Systems. In CSL 2015, (LIPIcs), Vol. 41 . Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 244--259. Lorenzo Clemente and Slawomir Lasota. 2015. Reachability Analysis of First-order Definable Pushdown Systems. In CSL 2015, (LIPIcs), Vol. 41. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 244--259."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1938551.1938563"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843012500025"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1507244.1507246"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1514894.1514924"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2902251.2902275"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/1641503.1641505"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.14778\/3157794.3157798"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/3298239.3298400"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_7"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1514894.1514896"}],"event":{"name":"SIGMOD\/PODS '19: International Conference on Management of Data","sponsor":["SIGMOD ACM Special Interest Group on Management of Data"],"location":"Amsterdam Netherlands","acronym":"SIGMOD\/PODS '19"},"container-title":["Proceedings of the 38th ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3294052.3319705","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3294052.3319705","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:53:28Z","timestamp":1750204408000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3294052.3319705"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6,25]]},"references-count":26,"alternative-id":["10.1145\/3294052.3319705","10.1145\/3294052"],"URL":"https:\/\/doi.org\/10.1145\/3294052.3319705","relation":{},"subject":[],"published":{"date-parts":[[2019,6,25]]},"assertion":[{"value":"2019-06-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}