{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,9,28]],"date-time":"2023-09-28T23:10:11Z","timestamp":1695942611366},"reference-count":30,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T00:00:00Z","timestamp":1624924800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2021,8]]},"DOI":"10.1007\/s10009-021-00627-x","type":"journal-article","created":{"date-parts":[[2021,6,29]],"date-time":"2021-06-29T08:02:40Z","timestamp":1624953760000},"page":"565-577","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Specifying and detecting temporal patterns with shape expressions"],"prefix":"10.1007","volume":"23","author":[{"given":"Dejan","family":"Ni\u010dkovi\u0107","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xin","family":"Qin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Ferr\u00e8re","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristinel","family":"Mateis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jyotirmoy","family":"Deshmukh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,6,29]]},"reference":[{"key":"627_CR1","doi-asserted-by":"crossref","unstructured":"IEEE standard on pulse measurement and analysis by objective techniques. In: ANSI\/IEEE Std 181\u20131977 (1977). https:\/\/doi.org\/10.1109\/IEEESTD.1977.81097","DOI":"10.1109\/IEEESTD.1977.81097"},{"key":"627_CR2","doi-asserted-by":"crossref","unstructured":"Abbas H., Rodionova A., Bartocci E., Smolka S. A., Grosu R. Quantitative regular expressions for arrhythmia detection algorithms. In International Conference on Computational Methods in Systems Biology, pages 23\u201339. Springer, 2017","DOI":"10.1007\/978-3-319-67471-1_2"},{"key":"627_CR3","doi-asserted-by":"crossref","unstructured":"Alur R., Fisman D., Raghothaman M. Regular programming for quantitative properties of data streams. In European Symposium on Programming, pages 15\u201340. Springer, 2016","DOI":"10.1007\/978-3-662-49498-1_2"},{"issue":"POPL","key":"627_CR4","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/3290363","volume":"3","author":"R Alur","year":"2019","unstructured":"Alur, R., Mamouras, K., Stanford, C.: Modular quantitative monitoring. Proceedings of the ACM on Programming Languages 3(POPL), 50 (2019)","journal-title":"Proceedings of the ACM on Programming Languages"},{"key":"627_CR5","doi-asserted-by":"crossref","unstructured":"\u00c9tienne Andr\u00e9, Hasuo I., Waga M. Offline timed pattern matching under uncertainty. In 23rd International Conference on Engineering of Complex Computer Systems, ICECCS 2018, Melbourne, Australia, December 12-14, 2018, pages 10\u201320, 2018","DOI":"10.1109\/ICECCS2018.2018.00010"},{"key":"627_CR6","unstructured":"Asarin E., Caspi P., Maler O. A Kleene theorem for timed automata. In Logic in Computer Science (LICS), pages 160\u2013171, 1997"},{"issue":"2","key":"627_CR7","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1145\/506147.506151","volume":"49","author":"E Asarin","year":"2002","unstructured":"Asarin, E., Caspi, P., Maler, O.: Timed regular expressions. J. ACM 49(2), 172\u2013206 (2002)","journal-title":"J. ACM"},{"key":"627_CR8","doi-asserted-by":"crossref","unstructured":"Bakhirkin A., Ferr\u00e8re T., Maler O., Ulus D. On the quantitative semantics of regular expressions over real-valued signals. In Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pages 189\u2013206, 2017","DOI":"10.1007\/978-3-319-65765-3_11"},{"key":"627_CR9","doi-asserted-by":"crossref","unstructured":"Bakhirkin A., Ferr\u00e8re T., Nickovic D., Maler O., Asarin E. Online timed pattern matching using automata. In International Conference on Formal Modeling and Analysis of Timed Systems, pages 215\u2013232. Springer, 2018","DOI":"10.1007\/978-3-030-00151-3_13"},{"key":"627_CR10","unstructured":"D\u2019Angelo B., Sankaranarayanan S., C\u00e9sar S\u00e1nchez, Robinson W., Finkbeiner B., Sipma H. B., Mehrotra S., Manna Z. LOLA: runtime monitoring of synchronous systems. In 12th International Symposium on Temporal Representation and Reasoning (TIME 2005), 23-25 June 2005, Burlington, Vermont, USA, pages 166\u2013174, 2005"},{"key":"627_CR11","doi-asserted-by":"crossref","unstructured":"Faymonville P., Finkbeiner B., Schirmer S., Torfah H. A stream-based specification language for network monitoring. In Runtime Verification - 16th International Conference, RV 2016, Madrid, Spain, September 23-30, 2016, Proceedings, pages 152\u2013168, 2016","DOI":"10.1007\/978-3-319-46982-9_10"},{"key":"627_CR12","doi-asserted-by":"crossref","unstructured":"Geurts P. Pattern extraction for time series classification. In European Conference on Principles of Data Mining and Knowledge Discovery, pages 115\u2013127. Springer, 2001","DOI":"10.1007\/3-540-44794-6_10"},{"key":"627_CR13","doi-asserted-by":"crossref","unstructured":"Ghidella J. , Mosterman P. Requirements-based testing in aircraft control design. In AIAA Modeling and Simulation Technologies Conference and Exhibit, page 5886, 2005","DOI":"10.2514\/6.2005-5886"},{"issue":"23","key":"627_CR14","doi-asserted-by":"publisher","first-page":"e215","DOI":"10.1161\/01.CIR.101.23.e215","volume":"101","author":"AL Goldberger","year":"2000","unstructured":"Goldberger, A.L., Amaral, L.A.N., Glass, L., Hausdorff, J.M., Ivanov, P.C., Mark, R.G., Mietus, J.E., Moody, G.B., Peng, C.-K., Stanley, H.E.: Physiobank, physiotoolkit, and physionet: components of a new research resource for complex physiologic signals. Circulation 101(23), e215\u2013e220 (2000)","journal-title":"Circulation"},{"key":"627_CR15","doi-asserted-by":"crossref","unstructured":"Gorostiaga F. and C\u00e9sar S\u00e1nchez. Striver: Stream runtime verification for real-time event-streams. In Runtime Verification - 18th International Conference, RV 2018, Limassol, Cyprus, November 10-13, 2018, Proceedings, pages 282\u2013298, 2018","DOI":"10.1007\/978-3-030-03769-7_16"},{"key":"627_CR16","unstructured":"Hall\u00e9 S. , Khoury R. Event stream processing with beepbeep 3. In RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools, September 15, 2017, Seattle, WA, USA, pages 81\u201388, 2017"},{"key":"627_CR17","doi-asserted-by":"crossref","unstructured":"Leucker M., C\u00e9sar S\u00e1nchez, Scheffel T., Schmitz M., Schramm A. Tessla: runtime verification of non-synchronized real-time streams. In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, SAC 2018, Pau, France, April 09-13, 2018, pages 1925\u20131933, 2018","DOI":"10.1145\/3167132.3167338"},{"key":"627_CR18","doi-asserted-by":"crossref","unstructured":"Maler O., Nickovic D. Monitoring temporal properties of continuous signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems, Joint International Conferences on Formal Modelling and Analysis of Timed Systems, FORMATS 2004 and Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT 2004, Grenoble, France, September 22-24, 2004, Proceedings, pages 152\u2013166, 2004","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"627_CR19","doi-asserted-by":"publisher","first-page":"693","DOI":"10.1145\/3140587.3062369","volume":"52","author":"K Mamouras","year":"2017","unstructured":"Mamouras, K., Raghothaman, M., Alur, R., Ives, Z.G., Khanna, S.: StreamQRE: Modular specification and efficient evaluation of quantitative queries over streaming data. ACM SIGPLAN Notices 52, 693\u2013708 (2017)","journal-title":"ACM SIGPLAN Notices"},{"key":"627_CR20","doi-asserted-by":"crossref","unstructured":"Nickovic D., Qin X., Ferr\u00e8re T., Mateis C., Deshmukh J. V. Shape expressions for specifying and extracting signal features. In Runtime Verification - 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings, pages 292\u2013309, 2019","DOI":"10.1007\/978-3-030-32079-9_17"},{"key":"627_CR21","unstructured":"Olszewski R. T. Generalized feature extraction for structural pattern recognition in time-series data. Technical report, Carnegie-Mellon Univ. School of Computer Science, 2001"},{"key":"627_CR22","doi-asserted-by":"crossref","unstructured":"Rakthanmanon T., Campana B., Mueen A., Batista G., Westover B., Zhu Q., Zakaria J., Keogh E. Searching and mining trillions of time series subsequences under dynamic time warping. In Proceedings of the 18th ACM SIGKDD international conference on Knowledge discovery and data mining, pages 262\u2013270. ACM, 2012","DOI":"10.1145\/2339530.2339576"},{"key":"627_CR23","doi-asserted-by":"crossref","unstructured":"Dogan Ulus. Montre: A tool for monitoring timed regular expressions. In Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24-28, 2017, Proceedings, Part I, pages 329\u2013335, 2017","DOI":"10.1007\/978-3-319-63387-9_16"},{"key":"627_CR24","doi-asserted-by":"crossref","unstructured":"Ulus D., Ferr\u00e8re T., Asarin E., Maler O. Timed pattern matching. In Formal Modeling and Analysis of Timed Systems (FORMATS), pages 222\u2013236, 2014","DOI":"10.1007\/978-3-319-10512-3_16"},{"key":"627_CR25","doi-asserted-by":"crossref","unstructured":"Ulus D., Ferr\u00e8re T., Asarin E., Maler O. Online timed pattern matching using derivatives. In Tools and Algorithms for the Construction and Analysis of Systems - 22nd International Conference, TACAS 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings, pages 736\u2013751, 2016","DOI":"10.1007\/978-3-662-49674-9_47"},{"issue":"11","key":"627_CR26","doi-asserted-by":"publisher","first-page":"2649","DOI":"10.1109\/TCAD.2018.2857358","volume":"37","author":"M Waga","year":"2018","unstructured":"Waga, M., Hasuo, I.: Moore-machine filtering for timed and untimed pattern matching. IEEE Trans. on CAD of Integrat. Circuit. Syst. 37(11), 2649\u20132660 (2018)","journal-title":"IEEE Trans. on CAD of Integrat. Circuit. Syst."},{"key":"627_CR27","doi-asserted-by":"crossref","unstructured":"Waga M., Hasuo I., Suenaga K. Efficient online timed pattern matching by automata-based skipping. In Formal Modeling and Analysis of Timed Systems - 15th International Conference, FORMATS 2017, Berlin, Germany, September 5-7, 2017, Proceedings, pages 224\u2013243, 2017","DOI":"10.1007\/978-3-319-65765-3_13"},{"key":"627_CR28","doi-asserted-by":"crossref","unstructured":"Waga M., Hasuo I., Suenaga K. MONAA: A tool for timed pattern matching with automata-based acceleration. In 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018, pages 14\u201315, 2018","DOI":"10.1109\/MT-CPS.2018.00014"},{"key":"627_CR29","doi-asserted-by":"crossref","unstructured":"Wenig F., Klanatsky P., Heschl C., Mateis C., Dejan N. Exponential pattern recognition for deriving air change rates from CO2 data. In 26th IEEE International Symposium on Industrial Electronics, ISIE 2017, Edinburgh, United Kingdom, June 19-21, 2017, pages 1507\u20131512, 2017","DOI":"10.1109\/ISIE.2017.8001469"},{"key":"627_CR30","doi-asserted-by":"crossref","unstructured":"Ye L., Keogh E. J. Time series shapelets: a new primitive for data mining. In Proceedings of the 15th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, Paris, France, June 28 - July 1, 2009, pages 947\u2013956, 2009","DOI":"10.1145\/1557019.1557122"}],"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-021-00627-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-021-00627-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-021-00627-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,21]],"date-time":"2021-10-21T14:08:18Z","timestamp":1634825298000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-021-00627-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,6,29]]},"references-count":30,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2021,8]]}},"alternative-id":["627"],"URL":"https:\/\/doi.org\/10.1007\/s10009-021-00627-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"value":"1433-2779","type":"print"},{"value":"1433-2787","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,6,29]]},"assertion":[{"value":"6 May 2021","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"29 June 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}