{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T03:23:14Z","timestamp":1779074594141,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,9]]},"DOI":"10.1145\/3167132.3167338","type":"proceedings-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T13:54:10Z","timestamp":1530626050000},"page":"1925-1933","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":39,"title":["TeSSLa"],"prefix":"10.1145","author":[{"given":"Martin","family":"Leucker","sequence":"first","affiliation":[{"name":"Univ. of L\u00fcbeck, Germany"}]},{"given":"C\u00e9sar","family":"S\u00e1nchez","sequence":"additional","affiliation":[{"name":"IMDEA Software Inst., Spain"}]},{"given":"Torben","family":"Scheffel","sequence":"additional","affiliation":[{"name":"Univ. of L\u00fcbeck, Germany"}]},{"given":"Malte","family":"Schmitz","sequence":"additional","affiliation":[{"name":"Univ. of L\u00fcbeck, Germany"}]},{"given":"Alexander","family":"Schramm","sequence":"additional","affiliation":[{"name":"IMDEA Software Inst., Spain"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227602"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/506147.506151"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24622-0_5"},{"key":"e_1_3_2_1_4_1","volume-title":"NASA Formal Methods (NFM)","author":"Bauer Andreas","unstructured":"Andreas Bauer and Martin Leucker . 2011. The Theory and Practice of SALT . In NASA Formal Methods (NFM) . Springer , 13--40. Andreas Bauer and Martin Leucker. 2011. The Theory and Practice of SALT. In NASA Formal Methods (NFM). Springer, 13--40."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"e_1_3_2_1_6_1","volume-title":"language, and interaction: essays in honour of Robin Milner","author":"Berry G\u00e9rard","unstructured":"G\u00e9rard Berry . 2000. Proof , language, and interaction: essays in honour of Robin Milner . MIT Press , Chapter The foundations of Esterel, 425--454. G\u00e9rard Berry. 2000. Proof, language, and interaction: essays in honour of Robin Milner. MIT Press, Chapter The foundations of Esterel, 425--454."},{"key":"e_1_3_2_1_7_1","volume-title":"Proc. RV'14 (LNCS)","author":"Bozelli Laura","unstructured":"Laura Bozelli and C\u00e9sar S\u00e1nchez . 2014. Foundations of Boolean Stream Runtime Verification . In In Proc. RV'14 (LNCS) , Vol. 8734 . Springer , 64--79. Laura Bozelli and C\u00e9sar S\u00e1nchez. 2014. Foundations of Boolean Stream Runtime Verification. In In Proc. RV'14 (LNCS), Vol. 8734. Springer, 64--79."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/232627.232651"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2005.26"},{"key":"e_1_3_2_1_10_1","volume-title":"Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems. In 20th Brazilian Symposium on Formal Methods (SBMF","author":"Decker Normann","year":"2017","unstructured":"Normann Decker , Philip Gottschling , Christian Hochberger , Martin Leucker , Torben Scheffel , Malte Schmitz , and Alexander Weiss . 2017 . Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems. In 20th Brazilian Symposium on Formal Methods (SBMF 2017). Springer. Normann Decker, Philip Gottschling, Christian Hochberger, Martin Leucker, Torben Scheffel, Malte Schmitz, and Alexander Weiss. 2017. Rapidly Adjustable Non-Intrusive Online Monitoring for Multi-core Systems. In 20th Brazilian Symposium on Formal Methods (SBMF 2017). Springer."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33386-6_9"},{"key":"e_1_3_2_1_12_1","volume-title":"Proc. of CAV'03 (LNCS 2725)","author":"Eisner Cindy","unstructured":"Cindy Eisner , Dana Fisman , John Havlicek , Yoad Lustig , Anthony McIsaac , and David Van Campenhout . 2003. Reasoning with Temporal Logic on Truncated Paths . In Proc. of CAV'03 (LNCS 2725) , Vol. 2725 . Springer , 27--39. Cindy Eisner, Dana Fisman, John Havlicek, Yoad Lustig, Anthony McIsaac, and David Van Campenhout. 2003. Reasoning with Temporal Logic on Truncated Paths. In Proc. of CAV'03 (LNCS 2725), Vol. 2725. Springer, 27--39."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_14_1","volume-title":"Paul Le Guernic, and L\u00f6ic Besnard","author":"Gautier Thierry","year":"1987","unstructured":"Thierry Gautier , Paul Le Guernic, and L\u00f6ic Besnard . 1987 . SIGNAL : A declarative language for synchronous programming of real-time systems. In Proc. of FPCA'87 (LNCS 274). Springer , 257--277. Thierry Gautier, Paul Le Guernic, and L\u00f6ic Besnard. 1987. SIGNAL: A declarative language for synchronous programming of real-time systems. In Proc. of FPCA'87 (LNCS 274). Springer, 257--277."},{"key":"e_1_3_2_1_15_1","volume-title":"Goodloe and Lee Pike","author":"Alwyn","year":"2010","unstructured":"Alwyn E. Goodloe and Lee Pike . 2010 . Monitoring distributed real-time systems: A survey and future directions. Technical Report. NASA Langley Research Center . Alwyn E. Goodloe and Lee Pike. 2010. Monitoring distributed real-time systems: A survey and future directions. Technical Report. NASA Langley Research Center."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/41625.41641"},{"key":"e_1_3_2_1_17_1","volume-title":"Proc. of VSTTE'05 (LNCS 4171)","author":"Havelund Klaus","year":"2005","unstructured":"Klaus Havelund and Allen Goldberg . 2005 . Verify your runs . In Proc. of VSTTE'05 (LNCS 4171) . Springer, 374--383. Klaus Havelund and Allen Goldberg. 2005. Verify your runs. In Proc. of VSTTE'05 (LNCS 4171). Springer, 374--383."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/646486.694486"},{"key":"e_1_3_2_1_19_1","volume-title":"A Universal Modular ACTOR Formalism for Artificial Intelligence. IJCAI","author":"Hewitt Carl","year":"1973","unstructured":"Carl Hewitt , Peter Bishop , and Richard Steiger . 1973. A Universal Modular ACTOR Formalism for Artificial Intelligence. IJCAI ( 1973 ), 235--245. Carl Hewitt, Peter Bishop, and Richard Steiger. 1973. A Universal Modular ACTOR Formalism for Artificial Intelligence. IJCAI (1973), 235--245."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2015.7340489"},{"key":"e_1_3_2_1_21_1","volume-title":"Quantitative Monitoring of STL with Edit Distance. In Prov. of RV'16 (LNCS)","volume":"10012","author":"Jaksic Stefan","year":"2016","unstructured":"Stefan Jaksic , Ezio Bartocci , Radu Grosu , and Dejan Nickovic . 2016 . Quantitative Monitoring of STL with Edit Distance. In Prov. of RV'16 (LNCS) , Vol. 10012 . 201--218. Stefan Jaksic, Ezio Bartocci, Radu Grosu, and Dejan Nickovic. 2016. Quantitative Monitoring of STL with Edit Distance. In Prov. of RV'16 (LNCS), Vol. 10012. 201--218."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_4"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Oded Maler and Dejan Nickovic. 2004. Monitoring Temporal Properties of Continuous Signals. In FTRTFT. 152--166.  Oded Maler and Dejan Nickovic. 2004. Monitoring Temporal Properties of Continuous Signals. In FTRTFT. 152--166.","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"e_1_3_2_1_25_1","volume-title":"Temporal Verification of Reactive Systems: Safety","author":"Manna Zohar","unstructured":"Zohar Manna and Amir Pnueli . 1995. Temporal Verification of Reactive Systems: Safety . Springer , New York . Zohar Manna and Amir Pnueli. 1995. Temporal Verification of Reactive Systems: Safety. Springer, New York."},{"key":"e_1_3_2_1_26_1","volume-title":"Copilot: A Hard Real-Time Runtime Monitor. In Proc. of RV'10 (LNCS 6418)","author":"Pike Lee","year":"2010","unstructured":"Lee Pike , Alwyn Goodloe , Robin Morisset , and Sebastian Niller . 2010 . Copilot: A Hard Real-Time Runtime Monitor. In Proc. of RV'10 (LNCS 6418) . Springer . Lee Pike, Alwyn Goodloe, Robin Morisset, and Sebastian Niller. 2010. Copilot: A Hard Real-Time Runtime Monitor. In Proc. of RV'10 (LNCS 6418). Springer."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/11813040_38"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-005-6205-y"},{"key":"e_1_3_2_1_29_1","volume-title":"Proc. of CAV'17 (LNCS)","author":"Selyunin Konstantin","unstructured":"Konstantin Selyunin , Stefan Jaksic , Thang Nguyen , Christian Reidl , Udo Hafner , Ezio Bartocci , Dejan Nickovic , and Radu Grosu . 2017. Runtime Monitoring with Recovery of the SENT Communication Protocol . In Proc. of CAV'17 (LNCS) , Vol. 10426 . Springer , 336--355. Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, and Radu Grosu. 2017. Runtime Monitoring with Recovery of the SENT Communication Protocol. In Proc. of CAV'17 (LNCS), Vol. 10426. Springer, 336--355."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46982-9_30"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)81051-X"}],"event":{"name":"SAC 2018: Symposium on Applied Computing","location":"Pau France","acronym":"SAC 2018","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"]},"container-title":["Proceedings of the 33rd Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167338","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167132.3167338","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:27:00Z","timestamp":1750213620000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167338"}},"subtitle":["runtime verification of non-synchronized real-time streams"],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":31,"alternative-id":["10.1145\/3167132.3167338","10.1145\/3167132"],"URL":"https:\/\/doi.org\/10.1145\/3167132.3167338","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]},"assertion":[{"value":"2018-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}