{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T01:59:40Z","timestamp":1767319180997,"version":"3.48.0"},"publisher-location":"Cham","reference-count":41,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032105530","type":"print"},{"value":"9783032105547","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-10554-7_8","type":"book-chapter","created":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T01:55:49Z","timestamp":1767318949000},"page":"145-168","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Verifying Multi-vendor IoT Deployments Using Conditional Tables"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-1328-1916","authenticated-orcid":false,"given":"Mubashir","family":"Anwar","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5955-9229","authenticated-orcid":false,"given":"Matthew","family":"Caesar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1078-107X","authenticated-orcid":false,"given":"Anduo","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,1,2]]},"reference":[{"key":"8_CR1","unstructured":"Stanford benchmark (2023). https:\/\/bitbucket.org\/peymank\/hassel-public\/src\/master\/hsa-python\/examples\/stanford\/Stanford_backbone\/"},{"key":"8_CR2","doi-asserted-by":"publisher","unstructured":"Abiteboul, S., Abrams, Z., Haar, S., Milo, T.: Diagnosis of asynchronous discrete event systems: datalog to the rescue! In: Proceedings of the Twenty-Fourth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2005, pp. 358\u2013367. Association for Computing Machinery, New York (2005). https:\/\/doi.org\/10.1145\/1065167.1065214","DOI":"10.1145\/1065167.1065214"},{"key":"8_CR3","volume-title":"Foundations of Databases: The Logical Level","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V. (eds.): Foundations of Databases: The Logical Level. Pearson, Boston (1995)"},{"issue":"3","key":"8_CR4","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/38714.38724","volume":"16","author":"S Abiteboul","year":"1987","unstructured":"Abiteboul, S., Kanellakis, P., Grahne, G.: On the representation and querying of sets of possible worlds. ACM SIGMOD Rec. 16(3), 34\u201348 (1987). https:\/\/doi.org\/10.1145\/38714.38724","journal-title":"ACM SIGMOD Rec."},{"key":"8_CR5","doi-asserted-by":"publisher","unstructured":"Akers: Binary decision diagrams (1978). https:\/\/doi.org\/10.1109\/TC.1978.1675141","DOI":"10.1109\/TC.1978.1675141"},{"key":"8_CR6","doi-asserted-by":"publisher","unstructured":"Bancilhon, F.: Naive Evaluation of Recursively Defined Relations, pp. 165\u2013178. Springer, New York (1986). https:\/\/doi.org\/10.1007\/978-1-4612-4980-1_17","DOI":"10.1007\/978-1-4612-4980-1_17"},{"key":"8_CR7","doi-asserted-by":"publisher","unstructured":"Bauleo, E., Carnevale, S., Catarci, T., Kimani, S., Leva, M., Mecella, M.: Design, realization and user evaluation of the smartvortex visual query system for accessing data streams in industrial engineering applications. J. Vis. Lang. Comput. 25(5), 577\u2013601 (2014). https:\/\/doi.org\/10.1016\/j.jvlc.2014.08.002. https:\/\/www.sciencedirect.com\/science\/article\/pii\/S1045926X14000652","DOI":"10.1016\/j.jvlc.2014.08.002"},{"key":"8_CR8","doi-asserted-by":"publisher","unstructured":"Bryant: Graph-based algorithms for Boolean function manipulation. IEEE Trans. Comput. C-35(8), 677\u2013691 (1986). https:\/\/doi.org\/10.1109\/TC.1986.1676819","DOI":"10.1109\/TC.1986.1676819"},{"key":"8_CR9","doi-asserted-by":"publisher","unstructured":"Bryant, R.E.: Binary Decision Diagrams, pp. 191\u2013217. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-10575-8_7","DOI":"10.1007\/978-3-319-10575-8_7"},{"issue":"4","key":"8_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3333501","volume":"52","author":"ZB Celik","year":"2019","unstructured":"Celik, Z.B., Fernandes, E., Pauley, E., Tan, G., McDaniel, P.: Program analysis of commodity IoT applications for security and privacy. ACM Comput. Surv. 52(4), 1\u201330 (2019). https:\/\/doi.org\/10.1145\/3333501","journal-title":"ACM Comput. Surv."},{"key":"8_CR11","doi-asserted-by":"publisher","unstructured":"Celik, Z.B., Tan, G., McDaniel, P.: Iotguard: dynamic enforcement of security and safety policy in commodity IoT. In: Proceedings 2019 Network and Distributed System Security Symposium (2019). https:\/\/doi.org\/10.14722\/ndss.2019.23326","DOI":"10.14722\/ndss.2019.23326"},{"key":"8_CR12","doi-asserted-by":"crossref","unstructured":"Chatzopoulou, G., Eirinaki, M., Polyzotis, N.: Query recommendations for interactive database exploration (2009)","DOI":"10.1007\/978-3-642-02279-1_2"},{"key":"8_CR13","doi-asserted-by":"publisher","unstructured":"Ding, W., Hu, H., Cheng, L.: Iotsafe: enforcing safety and security policy with real IoT physical interaction discovery. In: Proceedings 2021 Network and Distributed System Security Symposium (2021). https:\/\/doi.org\/10.14722\/ndss.2021.24368","DOI":"10.14722\/ndss.2021.24368"},{"issue":"1","key":"8_CR14","doi-asserted-by":"publisher","DOI":"10.1016\/j.hcc.2021.100004","volume":"1","author":"Z Fang","year":"2021","unstructured":"Fang, Z., et al.: A model checking-based security analysis framework for IoT systems. High-Confidence Comput. 1(1), 100004 (2021). https:\/\/doi.org\/10.1016\/j.hcc.2021.100004","journal-title":"High-Confidence Comput."},{"key":"8_CR15","unstructured":"Fogel, A., et al.: A general approach to network configuration analysis. In: 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2015), pp. 469\u2013483. USENIX Association, Oakland, CA (2015). https:\/\/www.usenix.org\/conference\/nsdi15\/technical-sessions\/presentation\/fogel"},{"key":"8_CR16","unstructured":"Grahne, G., Onet, A., Tartal, N.: Conditional tables in practice. arXiv abs\/1304.0959 (2013). https:\/\/api.semanticscholar.org\/CorpusID:8798537"},{"key":"8_CR17","unstructured":"Group, P.G.D.: (2023). https:\/\/www.postgresql.org\/"},{"key":"8_CR18","unstructured":"Guilly, M.L., Petit, J.M., Scuturici, V.M.: SQL query completion for data exploration (2018)"},{"key":"8_CR19","doi-asserted-by":"publisher","unstructured":"Guo, D., Chen, S., Gao, K., Xiang, Q., Zhang, Y., Yang, Y.R.: Flash: fast, consistent data plane verification for large-scale network settings. In: Proceedings of the ACM SIGCOMM 2022 Conference, SIGCOMM 2022, pp. 314\u2013335. Association for Computing Machinery, New York (2022). https:\/\/doi.org\/10.1145\/3544216.3544246","DOI":"10.1145\/3544216.3544246"},{"key":"8_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/11785477_2","volume-title":"ECOOP 2006 \u2013 Object-Oriented Programming","author":"E Hajiyev","year":"2006","unstructured":"Hajiyev, E., Verbaere, M., de Moor, O.: codeQuest: scalable source code queries with datalog. In: Thomas, D. (ed.) ECOOP 2006. LNCS, vol. 4067, pp. 2\u201327. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11785477_2"},{"key":"8_CR21","unstructured":"IFTTT: automate business and home (2023). https:\/\/ifttt.com\/"},{"key":"8_CR22","doi-asserted-by":"publisher","unstructured":"Imielnski, T., Lipski, W.: Incomplete information in relational databases. In: Mylopolous, J., Brodie, M. (eds.) Readings in Artificial Intelligence and Databases, pp. 342\u2013360. Morgan Kaufmann, San Francisco (CA) (1989). https:\/\/doi.org\/10.1016\/B978-0-934613-53-8.50027-3. https:\/\/www.sciencedirect.com\/science\/article\/pii\/B9780934613538500273","DOI":"10.1016\/B978-0-934613-53-8.50027-3"},{"key":"8_CR23","unstructured":"Ivmai: The cudd package. https:\/\/github.com\/ivmai\/cudd"},{"key":"8_CR24","doi-asserted-by":"publisher","unstructured":"Jayakanth, J.J., Elumalai, P., Ovean, S., Hariharan, N.R., Mohammed Riyas, A.: Lora based wireless sensor network for environmental monitoring - dataset (2021). https:\/\/doi.org\/10.21227\/2g7j-e111","DOI":"10.21227\/2g7j-e111"},{"key":"8_CR25","doi-asserted-by":"publisher","unstructured":"Jin, C., Bhowmick, S.S., Choi, B., Zhou, S.: Prague: towards blending practical visual subgraph query formulation and query processing. In: 2012 IEEE 28th International Conference on Data Engineering, pp. 222\u2013233 (2012). https:\/\/doi.org\/10.1109\/ICDE.2012.49","DOI":"10.1109\/ICDE.2012.49"},{"key":"8_CR26","doi-asserted-by":"publisher","unstructured":"Lam, M.S., et al.: Context-sensitive program analysis as database queries. In: Proceedings of the Twenty-Fourth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2005, pp. 1\u201312. Association for Computing Machinery, New York (2005). https:\/\/doi.org\/10.1145\/1065167.1065169","DOI":"10.1145\/1065167.1065169"},{"key":"8_CR27","doi-asserted-by":"publisher","unstructured":"Lan, F., Gui, B., Wang, A.: Faur\u00e9: a partial approach to network analysis. In: Proceedings of the Twentieth ACM Workshop on Hot Topics in Networks, HotNets 2021, pp. 123\u2013131. Association for Computing Machinery, New York (2021). https:\/\/doi.org\/10.1145\/3484266.3487391","DOI":"10.1145\/3484266.3487391"},{"key":"8_CR28","unstructured":"Li, J., et al.: Can LLM already serve as a database interface? A big bench for large-scale database grounded text-to-SQLs (2023)"},{"issue":"11","key":"8_CR29","doi-asserted-by":"publisher","first-page":"87","DOI":"10.1145\/1592761.1592785","volume":"52","author":"BT Loo","year":"2009","unstructured":"Loo, B.T., et al.: Declarative networking. Commun. ACM 52(11), 87\u201395 (2009). https:\/\/doi.org\/10.1145\/1592761.1592785","journal-title":"Commun. ACM"},{"key":"8_CR30","unstructured":"Lopes, N.P., Bj\u00f8rner, N., Godefroid, P., Jayaraman, K., Varghese, G.: Checking beliefs in dynamic networks. In: 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 2015), pp. 499\u2013512. USENIX Association, Oakland, CA (2015). https:\/\/www.usenix.org\/conference\/nsdi15\/technical-sessions\/presentation\/lopes"},{"key":"8_CR31","unstructured":"Microsoft: (2023). https:\/\/microsoft.github.io\/z3guide\/docs\/logic\/intro\/"},{"key":"8_CR32","doi-asserted-by":"publisher","unstructured":"Nguyen, D.T., Song, C., Qian, Z., Krishnamurthy, S.V., Colbert, E.J., McDaniel, P.: Iotsan. In: Proceedings of the 14th International Conference on emerging Networking EXperiments and Technologies (2018). https:\/\/doi.org\/10.1145\/3281411.3281440","DOI":"10.1145\/3281411.3281440"},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Obaido, G., Ade-Ibijola, A., Vadapalli, H.: Generating SQL queries from visual specifications (2019)","DOI":"10.1007\/978-3-030-05813-5_21"},{"key":"8_CR34","doi-asserted-by":"publisher","unstructured":"Seo, J., Guo, S., Lam, M.S.: Socialite: datalog extensions for efficient social network analysis. In: 2013 IEEE 29th International Conference on Data Engineering (ICDE), pp. 278\u2013289 (2013). https:\/\/doi.org\/10.1109\/ICDE.2013.6544832","DOI":"10.1109\/ICDE.2013.6544832"},{"key":"8_CR35","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/978-3-642-24206-9_14","volume-title":"Datalog Reloaded","author":"Y Smaragdakis","year":"2011","unstructured":"Smaragdakis, Y., Bravenboer, M.: Using datalog for fast and easy program analysis. In: de Moor, O., Gottlob, G., Furche, T., Sellers, A. (eds.) Datalog Reloaded, pp. 245\u2013251. Springer, Heidelberg (2011)"},{"key":"8_CR36","doi-asserted-by":"publisher","unstructured":"Soares, D., Dias, J.P., Restivo, A., Ferreira, H.S.: Programming IoT-spaces: a user-survey on home automation rules. In: Computational Science \u2013 ICCS 2021, pp. 512\u2013525 (2021). https:\/\/doi.org\/10.1007\/978-3-030-77970-2_39","DOI":"10.1007\/978-3-030-77970-2_39"},{"key":"8_CR37","doi-asserted-by":"publisher","unstructured":"Soylu, A., Giese, M., Jimenez-Ruiz, E., Vega-Gorgojo, G., Horrocks, I.: Experiencing optiquevqs: a multi-paradigm and ontology-based visual query system for end users. Univers. Access Inf. Soc. 15(1), 129\u2013152 (2016). https:\/\/doi.org\/10.1007\/s10209-015-0404-5","DOI":"10.1007\/s10209-015-0404-5"},{"key":"8_CR38","unstructured":"Vailshery, L.S.: IoT connected devices worldwide 2019\u20132030 (2023). https:\/\/www.statista.com\/statistics\/1183457\/iot-connected-devices-worldwide\/"},{"key":"8_CR39","doi-asserted-by":"crossref","unstructured":"Wang, B., Shin, R., Liu, X., Polozov, O., Richardson, M.: Rat-SQL: relation-aware schema encoding and linking for text-to-sql parsers (2021)","DOI":"10.18653\/v1\/2020.acl-main.677"},{"key":"8_CR40","doi-asserted-by":"crossref","unstructured":"Wang, J., Balazinska, M., Halperin, D.: Asynchronous and fault-tolerant recursive datalog evaluation in shared-nothing engines. Proc. VLDB Endow. 8, 1542\u20131553 (2015). https:\/\/api.semanticscholar.org\/CorpusID:7191222","DOI":"10.14778\/2824032.2824052"},{"key":"8_CR41","doi-asserted-by":"crossref","unstructured":"Yu, T., Li, Z., Zhang, Z., Zhang, R., Radev, D.: Typesql: knowledge-based type-aware neural text-to-sql generation (2018)","DOI":"10.18653\/v1\/N18-2093"}],"container-title":["Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering","Mobile and Ubiquitous Systems: Computing, Networking and Services"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-10554-7_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T01:55:51Z","timestamp":1767318951000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-10554-7_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032105530","9783032105547"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-10554-7_8","relation":{},"ISSN":["1867-8211","1867-822X"],"issn-type":[{"value":"1867-8211","type":"print"},{"value":"1867-822X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"2 January 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MobiQuitous","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Mobile and Ubiquitous Systems: Computing, Networking, and Services","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oslo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 November 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 November 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"mobiquitous2024a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/mobiquitous.eai-conferences.org\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}