{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,11]],"date-time":"2026-06-11T08:14:14Z","timestamp":1781165654622,"version":"3.54.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,8,1]],"date-time":"2023-08-01T00:00:00Z","timestamp":1690848000000},"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":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2023,8]]},"DOI":"10.1007\/s10009-023-00718-x","type":"journal-article","created":{"date-parts":[[2023,11,2]],"date-time":"2023-11-02T13:02:13Z","timestamp":1698930133000},"page":"541-556","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Predicate monitoring in distributed cyber-physical systems"],"prefix":"10.1007","volume":"25","author":[{"given":"Anik","family":"Momtaz","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Niraj","family":"Basnet","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Houssam","family":"Abbas","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Borzoo","family":"Bonakdarpour","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,11,2]]},"reference":[{"key":"718_CR1","doi-asserted-by":"crossref","first-page":"155","DOI":"10.1109\/MEMCOD.2014.6961854","volume-title":"2014 Twelfth ACM\/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE)","author":"H. Abbas","year":"2014","unstructured":"Abbas, H., Mittelmann, H., Fainekos, G.: Formal property verification in a conformance testing framework. In: 2014 Twelfth ACM\/IEEE Conference on Formal Methods and Models for Codesign (MEMOCODE), pp.\u00a0155\u2013164. IEEE (2014)"},{"issue":"2","key":"718_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A theory of timed automata. Theor. Comput. Sci. 126(2), 183\u2013235 (1994)","journal-title":"Theor. Comput. Sci."},{"key":"718_CR3","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"254","DOI":"10.1007\/978-3-642-19835-9_21","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Y.S.R. Annapureddy","year":"2011","unstructured":"Annapureddy, Y.S.R., Liu, C., Fainekos, G.E., Sankaranarayanan, S.: S-taliro: a tool for temporal logic falsification for hybrid systems. In: Tools and Algorithms for the Construction and Analysis of Systems. LNCS, vol.\u00a06605, pp.\u00a0254\u2013257. Springer, Berlin (2011)"},{"issue":"1\u20132","key":"718_CR4","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/s10703-016-0253-8","volume":"48","author":"A. Bauer","year":"2016","unstructured":"Bauer, A., Falcone, Y.: Decentralised LTL monitoring. Form. Methods Syst. Des. 48(1\u20132), 46\u201393 (2016)","journal-title":"Form. Methods Syst. Des."},{"key":"718_CR5","volume-title":"The Tenth International Conference on Sensor Technologies and Applications. Thinkmind","author":"M. Benndorf","year":"2016","unstructured":"Benndorf, M., Haenselmann, T.: Time synchronization on Android devices for mobile construction assessment. In: The Tenth International Conference on Sensor Technologies and Applications. Thinkmind (2016)"},{"key":"718_CR6","first-page":"16:1","volume-title":"Proceedings of the 27th International Conference on Concurrency Theory (CONCUR)","author":"B. Bonakdarpour","year":"2016","unstructured":"Bonakdarpour, B., Fraigniaud, P., Rajsbaum, S., Rosenblueth, D.A., Travers, C.: Decentralized asynchronous crash-resilient runtime verification. In: Proceedings of the 27th International Conference on Concurrency Theory (CONCUR), pp.\u00a016:1\u201316:15 (2016)"},{"issue":"1","key":"718_CR7","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1145\/214451.214456","volume":"3","author":"K.M. Chandy","year":"1985","unstructured":"Chandy, K.M., Lamport, L.: Distributed snapshots: determining global states of distributed systems. ACM Trans. Comput. Syst. 3(1), 63\u201375 (1985)","journal-title":"ACM Trans. Comput. Syst."},{"key":"718_CR8","first-page":"101","volume-title":"Proceedings of the 32nd IEEE Symposium on Reliable Distributed Systems (SRDS)","author":"H. Chauhan","year":"2013","unstructured":"Chauhan, H., Garg, V.K., Natarajan, A., Mittal, N.: A distributed abstraction algorithm for online predicate detection. In: Proceedings of the 32nd IEEE Symposium on Reliable Distributed Systems (SRDS), pp.\u00a0101\u2013110 (2013)"},{"key":"718_CR9","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-030-32079-9_10","volume-title":"Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8\u201311, 2019, Proceedings","author":"A. Cimatti","year":"2019","unstructured":"Cimatti, A., Tian, C., Tonetta, S.: Assumption-based runtime verification with partial observability and resets. In: Runtime Verification: 19th International Conference, RV 2019, Porto, Portugal, October 8\u201311, 2019, Proceedings, pp.\u00a0165\u2013184. Springer (2019)"},{"issue":"1\u20132","key":"718_CR10","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/s10703-016-0251-x","volume":"49","author":"C. Colombo","year":"2016","unstructured":"Colombo, C., Falcone, Y.: Organising LTL monitors over distributed systems with a global clock. Form. Methods Syst. Des. 49(1\u20132), 109\u2013158 (2016)","journal-title":"Form. Methods Syst. Des."},{"key":"718_CR11","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/978-3-030-32079-9_11","volume-title":"Proceedings of the 19th International Conference on Runtime Verification (RV)","author":"L.M. Danielsson","year":"2019","unstructured":"Danielsson, L.M., S\u00e1nchez, C.: Decentralized stream runtime verification. In: Proceedings of the 19th International Conference on Runtime Verification (RV), pp.\u00a0185\u2013201 (2019)"},{"key":"718_CR12","first-page":"337","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS)","author":"L.M. de Moura","year":"2008","unstructured":"de Moura, L.M., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp.\u00a0337\u2013340 (2008)"},{"issue":"1","key":"718_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10703-017-0286-7","volume":"51","author":"J.V. Deshmukh","year":"2017","unstructured":"Deshmukh, J.V., Donz\u00e9, A., Ghosh, S., Jin, X., Juniwal, G., Seshia, S.A.: Robust online monitoring of signal temporal logic. Form. Methods Syst. Des. 51(1), 5\u201330 (2017)","journal-title":"Form. Methods Syst. Des."},{"key":"718_CR14","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1007\/978-3-319-11164-3_19","volume-title":"Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings 5","author":"A. Dokhanchi","year":"2014","unstructured":"Dokhanchi, A., Hoxha, B., Fainekos, G.: On-line monitoring for temporal logic robustness. In: Runtime Verification: 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings 5, pp.\u00a0231\u2013246. Springer, Berlin (2014)"},{"key":"718_CR15","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-642-15297-9_9","volume-title":"Proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS)","author":"A. Donz\u00e9","year":"2010","unstructured":"Donz\u00e9, A., Maler, O.: Robust satisfaction of temporal logic over real-valued signals. In: Proceedings of the 8th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), pp.\u00a092\u2013106 (2010)"},{"key":"718_CR16","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/978-3-642-39799-8_19","volume-title":"Proceedings of the 25th International Conference on Computer Aided Verification (CAV)","author":"A. Donz\u00e9","year":"2013","unstructured":"Donz\u00e9, A., Ferr\u00e8re, T., Maler, O.: Efficient robust monitoring for STL. In: Proceedings of the 25th International Conference on Computer Aided Verification (CAV), pp.\u00a0264\u2013279 (2013)"},{"key":"718_CR17","unstructured":"Drone Life: FAA UTM project: Decentralized UAS traffic management demonstration, September 2019. https:\/\/dronelife.com\/2019\/09\/09\/decentralized-uas-traffic-management-demonstration"},{"key":"718_CR18","unstructured":"FAA. DOT UAS initiatives, April 2019. https:\/\/www.faa.gov\/uas\/programs_partnerships\/DOT_initiatives"},{"key":"718_CR19","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-3-540-75454-1_12","volume-title":"Proceedings of 5th International Conference on the Formal Modeling and Analysis of Timed Systems (FORMATS)","author":"G.E. Fainekos","year":"2007","unstructured":"Fainekos, G.E., Pappas, G.J.: Robust sampling for MITL specifications. In: Proceedings of 5th International Conference on the Formal Modeling and Analysis of Timed Systems (FORMATS), pp.\u00a0147\u2013162 (2007)"},{"issue":"4","key":"718_CR20","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1007\/s00446-013-0188-x","volume":"26","author":"P. Fraigniaud","year":"2013","unstructured":"Fraigniaud, P., Rajsbaum, S., Travers, C.: Locality and checkability in wait-free computing. Distrib. Comput. 26(4), 223\u2013242 (2013)","journal-title":"Distrib. Comput."},{"issue":"1","key":"718_CR21","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1007\/s41468-019-00047-6","volume":"4","author":"P. Fraigniaud","year":"2020","unstructured":"Fraigniaud, P., Rajsbaum, S., Travers, C.: A lower bound on the number of opinions needed for fault-tolerant decentralized run-time monitoring. J. Appl. Comput. Topol. 4(1), 141\u2013179 (2020)","journal-title":"J. Appl. Comput. Topol."},{"key":"718_CR22","first-page":"20:1","volume-title":"Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS)","author":"R. Ganguly","year":"2020","unstructured":"Ganguly, R., Momtaz, A., Bonakdarpour, B.: Distributed runtime verification under partial asynchrony. In: Proceedings of the 24th International Conference on Principles of Distributed Systems (OPODIS), pp.\u00a020:1\u201320:17 (2020)"},{"key":"718_CR23","first-page":"423","volume-title":"International Conference on Distributed Computing Systems","author":"V.K. Garg","year":"1995","unstructured":"Garg, V.K., Chase, C.: Distributed algorithms for detecting conjunctive predicates. In: International Conference on Distributed Computing Systems, pp.\u00a0423\u2013430 (1995)"},{"key":"718_CR24","unstructured":"Hendry-Brogan, M.: Global unmanned aerial vehicle (UAV) market report. Technical report, Technical report (May 2019)"},{"key":"718_CR25","first-page":"207","volume-title":"Proceedings of the 37th Symposium on Reliable Distributed Systems (SRDS)","author":"S. Kazemloo","year":"2018","unstructured":"Kazemloo, S., Bonakdarpour, B.: Crash-resilient decentralized synchronous runtime verification. In: Proceedings of the 37th Symposium on Reliable Distributed Systems (SRDS), pp.\u00a0207\u2013212 (2018)"},{"issue":"7","key":"718_CR26","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"issue":"4","key":"718_CR27","doi-asserted-by":"publisher","first-page":"79:1","DOI":"10.1145\/2744196","volume":"14","author":"R. Medhat","year":"2015","unstructured":"Medhat, R., Bonakdarpour, B., Kumar, D., Fischmeister, S.: Runtime monitoring of cyber-physical systems under timing and memory constraints. ACM Trans. Embed. Comput. Syst. 14(4), 79:1\u201379:29 (2015)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"718_CR28","doi-asserted-by":"crossref","unstructured":"Mills, D.: Network time protocol version 4: Protocol and algorithms specification. RFC 5905, RFC Editor, June 2010","DOI":"10.17487\/rfc5905"},{"issue":"3","key":"718_CR29","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s00446-004-0117-0","volume":"17","author":"N. Mittal","year":"2005","unstructured":"Mittal, N., Garg, V.K.: Techniques and applications of computation slicing. Distrib. Comput. 17(3), 251\u2013277 (2005)","journal-title":"Distrib. Comput."},{"key":"718_CR30","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-88494-9_1","volume-title":"Proceedings of the 21st International Conference on Runtime Verification (RV)","author":"A. Momtaz","year":"2021","unstructured":"Momtaz, A., Basnet, N., Abbas, H., Bonakdarpour, B.: Predicate monitoring in distributed cyber-physical systems. In: Proceedings of the 21st International Conference on Runtime Verification (RV), pp.\u00a03\u201322 (2021)"},{"key":"718_CR31","first-page":"494","volume-title":"Proceedings of the 29th IEEE International Parallel and Distributed Processing Symposium (IPDPS)","author":"M. Mostafa","year":"2015","unstructured":"Mostafa, M., Bonakdarpour, B.: Decentralized runtime verification of LTL specifications in distributed systems. In: Proceedings of the 29th IEEE International Parallel and Distributed Processing Symposium (IPDPS), pp.\u00a0494\u2013503 (2015)"},{"key":"718_CR32","unstructured":"National Science Foundations: Revolutionizing how we keep track of time in cyber-physical systems, June 2014. https:\/\/nsf.gov\/news\/news_summ.jsp?cntn_id=131691"},{"key":"718_CR33","first-page":"420","volume-title":"Proceedings of the 21st International Symposium on Distributed Computing (DISC)","author":"V.A. Ogale","year":"2007","unstructured":"Ogale, V.A., Garg, V.K.: Detecting temporal logic predicates on distributed computations. In: Proceedings of the 21st International Symposium on Distributed Computing (DISC), pp.\u00a0420\u2013434 (2007)"},{"key":"718_CR34","doi-asserted-by":"publisher","first-page":"1235","DOI":"10.1109\/CCTA.2017.8062628","volume-title":"2017 IEEE Conference on Control Technology and Applications (CCTA)","author":"Y.V. Pant","year":"2017","unstructured":"Pant, Y.V., Abbas, H., Mangharam, R.: Smooth operator: control using the smooth robustness of temporal logic. In: 2017 IEEE Conference on Control Technology and Applications (CCTA), pp.\u00a01235\u20131240. IEEE (2017)"},{"key":"718_CR35","first-page":"122","volume-title":"International Conference on Tests and Proofs, Bergen, Norway, June 22\u201326, 2020, Proceedings","author":"J.C. Pereira","year":"2020","unstructured":"Pereira, J.C., Machado, N., Sousa Pinto, J.: Testing for race conditions in distributed systems via SMT solving. In: International Conference on Tests and Proofs, Bergen, Norway, June 22\u201326, 2020, Proceedings, pp.\u00a0122\u2013140 (2020)"},{"key":"718_CR36","unstructured":"Quesel, J.-D.: Similarity, logic, and games: bridging modeling layers of hybrid systems. PhD thesis, Carl Von Ossietzky Universit\u00e4t Oldenburg (July 2013)"},{"key":"718_CR37","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1109\/ICSE.2004.1317464","volume-title":"Proceedings. 26th International Conference on Software Engineering","author":"K. Sen","year":"2004","unstructured":"Sen, K., Vardhan, A., Agha, G., Rosu, G.: Efficient decentralized monitoring of safety in distributed systems. In: Proceedings. 26th International Conference on Software Engineering, pp.\u00a0418\u2013427. IEEE (2004)"},{"key":"718_CR38","first-page":"277","volume-title":"Runtime Verification \u2013 17th International Conference, RV 2017, Seattle, WA, USA, September 13\u201316, 2017, Proceedings","author":"V. Tekken Valapil","year":"2017","unstructured":"Tekken Valapil, V., Yingchareonthawornchai, S., Kulkarni, S.S., Torng, E., Demirbas, M.: Monitoring partially synchronous distributed systems using SMT solvers. In: Runtime Verification \u2013 17th International Conference, RV 2017, Seattle, WA, USA, September 13\u201316, 2017, Proceedings, pp.\u00a0277\u2013293 (2017)"},{"key":"718_CR39","unstructured":"USNRC: Emergency core cooling systems, March 2021. https:\/\/www.nrc.gov\/docs\/ML1122\/ML11223A220.pdf"},{"key":"718_CR40","unstructured":"USNRC: Pressurized water reactor systems, March 2021. https:\/\/www.nrc.gov\/reading-rm\/basic-ref\/students\/for-educators\/04.pdf"},{"key":"718_CR41","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1007\/978-3-642-28891-3_37","volume-title":"NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3\u20135, 2012. Proceedings 4","author":"X. Zhang","year":"2012","unstructured":"Zhang, X., Leucker, M., Dong, W.: Runtime verification with predictive semantics. In: NASA Formal Methods: 4th International Symposium, NFM 2012, Norfolk, VA, USA, April 3\u20135, 2012. Proceedings 4, pp.\u00a0418\u2013432. Springer (2012)"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-023-00718-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-023-00718-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-023-00718-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T07:45:12Z","timestamp":1730447112000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-023-00718-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,8]]},"references-count":41,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2023,8]]}},"alternative-id":["718"],"URL":"https:\/\/doi.org\/10.1007\/s10009-023-00718-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,8]]},"assertion":[{"value":"19 September 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 November 2023","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}