{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T15:41:51Z","timestamp":1784302911405,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,4]],"date-time":"2022-05-04T00:00:00Z","timestamp":1651622400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Swedish Governmental Agency for Innovation Systems (VINNOVA)","award":["TESTRON 2015-04893"],"award-info":[{"award-number":["TESTRON 2015-04893"]}]},{"name":"Swedish Research Council (VR)","award":["SyTeC 2016-06204"],"award-info":[{"award-number":["SyTeC 2016-06204"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,4]]},"DOI":"10.1145\/3501710.3519521","type":"proceedings-article","created":{"date-parts":[[2022,4,28]],"date-time":"2022-04-28T14:28:32Z","timestamp":1651156112000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Multi-Requirement Testing Using Focused Falsification"],"prefix":"10.1145","author":[{"given":"Johan","family":"Lid\u00e9n Eddeland","sequence":"first","affiliation":[{"name":"Volvo Car Corporation, Sweden and Electrical Engineering, Chalmers University of Technology, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Alexandre","family":"Donz\u00e9","sequence":"additional","affiliation":[{"name":"Decyphir SAS, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Knut","family":"\u00c5kesson","sequence":"additional","affiliation":[{"name":"Electrical Engineering, Chalmers University of Technology, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,5,4]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"A Survey on Testing for Cyber Physical System","author":"Abbaspour\u00a0Asadollah Sara","unstructured":"Sara Abbaspour\u00a0Asadollah , Rafia Inam , and Hans Hansson . 2015. A Survey on Testing for Cyber Physical System . In Testing Software and Systems, Khaled El-Fakih, Gerassimos Barlas, and Nina Yevtushenko (Eds.). Springer International Publishing , Cham , 194\u2013207. Sara Abbaspour\u00a0Asadollah, Rafia Inam, and Hans Hansson. 2015. A Survey on Testing for Cyber Physical System. In Testing Software and Systems, Khaled El-Fakih, Gerassimos Barlas, and Nina Yevtushenko (Eds.). Springer International Publishing, Cham, 194\u2013207."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_27"},{"key":"e_1_3_2_1_3_1","volume-title":"TACAS, Vol.\u00a06605","author":"Annpureddy Yashwanth","unstructured":"Yashwanth Annpureddy , Che Liu , Georgios\u00a0 E Fainekos , and Sriram Sankaranarayanan . 2011. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems .. In TACAS, Vol.\u00a06605 . Springer , Springer Berlin Heidelberg, Berlin, Heidelberg, 254\u2013257. Yashwanth Annpureddy, Che Liu, Georgios\u00a0E Fainekos, and Sriram Sankaranarayanan. 2011. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems.. In TACAS, Vol.\u00a06605. Springer, Springer Berlin Heidelberg, Berlin, Heidelberg, 254\u2013257."},{"key":"e_1_3_2_1_4_1","volume-title":"Falsification of Cyber-Physical Systems with Constrained Signal Spaces. In NASA Formal Methods Symposium. Springer, Springer International Publishing, Cham, 420\u2013439","author":"Barbot Beno\u00eet","year":"2020","unstructured":"Beno\u00eet Barbot , Nicolas Basset , Thao Dang , Alexandre Donz\u00e9 , James Kapinski , and Tomoya Yamaguchi . 2020 . Falsification of Cyber-Physical Systems with Constrained Signal Spaces. In NASA Formal Methods Symposium. Springer, Springer International Publishing, Cham, 420\u2013439 . Beno\u00eet Barbot, Nicolas Basset, Thao Dang, Alexandre Donz\u00e9, James Kapinski, and Tomoya Yamaguchi. 2020. Falsification of Cyber-Physical Systems with Constrained Signal Spaces. In NASA Formal Methods Symposium. Springer, Springer International Publishing, Cham, 420\u2013439."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.06.333"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_3"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24953-7_35"},{"key":"e_1_3_2_1_8_1","volume-title":"CAV, Vol.\u00a010","author":"Donz\u00e9 Alexandre","unstructured":"Alexandre Donz\u00e9 . 2010. Breach , a toolbox for verification and parameter synthesis of hybrid systems .. In CAV, Vol.\u00a010 . Springer , Springer Berlin Heidelberg, Berlin, Heidelberg, 167\u2013170. Alexandre Donz\u00e9. 2010. Breach, a toolbox for verification and parameter synthesis of hybrid systems.. In CAV, Vol.\u00a010. Springer, Springer Berlin Heidelberg, Berlin, Heidelberg, 167\u2013170."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885174.1885183"},{"key":"e_1_3_2_1_10_1","volume-title":"7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)","author":"Eddeland Johan\u00a0Lid\u00e9n","year":"2020","unstructured":"Johan\u00a0Lid\u00e9n Eddeland , Alexandre Donz\u00e9 , Sajed Miremadi , and Knut \u00c5kesson . 2020 . Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems. In ARCH20 . 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20) (EPiC Series in Computing), Goran Frehse and Matthias Althoff (Eds.). Vol.\u00a074. EasyChair, 267\u2013274. https:\/\/doi.org\/10.29007\/r74f 10.29007\/r74f Johan\u00a0Lid\u00e9n Eddeland, Alexandre Donz\u00e9, Sajed Miremadi, and Knut \u00c5kesson. 2020. Industrial Temporal Logic Specifications for Falsification of Cyber-Physical Systems. In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)(EPiC Series in Computing), Goran Frehse and Matthias Althoff (Eds.). Vol.\u00a074. EasyChair, 267\u2013274. https:\/\/doi.org\/10.29007\/r74f"},{"key":"e_1_3_2_1_11_1","volume-title":"7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)","author":"Eddeland Johan\u00a0Lid\u00e9n","year":"2020","unstructured":"Johan\u00a0Lid\u00e9n Eddeland , Sajed Miremadi , and Knut \u00c5kesson . 2020 . Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification. In ARCH20 . 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20) (EPiC Series in Computing), Goran Frehse and Matthias Althoff (Eds.). Vol.\u00a074. EasyChair, 259\u2013266. https:\/\/doi.org\/10.29007\/f4vs 10.29007\/f4vs Johan\u00a0Lid\u00e9n Eddeland, Sajed Miremadi, and Knut \u00c5kesson. 2020. Evaluating Optimization Solvers and Robust Semantics for Simulation-Based Falsification. In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)(EPiC Series in Computing), Goran Frehse and Matthias Althoff (Eds.). Vol.\u00a074. EasyChair, 259\u2013266. https:\/\/doi.org\/10.29007\/f4vs"},{"key":"e_1_3_2_1_12_1","volume-title":"7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)","author":"Ernst Gidon","year":"2020","unstructured":"Gidon Ernst , Paolo Arcaini , Ismail Bennani , Alexandre Donze , Georgios Fainekos , Goran Frehse , Logan Mathesen , Claudio Menghi , Giulia Pedrielli , Marc Pouzet , Shakiba Yaghoubi , Yoriyuki Yamagata , and Zhenya Zhang . 2020 . ARCH-COMP 2020 Category Report: Falsification. In ARCH20 . 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20) (EPiC Series in Computing), Goran Frehse and Matthias Althoff (Eds.). Vol.\u00a074. EasyChair, 140\u2013152. https:\/\/doi.org\/10.29007\/trr1 10.29007\/trr1 Gidon Ernst, Paolo Arcaini, Ismail Bennani, Alexandre Donze, Georgios Fainekos, Goran Frehse, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Shakiba Yaghoubi, Yoriyuki Yamagata, and Zhenya Zhang. 2020. ARCH-COMP 2020 Category Report: Falsification. In ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)(EPiC Series in Computing), Goran Frehse and Matthias Althoff (Eds.). Vol.\u00a074. EasyChair, 140\u2013152. https:\/\/doi.org\/10.29007\/trr1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"key":"e_1_3_2_1_15_1","volume-title":"1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems(EPiC Series in Computing), Goran Frehse and Matthias Althoff (Eds.). Vol.\u00a034","author":"Hoxha Bardh","year":"2015","unstructured":"Bardh Hoxha , Houssam Abbas , and Georgios Fainekos . 2015 . Benchmarks for Temporal Logic Requirements for Automotive Systems. In ARCH14-15 . 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems(EPiC Series in Computing), Goran Frehse and Matthias Althoff (Eds.). Vol.\u00a034 . EasyChair, 25\u201330. https:\/\/doi.org\/10.29007\/xwrs 10.29007\/xwrs Bardh Hoxha, Houssam Abbas, and Georgios Fainekos. 2015. Benchmarks for Temporal Logic Requirements for Automotive Systems. In ARCH14-15. 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems(EPiC Series in Computing), Goran Frehse and Matthias Althoff (Eds.). Vol.\u00a034. EasyChair, 25\u201330. https:\/\/doi.org\/10.29007\/xwrs"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1377612.1377613"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562140"},{"key":"e_1_3_2_1_18_1","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"Maler Oded","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 , 152\u2013166. 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, 152\u2013166."},{"key":"#cr-split#-e_1_3_2_1_19_1.1","doi-asserted-by":"crossref","unstructured":"Logan Mathesen Giulia Pedrielli and Georgios Fainekos. 2021. Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements. In 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE). 732-737. https:\/\/doi.org\/10.1109\/CASE49439.2021.9551474 10.1109\/CASE49439.2021.9551474","DOI":"10.1109\/CASE49439.2021.9551474"},{"key":"#cr-split#-e_1_3_2_1_19_1.2","doi-asserted-by":"crossref","unstructured":"Logan Mathesen Giulia Pedrielli and Georgios Fainekos. 2021. Efficient Optimization-Based Falsification of Cyber-Physical Systems with Multiple Conjunctive Requirements. In 2021 IEEE 17th International Conference on Automation Science and Engineering (CASE). 732-737. https:\/\/doi.org\/10.1109\/CASE49439.2021.9551474","DOI":"10.1109\/CASE49439.2021.9551474"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.2307\/1269043"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728628"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2021.04.040"},{"key":"e_1_3_2_1_23_1","volume-title":"Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification","author":"Zhang Zhenya","unstructured":"Zhenya Zhang , Ichiro Hasuo , and Paolo Arcaini . 2019. Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification . In Computer Aided Verification, Isil Dillig and Serdar Tasiran (Eds.). Springer International Publishing , Cham , 401\u2013420. Zhenya Zhang, Ichiro Hasuo, and Paolo Arcaini. 2019. Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification. In Computer Aided Verification, Isil Dillig and Serdar Tasiran (Eds.). Springer International Publishing, Cham, 401\u2013420."},{"key":"e_1_3_2_1_24_1","volume-title":"On the Effectiveness of Signal Rescaling in Hybrid System Falsification","author":"Zhang Zhenya","unstructured":"Zhenya Zhang , Deyun Lyu , Paolo Arcaini , Lei Ma , Ichiro Hasuo , and Jianjun Zhao . 2021. On the Effectiveness of Signal Rescaling in Hybrid System Falsification . In NASA Formal Methods, Aaron Dutle, Mariano\u00a0M. Moscato, Laura Titolo, C\u00e9sar\u00a0A. Mu\u00f1oz, and Ivan Perez (Eds.). Springer International Publishing , Cham , 392\u2013399. Zhenya Zhang, Deyun Lyu, Paolo Arcaini, Lei Ma, Ichiro Hasuo, and Jianjun Zhao. 2021. On the Effectiveness of Signal Rescaling in Hybrid System Falsification. In NASA Formal Methods, Aaron Dutle, Mariano\u00a0M. Moscato, Laura Titolo, C\u00e9sar\u00a0A. Mu\u00f1oz, and Ivan Perez (Eds.). Springer International Publishing, Cham, 392\u2013399."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2869834"}],"event":{"name":"HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control","location":"Milan Italy","acronym":"HSCC '22","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["25th ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519521","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3501710.3519521","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:10:11Z","timestamp":1750183811000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3501710.3519521"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,4]]},"references-count":26,"alternative-id":["10.1145\/3501710.3519521","10.1145\/3501710"],"URL":"https:\/\/doi.org\/10.1145\/3501710.3519521","relation":{},"subject":[],"published":{"date-parts":[[2022,5,4]]},"assertion":[{"value":"2022-05-04","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}