{"publisher":"Springer","file":[{"date_updated":"2020-07-14T12:45:58Z","date_created":"2019-02-06T07:33:05Z","file_size":3267209,"creator":"dernst","checksum":"e11db3b9c8e27a1c7d1c738cc5e4d25a","relation":"main_file","file_name":"2018_LNCS_Nickovic.pdf","content_type":"application/pdf","file_id":"5928","access_level":"open_access"}],"publist_id":"7582","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"type":"conference","date_published":"2018-04-14T00:00:00Z","oa_version":"Published Version","conference":{"name":"TACAS: Tools and Algorithms for the Construction and Analysis of Systems","end_date":"2018-04-20","start_date":"2018-04-14","location":"Thessaloniki, Greece"},"abstract":[{"text":"We introduce in this paper   AMT 2.0 , a tool for qualitative and quantitative analysis of hybrid continuous and Boolean signals that combine numerical values and discrete events. The evaluation of the signals is based on rich temporal specifications expressed in extended Signal Temporal Logic (xSTL), which integrates Timed Regular Expressions (TRE) within Signal Temporal Logic (STL). The tool features qualitative monitoring (property satisfaction checking), trace diagnostics for explaining and justifying property violations and specification-driven measurement of quantitative features of the signal.","lang":"eng"}],"oa":1,"department":[{"_id":"ToHe"}],"title":"AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic","article_processing_charge":"No","language":[{"iso":"eng"}],"date_created":"2018-12-11T11:45:41Z","file_date_updated":"2020-07-14T12:45:58Z","intvolume":"     10806","day":"14","page":"303 - 319","citation":{"short":"D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, D. Ulus, in:, D. Beyer, M. Huisman (Eds.), Springer, 2018, pp. 303–319.","ieee":"D. Nickovic, O. Lebeltel, O. Maler, T. Ferrere, and D. Ulus, “AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic,” presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece, 2018, vol. 10806, pp. 303–319.","apa":"Nickovic, D., Lebeltel, O., Maler, O., Ferrere, T., &#38; Ulus, D. (2018). AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. In D. Beyer &#38; M. Huisman (Eds.) (Vol. 10806, pp. 303–319). Presented at the TACAS: Tools and Algorithms for the Construction and Analysis of Systems, Thessaloniki, Greece: Springer. <a href=\"https://doi.org/10.1007/978-3-319-89963-3_18\">https://doi.org/10.1007/978-3-319-89963-3_18</a>","chicago":"Nickovic, Dejan, Olivier Lebeltel, Oded Maler, Thomas Ferrere, and Dogan Ulus. “AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic.” edited by Dirk Beyer and Marieke Huisman, 10806:303–19. Springer, 2018. <a href=\"https://doi.org/10.1007/978-3-319-89963-3_18\">https://doi.org/10.1007/978-3-319-89963-3_18</a>.","ama":"Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. In: Beyer D, Huisman M, eds. Vol 10806. Springer; 2018:303-319. doi:<a href=\"https://doi.org/10.1007/978-3-319-89963-3_18\">10.1007/978-3-319-89963-3_18</a>","mla":"Nickovic, Dejan, et al. <i>AMT 2.0: Qualitative and Quantitative Trace Analysis with Extended Signal Temporal Logic</i>. Edited by Dirk Beyer and Marieke Huisman, vol. 10806, Springer, 2018, pp. 303–19, doi:<a href=\"https://doi.org/10.1007/978-3-319-89963-3_18\">10.1007/978-3-319-89963-3_18</a>.","ista":"Nickovic D, Lebeltel O, Maler O, Ferrere T, Ulus D. 2018. AMT 2.0: Qualitative and quantitative trace analysis with extended signal temporal logic. TACAS: Tools and Algorithms for the Construction and Analysis of Systems, LNCS, vol. 10806, 303–319."},"month":"04","scopus_import":"1","volume":10806,"ddc":["000"],"publication_status":"published","isi":1,"status":"public","related_material":{"record":[{"id":"10861","status":"public","relation":"later_version"}]},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","editor":[{"full_name":"Beyer, Dirk","first_name":"Dirk","last_name":"Beyer"},{"full_name":"Huisman, Marieke","last_name":"Huisman","first_name":"Marieke"}],"date_updated":"2023-09-08T11:52:02Z","has_accepted_license":"1","author":[{"first_name":"Dejan","id":"41BCEE5C-F248-11E8-B48F-1D18A9856A87","last_name":"Nickovic","full_name":"Nickovic, Dejan"},{"full_name":"Lebeltel, Olivier","first_name":"Olivier","last_name":"Lebeltel"},{"first_name":"Oded","last_name":"Maler","full_name":"Maler, Oded"},{"first_name":"Thomas","id":"40960E6E-F248-11E8-B48F-1D18A9856A87","last_name":"Ferrere","orcid":"0000-0001-5199-3143","full_name":"Ferrere, Thomas"},{"full_name":"Ulus, Dogan","first_name":"Dogan","last_name":"Ulus"}],"external_id":{"isi":["00445822600018"]},"alternative_title":["LNCS"],"doi":"10.1007/978-3-319-89963-3_18","quality_controlled":"1","_id":"299","year":"2018"}