{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T15:52:50Z","timestamp":1791301970355,"version":"4.1.0"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032411594","type":"print"},{"value":"9783032411600","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T00:00:00Z","timestamp":1791331200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T00:00:00Z","timestamp":1791331200000},"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":[[2027]]},"DOI":"10.1007\/978-3-032-41160-0_5","type":"book-chapter","created":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T15:02:05Z","timestamp":1791298925000},"page":"61-81","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Logical Compression: Source Coding for\u00a0Distributed Temporal Logic Monitoring"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0003-0540-5808","authenticated-orcid":false,"given":"Valdemar Tang","family":"Evans","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5325-8863","authenticated-orcid":false,"given":"Daniel","family":"Lucani","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8432-3779","authenticated-orcid":false,"given":"Hei Victor","family":"Cheng","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8035-0884","authenticated-orcid":false,"given":"Thomas","family":"Wright","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2692-9742","authenticated-orcid":false,"given":"Claudio","family":"Gomes","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2026,10,7]]},"reference":[{"key":"5_CR1","unstructured":"ISO 11898-1:2024. https:\/\/www.iso.org\/standard\/86384.html"},{"key":"5_CR2","doi-asserted-by":"publisher","unstructured":"Bartocci, E., Falcone, Y., Francalanza, A., Reger, G.: Introduction to runtime verification. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification: Introductory and Advanced Topics, pp. 1\u201333. Lecture Notes in Computer Science, Springer International Publishing, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_1","DOI":"10.1007\/978-3-319-75632-5_1"},{"key":"5_CR3","doi-asserted-by":"publisher","unstructured":"Basnet, N., Abbas, H.: Logical signal processing: a fourier analysis of temporal logic. In: Deshmukh, J., Ni\u010dkovi\u0107, D. (eds.) Runtime Verification. pp. 359\u2013382. Springer International Publishing, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-60508-7_20","DOI":"10.1007\/978-3-030-60508-7_20"},{"key":"5_CR4","doi-asserted-by":"publisher","unstructured":"Bataineh, O., Rosenblum, D.S., Reynolds, M.: Efficient decentralized LTL monitoring framework using tableau technique. ACM Trans. Embedded Comput. Syst. 18(5s), 1\u201321 (Oct 2019). https:\/\/doi.org\/10.1145\/3358219","DOI":"10.1145\/3358219"},{"key":"5_CR5","doi-asserted-by":"publisher","unstructured":"Bataineh, O., Rosenblum, D.S., Reynolds, M.: A novel decentralized LTL monitoring framework using formula progression table. In: Biondi, F., Given-Wilson, T., Legay, A. (eds.) Model Checking Software, pp. 38\u201355. Springer International Publishing, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-30923-7_3","DOI":"10.1007\/978-3-030-30923-7_3"},{"key":"5_CR6","doi-asserted-by":"publisher","unstructured":"Bauer, A., Falcone, Y.: Decentralised LTL monitoring. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012: Formal Methods, pp. 85\u2013100. Springer, Berlin, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32759-9_10","DOI":"10.1007\/978-3-642-32759-9_10"},{"key":"5_CR7","doi-asserted-by":"publisher","unstructured":"Bufo, S., Bartocci, E., Sanguinetti, G., Borelli, M., Lucangelo, U., Bortolussi, L.: Temporal logic based monitoring of assisted ventilation in intensive care patients. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, vol.\u00a08803, pp. 391\u2013403. Springer Berlin Heidelberg, Berlin, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-45231-8_30","DOI":"10.1007\/978-3-662-45231-8_30"},{"key":"5_CR8","doi-asserted-by":"publisher","unstructured":"Chalupa, M., Henzinger, T.A., Sara\u00e7, N.E., Yu, E.: Quantitative monitoring of\u00a0signal first-order logic. In: Sampaio, A., Stoelinga, M. (eds.) Formal Methods, pp. 214\u2013233. Springer Nature Switzerland, Cham (2026). https:\/\/doi.org\/10.1007\/978-3-032-26220-2_11","DOI":"10.1007\/978-3-032-26220-2_11"},{"key":"5_CR9","doi-asserted-by":"publisher","unstructured":"Colombo, C., Falcone, Y.: Organising LTL monitors over distributed systems with a global clock. Formal Methods Syst. Design 49(1), 109\u2013158 (Oct 2016). https:\/\/doi.org\/10.1007\/s10703-016-0251-x","DOI":"10.1007\/s10703-016-0251-x"},{"key":"5_CR10","unstructured":"Cover, T.M., Thomas, J.A.: Elements of Information Theory, Wiley-Interscience (2006). 2nd ed edn"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"De\u00a0Moura, L., Bj\u00f8rner, N.: Z3: An efficient SMT solver. In: Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp. 337\u2013340. TACAS\u201908\/ETAPS\u201908, Springer-Verlag, Berlin, Heidelberg (Mar 2008)","DOI":"10.1007\/978-3-540-78800-3_24"},{"key":"5_CR12","doi-asserted-by":"publisher","unstructured":"Donz\u00e9, A., Ferr\u00e8re, T., Maler, O.: Efficient robust monitoring for STL. In: Sharygina, N., Veith, H. (eds.) Computer Aided Verification, pp. 264\u2013279. Lecture Notes in Computer Science, Springer, Berlin, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39799-8_19","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"5_CR13","doi-asserted-by":"publisher","unstructured":"El-Hokayem, A., Falcone, Y.: On the Monitoring of decentralized specifications: semantics, properties, analysis, and simulation. ACM Trans. Software Engineering and Methodology 29(1), 1\u201357 (Jan 2020). https:\/\/doi.org\/10.1145\/3355181","DOI":"10.1145\/3355181"},{"key":"5_CR14","unstructured":"Evans, V.T., Lucani, D., Cheng, H.V., Wright, T., Gomes, C.: Logical compression: source coding for distributed temporal logic monitoring (Extended Version). https:\/\/pure.au.dk\/portal\/da\/publications\/logical-compression-source-coding-for-distributed-temporal-logic-"},{"key":"5_CR15","doi-asserted-by":"publisher","unstructured":"Falcone, Y.: On Decentralized Monitoring, Internation Conference on Verification and Evaluation of Computer and Communication Systems. Presented at the (2022). https:\/\/doi.org\/10.1007\/978-3-030-98850-0_1","DOI":"10.1007\/978-3-030-98850-0_1"},{"key":"5_CR16","doi-asserted-by":"publisher","unstructured":"Falcone, Y., Cornebize, T., Fernandez, J.C.: Efficient and generalized decentralized monitoring of regular languages. In: \u00c1brah\u00e1m, E., Palamidessi, C. (eds.) Formal Techniques for Distributed Objects, Components, and Systems, pp. 66\u201383. Springer, Berlin, Heidelberg (2014). https:\/\/doi.org\/10.1007\/978-3-662-43613-4_5","DOI":"10.1007\/978-3-662-43613-4_5"},{"key":"5_CR17","doi-asserted-by":"publisher","unstructured":"Francalanza, A., P\u00e9rez, J.A., S\u00e1nchez, C.: Runtime verification for decentralised and distributed systems. In: Bartocci, E., Falcone, Y. (eds.) Lectures on Runtime Verification, vol. 10457, pp. 176\u2013210. Springer International Publishing, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-75632-5_6","DOI":"10.1007\/978-3-319-75632-5_6"},{"key":"5_CR18","doi-asserted-by":"publisher","unstructured":"Ganguly, R., Kazemloo, S., Bonakdarpour, B.: Crash-resilient decentralized synchronous runtime verification. IEEE Trans. Dependable Secure Comput. 21(3), 1017\u20131031 (May 2021). https:\/\/doi.org\/10.1109\/TDSC.2023.3265566","DOI":"10.1109\/TDSC.2023.3265566"},{"key":"5_CR19","doi-asserted-by":"publisher","unstructured":"Ganguly, R., Momtaz, A., Bonakdarpour, B.: Distributed Runtime Verification Under Partial Synchrony. LIPIcs, Volume 184, OPODIS 2020 184, 20:1\u201320:17 (2021). https:\/\/doi.org\/10.4230\/LIPICS.OPODIS.2020.20","DOI":"10.4230\/LIPICS.OPODIS.2020.20"},{"key":"5_CR20","doi-asserted-by":"publisher","unstructured":"Ganguly, R., et al.: Distributed runtime verification of metric temporal properties for cross-chain protocols. In: 2022 IEEE 42nd International Conference on Distributed Computing Systems (ICDCS), pp. 23\u201333. (2022). https:\/\/doi.org\/10.1109\/ICDCS54860.2022.00012","DOI":"10.1109\/ICDCS54860.2022.00012"},{"issue":"9","key":"5_CR21","doi-asserted-by":"publisher","first-page":"1098","DOI":"10.1109\/JRPROC.1952.273898","volume":"40","author":"DA Huffman","year":"1952","unstructured":"Huffman, D.A.: A method for the construction of minimum-redundancy codes. Proc. IRE 40(9), 1098\u20131101 (1952). https:\/\/doi.org\/10.1109\/JRPROC.1952.273898","journal-title":"Proc. IRE"},{"issue":"4","key":"5_CR22","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Syst. 2(4), 255\u2013299 (1990). https:\/\/doi.org\/10.1007\/BF01995674","journal-title":"Real-Time Syst."},{"key":"5_CR23","doi-asserted-by":"publisher","unstructured":"Lid\u00e9n\u00a0Eddeland, J., Donz\u00e9, A., Miremadi, S., \u00c5kesson, K.: Industrial temporal logic specifications for falsification of cyber-physical systems. In: ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), pp. 267\u2013258. https:\/\/doi.org\/10.29007\/r74f","DOI":"10.29007\/r74f"},{"key":"5_CR24","doi-asserted-by":"publisher","unstructured":"Maler, O., Nickovic, D.: Monitoring temporal properties of continuous signals. In: Lakhnech, Y., Yovine, S. (eds.) Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, pp. 152\u2013166. Lecture Notes in Computer Science, Springer, Berlin, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30206-3_12","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"5_CR25","doi-asserted-by":"publisher","unstructured":"Moffat, A.: Huffman Coding. ACM Comput. Surv. 52(4), 85:1\u201385:35 (Aug 2019). https:\/\/doi.org\/10.1145\/3342555","DOI":"10.1145\/3342555"},{"key":"5_CR26","doi-asserted-by":"publisher","unstructured":"Momtaz, A., Abbas, H., Bonakdarpour, B.: Monitoring signal temporal logic in distributed cyber-physical systems. In: Proceedings of the ACM\/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023), pp. 154\u2013165. ACM, San Antonio TX USA (2023). https:\/\/doi.org\/10.1145\/3576841.3585937","DOI":"10.1145\/3576841.3585937"},{"key":"5_CR27","doi-asserted-by":"publisher","unstructured":"Mostafa, M., Bonakdarpour, B.: Decentralized runtime verification of LTL specifications in distributed systems. In: IEEE International Parallel and Distributed Processing Symposium, pp. 494\u2013503 (2015). https:\/\/doi.org\/10.1109\/IPDPS.2015.95","DOI":"10.1109\/IPDPS.2015.95"},{"key":"5_CR28","doi-asserted-by":"publisher","unstructured":"Pnueli, A.: The temporal logic of programs. In: 18th Annual Symposium on Foundations of Computer Science (Sfcs, pp. 46\u201357. (1977). https:\/\/doi.org\/10.1109\/SFCS.1977.32","DOI":"10.1109\/SFCS.1977.32"},{"key":"5_CR29","doi-asserted-by":"publisher","unstructured":"Raman, V., Maasoumy, M., Donz\u00e9, A.: Model predictive control from signal temporal logic specifications: A case study. In: Proceedings of the 4th ACM SIGBED International Workshop on Design, Modeling, and Evaluation of Cyber-Physical Systems, pp. 52\u201355. CyPhy \u201914, Association for Computing Machinery, New York, NY, USA (Apr 2014). https:\/\/doi.org\/10.1145\/2593458.2593472","DOI":"10.1145\/2593458.2593472"},{"key":"5_CR30","doi-asserted-by":"publisher","unstructured":"Sahin, Y.E., Quirynen, R., Cairano, S.D.: Autonomous vehicle decision-making and monitoring based on signal temporal logic and mixed-integer programming. In: 2020 American Control Conference (ACC), pp. 454\u2013459. (2020). https:\/\/doi.org\/10.23919\/ACC45564.2020.9147917","DOI":"10.23919\/ACC45564.2020.9147917"},{"key":"5_CR31","doi-asserted-by":"publisher","unstructured":"Vitter, J.S.: Design and analysis of dynamic Huffman coding. In: 26th Annual Symposium on Foundations of Computer Science (Sfcs 1985), pp. 293\u2013302 (Oct 1985). https:\/\/doi.org\/10.1109\/SFCS.1985.18","DOI":"10.1109\/SFCS.1985.18"},{"key":"5_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-023-00720-3","author":"T Yamaguchi","year":"2023","unstructured":"Yamaguchi, T., Hoxha, B., Ni\u010dkovi\u0107, D.: RTAMT - runtime robustness monitors with application to CPS and robotics. Int. J. Softw. Tools Technol. Transfer (2023). https:\/\/doi.org\/10.1007\/s10009-023-00720-3","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"5_CR33","doi-asserted-by":"publisher","unstructured":"Zhang, F., Kelly, K.: Overview and recommendations for cyber risk assessment in nuclear power plants. Nucl. Technol. 209(3), 488\u2013502 (2023). https:\/\/doi.org\/10.1080\/00295450.2022.2092356","DOI":"10.1080\/00295450.2022.2092356"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-41160-0_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,6]],"date-time":"2026-10-06T15:02:06Z","timestamp":1791298926000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-41160-0_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,10,7]]},"ISBN":["9783032411594","9783032411600"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-41160-0_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,10,7]]},"assertion":[{"value":"7 October 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Runtime Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Kingston","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 October 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 October 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rv2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/rv2026.smithengineering.queensu.ca\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}