{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T17:15:57Z","timestamp":1763226957682,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,12,21]],"date-time":"2020-12-21T00:00:00Z","timestamp":1608508800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Universit\u00e9 du Luxembourg","award":["MOVIDA"],"award-info":[{"award-number":["MOVIDA"]}]},{"DOI":"10.13039\/100010663","name":"H2020 European Research Council","doi-asserted-by":"publisher","award":["694277"],"award-info":[{"award-number":["694277"]}],"id":[{"id":"10.13039\/100010663","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000038","name":"Natural Sciences and Engineering Research Council of Canada","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100000038","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,12,21]]},"DOI":"10.1145\/3324884.3416631","type":"proceedings-article","created":{"date-parts":[[2021,1,27]],"date-time":"2021-01-27T23:39:02Z","timestamp":1611790742000},"page":"1004-1015","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Trace-checking signal-based temporal properties"],"prefix":"10.1145","author":[{"given":"Chaima","family":"Boufaied","sequence":"first","affiliation":[{"name":"University of Luxembourg"}]},{"given":"Claudio","family":"Menghi","sequence":"additional","affiliation":[{"name":"University of Luxembourg"}]},{"given":"Domenico","family":"Bianculli","sequence":"additional","affiliation":[{"name":"University of Luxembourg"}]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[{"name":"University of Luxembourg and University of Ottawa"}]},{"given":"Yago Isasi","family":"Parache","sequence":"additional","affiliation":[{"name":"LuxSpace S\u00e0rl"}]}],"member":"320","published-online":{"date-parts":[[2021,1,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2398877"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-17465-1_5"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/EMSOFT.2018.8537203"},{"volume-title":"Lectures on Runtime Verification","author":"Bartocci Ezio","key":"e_1_3_2_1_5_1","unstructured":"Ezio Bartocci, Jyotirmoy Deshmukh, Alexandre Donz\u00e9, Georgios Fainekos, Oded Maler, Dejan Ni\u010dkovi\u0107, and Sriram Sankaranarayanan. 2018. Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications. In Lectures on Runtime Verification. Springer, Cham, 135--175."},{"volume-title":"Lectures on Runtime Verification - Introductory and Advanced Topics. LNCS","author":"Bartocci Ezio","key":"e_1_3_2_1_6_1","unstructured":"Ezio Bartocci, Yli\u00e8s Falcone, Adrian Francalanza, and Giles Reger. 2018. Introduction to Runtime Verification. In Lectures on Runtime Verification - Introductory and Advanced Topics. LNCS, Vol. 10457. Springer, Cham, Switzerland, 1--33."},{"volume-title":"Proc. MODELS 2019 (Companion)). IEEE","author":"Bernaerts M.","key":"e_1_3_2_1_7_1","unstructured":"M. Bernaerts, B. Oakes, K. Vanherpen, B. Aelvoet, H. Vangheluwe, and J. Denil. 2019. Validating Industrial Requirements with a Contract-Based Approach. In Proc. MODELS 2019 (Companion)). IEEE, Los Alamitos, CA, USA, 18--27."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227125"},{"key":"e_1_3_2_1_9_1","volume-title":"Carlo Ghezzi, and Pierluigi San Pietro","author":"Bianculli Domenico","year":"2013","unstructured":"Domenico Bianculli, Carlo Ghezzi, and Pierluigi San Pietro. 2013. The Tale of SOLOIST: a Specification Language for Service Compositions Interactions. In Proc. FACS'12 (LNCS), Vol. 7684. Springer, Heidelberg, Germany, 55--72."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2019.18.2.a15"},{"key":"e_1_3_2_1_11_1","volume-title":"Lionel Claude Briand, and Yago Isasi Parache","author":"Boufaied Chaima","year":"2019","unstructured":"Chaima Boufaied, Maris Jukss, Domenico Bianculli, Lionel Claude Briand, and Yago Isasi Parache. 2019. Signal-Based Properties: Taxonomy and Logic-based Characterization. CoRR abs\/1910.08330 (2019), 1--39. arXiv:1910.08330 http:\/\/arxiv.org\/abs\/1910.08330"},{"key":"e_1_3_2_1_12_1","volume-title":"Extending signal temporal logic with signal-value freezing operator. Information and computation 236","author":"Brim Lubos","year":"2014","unstructured":"Lubos Brim, Petr Dluho\u0161, David \u0160afr\u00e1nek, and Tomas Vejpustek. 2014. STL*: Extending signal temporal logic with signal-value freezing operator. Information and computation 236 (2014), 52--67."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38613-8_22"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-019-00721-4"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"e_1_3_2_1_18_1","volume-title":"Pattern-based Temporal Extension of OCL. In Proc. ECMFA 2014 (LNCS)","volume":"8569","author":"Dou Wei","year":"2014","unstructured":"Wei Dou, Domenico Bianculli, and Lionel Briand. 2014. OCLR: a More Expressive, Pattern-based Temporal Extension of OCL. In Proc. ECMFA 2014 (LNCS), Vol. 8569. Springer, Heidelberg, Germany, 51--66."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/MODELS.2017.9"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3239372.3239396"},{"volume-title":"Proc. ICSE '99","author":"Dwyer Matthew B.","key":"e_1_3_2_1_21_1","unstructured":"Matthew B. Dwyer, George S. Avrunin, and James C. Corbett. 1999. Patterns in property specifications for finite-state verification. In Proc. ICSE '99. ACM, New York, NY, USA, 411--420."},{"key":"e_1_3_2_1_22_1","unstructured":"Eclipse. 2020. Eclipse OCL Tools. https:\/\/projects.eclipse.org\/projects\/modeling.mdt.ocl."},{"key":"e_1_3_2_1_23_1","unstructured":"ESA. 2020. Building and testing spacecraft. https:\/\/www.esa.int\/Science_Exploration\/Space_Science\/Building_and_testing_spacecraft"},{"key":"e_1_3_2_1_24_1","unstructured":"ESA 2020. The European Space Agency (ESA). https:\/\/www.esa.int\/"},{"key":"e_1_3_2_1_25_1","unstructured":"exactEarth 2020. exactEarth. https:\/\/www.exactearth.com\/"},{"volume-title":"Proc. RV 2018 (Lecture Notes in Computer Science)","author":"Falcone Yli\u00e8s","key":"e_1_3_2_1_26_1","unstructured":"Yli\u00e8s Falcone, Srdan Krstic, Giles Reger, and Dmitriy Traytel. 2018. A Taxonomy for Classifying Runtime Verification Tools. In Proc. RV 2018 (Lecture Notes in Computer Science), Vol. 11237. Springer, Cham, 241--262."},{"volume-title":"Proc. ATVA 2015 (LNCS)","author":"Ferr\u00e8re Thomas","key":"e_1_3_2_1_27_1","unstructured":"Thomas Ferr\u00e8re, Oded Maler, and Dejan Ni\u010dkovi\u0107. 2015. Trace Diagnostics Using Temporal Implicants. In Proc. ATVA 2015 (LNCS), Vol. 9364. Springer International Publishing, Cham, 241--258."},{"key":"e_1_3_2_1_28_1","volume-title":"Proc. NFM","author":"Fifarek Aaron W.","year":"2017","unstructured":"Aaron W. Fifarek, Lucas G. Wagner, Jonathan A. Hoffman, Benjamin D. Rodes, M. Anthony Aiello, and Jennifer A. Davis. 2017. SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements. In Proc. NFM 2017. Springer International Publishing, Cham, 420--426."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-44429-7_2"},{"key":"e_1_3_2_1_30_1","volume-title":"Proc. FMCAD","author":"Havelund K.","year":"2017","unstructured":"K. Havelund, D. Peled, and D. Ulus. 2017. First order temporal logic monitoring with BDDs. In Proc. FMCAD 2017. IEEE, Los Alamitos, CA, USA, 116--123."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2015.7353863"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36089-3_6"},{"volume-title":"Proc. ICSE '05","author":"Konrad Sascha","key":"e_1_3_2_1_33_1","unstructured":"Sascha Konrad and Betty H. C. Cheng. 2005. Real-time specification patterns. In Proc. ICSE '05. ACM, New York, NY, USA, 372--381."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25543-5_1"},{"key":"e_1_3_2_1_35_1","unstructured":"Luxspace 2020. Luxspace. https:\/\/luxspace.lu\/"},{"volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"Maler Oded","key":"e_1_3_2_1_36_1","unstructured":"Oded Maler and Dejan Nickovic. 2004. Monitoring temporal properties of continuous signals. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems. Springer, Berlin, Heidelberg, 152--166."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380370"},{"key":"e_1_3_2_1_38_1","volume-title":"Proc. ESEC\/FSE","author":"Menghi Claudio","year":"2019","unstructured":"Claudio Menghi, Shiva Nejati, Khouloud Gaaloul, and Lionel C. Briand. 2019. Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors. In Proc. ESEC\/FSE 2019. ACM, New York, NY, USA, 27--38."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2018.2859946"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0275-x"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3340444"},{"key":"e_1_3_2_1_42_1","volume-title":"Proc. TACAS","author":"Ni\u010dkovi\u0107 Dejan","year":"2018","unstructured":"Dejan Ni\u010dkovi\u0107, Olivier Lebeltel, Oded Maler, Thomas Ferr\u00e8re, and Dogan Ulus. 2018. AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic. In Proc. TACAS 2018. Springer International Publishing, Cham, 303--319."},{"key":"e_1_3_2_1_43_1","unstructured":"OMG. 2012. ISO\/IEC 19507 (OCL v2.3.1). http:\/\/www.omg.org\/spec\/OCL\/ISO\/19507\/PDF."},{"key":"e_1_3_2_1_44_1","volume-title":"The ESAIL Multipurpose Simulator. Poster at the Workshop on Simulation and EGSE for Space Programmes (SESP","author":"Parache Yago Isasi","year":"2019","unstructured":"Yago Isasi Parache, Aleix Pinardell, Antonio M\u00e1rquez, Christophe Molon-Noblot, Alexander Wagner, Marc Gales, and Miroslav Brada. 2019. The ESAIL Multipurpose Simulator. Poster at the Workshop on Simulation and EGSE for Space Programmes (SESP 2019)."},{"volume-title":"Proc. RV2016 (LNCS)","author":"Rapin Nicolas","key":"e_1_3_2_1_45_1","unstructured":"Nicolas Rapin. 2016. Reactive Property Monitoring of Hybrid Systems with Aggregation. In Proc. RV2016 (LNCS), Vol. 10012. Springer, Cham, 447--453."},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-019-00337-w"},{"key":"e_1_3_2_1_47_1","volume-title":"Pro. ICSE","author":"Smith R. L.","year":"2002","unstructured":"R. L. Smith, G. S. Avrunin, L. A. Clarke, and L. J. Osterweil. 2002. PROPEL: an approach supporting property elucidation. In Pro. ICSE 2002. IEEE, Los Alamitos, CA, USA, 11--21."},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCSim.2014.6903792"}],"event":{"name":"ASE '20: 35th IEEE\/ACM International Conference on Automated Software Engineering","sponsor":["SIGAI ACM Special Interest Group on Artificial Intelligence","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Virtual Event Australia","acronym":"ASE '20"},"container-title":["Proceedings of the 35th IEEE\/ACM International Conference on Automated Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3416631","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3324884.3416631","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:47:22Z","timestamp":1750193242000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3324884.3416631"}},"subtitle":["a model-driven approach"],"short-title":[],"issued":{"date-parts":[[2020,12,21]]},"references-count":48,"alternative-id":["10.1145\/3324884.3416631","10.1145\/3324884"],"URL":"https:\/\/doi.org\/10.1145\/3324884.3416631","relation":{},"subject":[],"published":{"date-parts":[[2020,12,21]]},"assertion":[{"value":"2021-01-27","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}