{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,21]],"date-time":"2026-07-21T04:17:14Z","timestamp":1784607434634,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":102,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T00:00:00Z","timestamp":1593216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"University of Luxembourg","award":["ReACP"],"award-info":[{"award-number":["ReACP"]}]},{"name":"Canada Research Chair programme"},{"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"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,27]]},"DOI":"10.1145\/3377811.3380370","type":"proceedings-article","created":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T18:25:34Z","timestamp":1601576734000},"page":"372-384","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":59,"title":["Approximation-refinement testing of compute-intensive cyber-physical models"],"prefix":"10.1145","author":[{"given":"Claudio","family":"Menghi","sequence":"first","affiliation":[{"name":"University of Luxembourg, Luxembourg, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Shiva","family":"Nejati","sequence":"additional","affiliation":[{"name":"University of Ottawa, Ottawa, Canada and University of Luxembourg, Luxembourg, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lionel","family":"Briand","sequence":"additional","affiliation":[{"name":"University of Ottawa, Ottawa, Canada and University of Luxembourg, Luxembourg, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yago Isasi","family":"Parache","sequence":"additional","affiliation":[{"name":"Luxspace S\u00e0rl, Luxembourg, Luxembourg"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2020,10]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"2019. ARIsTEO. https:\/\/github.com\/SNTSVV\/ARIsTEO"},{"key":"e_1_3_2_1_2_1","unstructured":"2019. Cyber-Physical Systems and Internet-of-Things Week. http:\/\/cpslab.cs.mcgill.ca\/cpsiotweek2019\/"},{"key":"e_1_3_2_1_3_1","unstructured":"2019. Deep Learning Toolbox. https:\/\/it.mathworks.com\/products\/deep-learning.html"},{"key":"e_1_3_2_1_4_1","unstructured":"2019. Luxspace. https:\/\/luxspace.lu\/"},{"key":"e_1_3_2_1_5_1","unstructured":"2019. Mathworks. https:\/\/mathworks.com. Accessed: 2019-08-07."},{"key":"e_1_3_2_1_6_1","unstructured":"2019. Model Structure Selection: Determining Model Order and Input Delay. https:\/\/nl.mathworks.com\/help\/ident\/ug\/model-structure-selection-determining-model-order-and-input-delay.html"},{"key":"e_1_3_2_1_7_1","unstructured":"2019. Modeling Dynamic Systems in Simulink. https:\/\/nl.mathworks.com\/help\/simulink\/ug\/modeling-dynamic-systems.html Accessed: 2019-08-07."},{"key":"e_1_3_2_1_8_1","unstructured":"2019. Pareto Frontier. https:\/\/en.wikipedia.org\/wiki\/Pareto_efficiency"},{"key":"e_1_3_2_1_9_1","unstructured":"2019. Resample. https:\/\/nl.mathworks.com\/help\/signal\/ref\/resample.html"},{"key":"e_1_3_2_1_10_1","unstructured":"2019. Setting for the baseline (S-Taliro) for the considered benchmark models. https:\/\/sites.google.com\/a\/asu.edu\/s-taliro\/s-taliro\/download"},{"key":"e_1_3_2_1_11_1","unstructured":"2019. Stateflow. https:\/\/nl.mathworks.com\/products\/stateflow.html"},{"key":"e_1_3_2_1_12_1","volume-title":"2014 American Control Conference. IEEE, 2312--2317","author":"Abbas Houssam","unstructured":"Houssam Abbas, Andrew Winn, Georgios Fainekos, and A. Agung Julius. 2014. Functional gradient descent method for metric temporal logic specifications. In 2014 American Control Conference. IEEE, 2312--2317."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-95582-7_27"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038685"},{"key":"e_1_3_2_1_15_1","volume-title":"Principles of Cyber-Physical Systems","author":"Alur Rajeev","unstructured":"Rajeev Alur. 2015. Principles of Cyber-Physical Systems. MIT Press."},{"key":"e_1_3_2_1_16_1","volume-title":"The algorithmic analysis of hybrid systems. Theoretical computer science 138, 1","author":"Alur Rajeev","year":"1995","unstructured":"Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, P-H Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, and Sergio Yovine. 1995. The algorithmic analysis of hybrid systems. Theoretical computer science 138, 1 (1995), 3--34."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36577-X_15"},{"key":"e_1_3_2_1_18_1","volume-title":"Predicate abstraction for reachability analysis of hybrid systems. ACM transactions on embedded computing systems (TECS) 5, 1","author":"Alur Rajeev","year":"2006","unstructured":"Rajeev Alur, Thao Dang, and Franjo Ivan\u010di\u0107. 2006. Predicate abstraction for reachability analysis of hybrid systems. ACM transactions on embedded computing systems (TECS) 5, 1 (2006), 152--199."},{"key":"e_1_3_2_1_19_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Annpureddy Yashwanth","unstructured":"Yashwanth Annpureddy, Che Liu, Georgios Fainekos, and Sriram Sankaranarayanan. 2011. S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems. In Tools and Algorithms for the Construction and Analysis of Systems. Springer."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1002\/stvr.1486"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-016-9341-7"},{"key":"e_1_3_2_1_22_1","volume-title":"Multi-objective Black-box Test Case Selection for Cost-effectively Testing Simulation Models. In Genetic and Evolutionary Computation Conference (GECCO). ACM, 1411--1418","author":"Arrieta Aitor","year":"2018","unstructured":"Aitor Arrieta, Shuai Wang, Ainhoa Arruabarrena, Urtzi Markiegi, Goiuria Sagardui, and Leire Etxeberria. 2018. Multi-objective Black-box Test Case Selection for Cost-effectively Testing Simulation Models. In Genetic and Evolutionary Computation Conference (GECCO). ACM, 1411--1418."},{"key":"e_1_3_2_1_23_1","volume-title":"Pareto efficient multi-objective black-box test case selection for simulation-based testing. Information and Software Technology","author":"Arrieta Aitor","year":"2019","unstructured":"Aitor Arrieta, Shuai Wang, Urtzi Markiegi, Ainhoa Arruabarrena, Leire Etxeberria, and Goiuria Sagardui. 2019. Pareto efficient multi-objective black-box test case selection for simulation-based testing. Information and Software Technology (2019)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2934466.2946046"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_8"},{"key":"e_1_3_2_1_26_1","volume-title":"Lectures on Runtime Verification: Introductory and Advanced Topics","author":"Bartocci Ezio","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: Introductory and Advanced Topics. Springer, 135--175."},{"key":"e_1_3_2_1_27_1","volume-title":"Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms. In International Conference on Software Engineering (ICSE). 1016--1026","author":"Abdessalem R. Ben","unstructured":"R. Ben Abdessalem, S. Nejati, L. C. Briand, and T. Stifter. 2018. Testing Vision-Based Control Systems Using Learnable Evolutionary Algorithms. In International Conference on Software Engineering (ICSE). 1016--1026."},{"key":"e_1_3_2_1_28_1","unstructured":"Christopher M Bishop. 2006. Pattern recognition and machine learning. springer."},{"key":"e_1_3_2_1_29_1","volume-title":"Model Identification and Data Analysis","author":"Bittanti Sergio","unstructured":"Sergio Bittanti. 2019. Model Identification and Data Analysis. Wiley."},{"key":"e_1_3_2_1_30_1","volume-title":"Formal Modeling and Analysis of Timed Systems","author":"Bogomolov Sergiy","unstructured":"Sergiy Bogomolov, Mirco Giacobbe, Thomas A. Henzinger, and Hui Kong. 2017. Conic Abstractions for Hybrid Systems. In Formal Modeling and Analysis of Timed Systems, Alessandro Abate and Gilles Geeraerts (Eds.). Springer, 116--132."},{"key":"e_1_3_2_1_31_1","volume-title":"Modeling and simulation of systems using MATLAB and Simulink","author":"Chaturvedi Devendra K","unstructured":"Devendra K Chaturvedi. 2009. Modeling and simulation of systems using MATLAB and Simulink. CRC press."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180231"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA461189"},{"key":"e_1_3_2_1_35_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Clarke Edmund","unstructured":"Edmund Clarke, Ansgar Fehnker, Zhi Han, Bruce Krogh, Olaf Stursberg, and Michael Theobald. 2003. Verification of Hybrid Systems Based on Counterexample-Guided Abstraction Refinement. In Tools and Algorithms for the Construction and Analysis of Systems. Springer, 192--207."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1007\/10722167_15"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186051"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70545-1_38"},{"key":"e_1_3_2_1_39_1","volume-title":"Simulink Models Are Also Software: Modularity Assessment. In International ACM Sigsoft Conference on Quality of Software Architectures. ACM.","author":"Dajsuren Yanja","unstructured":"Yanja Dajsuren, Mark G.J. van den Brand, Alexander Serebrenik, and Serguei Roubtsov. 2013. Simulink Models Are Also Software: Modularity Assessment. In International ACM Sigsoft Conference on Quality of Software Architectures. ACM."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30494-4_3"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.5555\/1519231.1519267"},{"key":"e_1_3_2_1_42_1","volume-title":"Automated Technology for Verification and Analysis","author":"Deshmukh Jyotirmoy","unstructured":"Jyotirmoy Deshmukh, Xiaoqing Jin, James Kapinski, and Oded Maler. 2015. Stochastic Local Search for Falsification of Hybrid Systems. In Automated Technology for Verification and Analysis, Bernd Finkbeiner, Geguang Pu, and Lijun Zhang (Eds.). Springer, 500--517."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75454-1_10"},{"key":"e_1_3_2_1_44_1","volume-title":"Design Automation Conference. IEEE, 35--40","author":"Wang Dong","unstructured":"Dong Wang, Pei-Hsin Ho, Jiang Long, J. Kukula, Yunshan Zhu, T. Ma, and R. Damiano. 2001. Formal property verification by abstraction refinement with formal, simulation and hybrid engines. In Design Automation Conference. IEEE, 35--40."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-17524-9_10"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.29007\/68dk"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"e_1_3_2_1_50_1","volume-title":"DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. In International Conference on Computer Aided Verification. Springer, 441--461","author":"Fan Chuchu","year":"2017","unstructured":"Chuchu Fan, Bolun Qi, Sayan Mitra, and Mahesh Viswanathan. 2017. DryVR: Data-Driven Verification and Compositional Reasoning for Automotive Systems. In International Conference on Computer Aided Verification. Springer, 441--461."},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_22"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.5555\/3220883.3220991"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032335"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38574-2_14"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3239372.3239409"},{"key":"e_1_3_2_1_56_1","volume-title":"Hybrid systems","author":"Grossman Robert L","unstructured":"Robert L Grossman, Anil Nerode, Anders P Ravn, and Hans Rischel. 1993. Hybrid systems. Vol. 736. Springer."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-63166-6_48"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050008"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.1998.1581"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_24"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562140"},{"key":"e_1_3_2_1_62_1","volume-title":"Pappas","author":"Julius A. Agung","year":"2007","unstructured":"A. Agung Julius, Georgios E. Fainekos, Madhukar Anand, Insup Lee, and George J. Pappas. 2007. Robust Test Generation and Coverage for Hybrid Systems. In Hybrid Systems: Computation and Control. Springer, 329--342."},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1115\/1.3662552"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2016.2602089"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_15"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-009-0110-2"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"crossref","unstructured":"RP Kurshan. 1994. Computer-Aided Verification of Coordinating Processes: The Automata.","DOI":"10.1515\/9781400864041"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-016-0523-3"},{"key":"e_1_3_2_1_69_1","unstructured":"Lennart Ljung. 2008. System identification toolbox 7: Getting started guide. The MathWorks."},{"key":"e_1_3_2_1_70_1","unstructured":"Sean Luke. 2013. Essentials of Metaheuristics. Lulu Fairfax Virginie USA."},{"key":"e_1_3_2_1_71_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--166."},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39742-4_12"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2014.05.007"},{"key":"e_1_3_2_1_74_1","volume-title":"Automated Test Suite Generation for Time-continuous Simulink Models. In International Conference on Software Engineering (ICSE). ACM, 595--606","author":"Matinnejad Reza","year":"2016","unstructured":"Reza Matinnejad, Shiva Nejati, Lionel C. Briand, and Thomas Bruckmann. 2016. Automated Test Suite Generation for Time-continuous Simulink Models. In International Conference on Software Engineering (ICSE). ACM, 595--606."},{"key":"e_1_3_2_1_75_1","volume-title":"Handbook of biological statistics","author":"McDonald John H","unstructured":"John H McDonald. 2009. Handbook of biological statistics. Vol. 2."},{"key":"e_1_3_2_1_76_1","volume-title":"Briand","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 Foundations of Software Engineering (FSE). ACM."},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1109\/SBST.2019.00008"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"crossref","unstructured":"Shiva Nejati Khouloud Gaaloul Claudio Menghi Lionel C. Briand Stephen Foster and David Wolfe. 2019. Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models. In Foundations of Software Engineering (FSE).","DOI":"10.1145\/3338906.3340444"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10796-016-9671-9"},{"key":"e_1_3_2_1_80_1","volume-title":"Monte-carlo Techniques for Falsification of Temporal Properties of Non-linear Hybrid Systems. In International Conference on Hybrid Systems: Computation and Control. ACM.","author":"Nghiem Truong","unstructured":"Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivanci\u0107, Aarti Gupta, and George J. Pappas. 2010. Monte-carlo Techniques for Falsification of Temporal Properties of Non-linear Hybrid Systems. In International Conference on Hybrid Systems: Computation and Control. ACM."},{"key":"e_1_3_2_1_81_1","volume-title":"Simulink-specific design quality metrics","author":"Olszewska Marta","year":"2011","unstructured":"Marta Olszewska. 2011. Simulink-specific design quality metrics. Turku Centre for Computer Science (2011)."},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_48"},{"key":"e_1_3_2_1_83_1","volume-title":"International Conference on Quality Engineering in Software Technology. Verlag.","author":"Pl\u0105ska Marta","year":"2009","unstructured":"Marta Pl\u0105ska, Mikko Huova, Marina Wald\u00e9n, Kaisa Sere, and Matti Linjama. 2009. Quality analysis of simulink models. In International Conference on Quality Engineering in Software Technology. Verlag."},{"key":"e_1_3_2_1_84_1","volume-title":"Improving Simulation Performance in Simulink. The MathWorks","author":"Popinchalk Seth","year":"2012","unstructured":"Seth Popinchalk. 2012. Improving Simulation Performance in Simulink. The MathWorks, Inc (2012), 1--10."},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-015-0225-4"},{"key":"e_1_3_2_1_86_1","doi-asserted-by":"publisher","DOI":"10.1145\/1210268.1210276"},{"key":"e_1_3_2_1_87_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Roohi Nima","unstructured":"Nima Roohi, Pavithra Prabhakar, and Mahesh Viswanathan. 2016. Hybridization Based CEGAR for Hybrid Automata with Affine Dynamics. In Tools and Algorithms for the Construction and Analysis of Systems. Springer, 752--769."},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECMSM.2017.7945883"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1145\/2185632.2185653"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33636-2_19"},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73368-3_46"},{"key":"e_1_3_2_1_92_1","volume-title":"Krishnarajanagar GopalaIyengar Srinivasa, and Lalit Mohan Patnaik.","author":"Siddesh Gaddadevara Matt","year":"2015","unstructured":"Gaddadevara Matt Siddesh, Ganesh Chandra Deka, Krishnarajanagar GopalaIyengar Srinivasa, and Lalit Mohan Patnaik. 2015. Cyber-Physical Systems: A Computational Perspective. Chapman & Hall\/CRC."},{"key":"e_1_3_2_1_93_1","unstructured":"Torsten S\u00f6derstr\u00f6m and Petre Stoica. 1989. System identification. (1989)."},{"key":"e_1_3_2_1_94_1","volume-title":"Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems","author":"Sorea Maria","unstructured":"Maria Sorea. 2004. Lazy approximation for dense real-time systems. In Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems. Springer, 363--378."},{"key":"e_1_3_2_1_95_1","volume-title":"Experience Report: Application of Falsification Methods on the UxAS System. In NASA Formal Methods","author":"Tuncali Cumhur Erkan","year":"2018","unstructured":"Cumhur Erkan Tuncali, Bardh Hoxha, Guohui Ding, Georgios Fainekos, and Sriram Sankaranarayanan. 2018. Experience Report: Application of Falsification Methods on the UxAS System. In NASA Formal Methods. Springer, 452--459."},{"key":"e_1_3_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCSim.2014.6903792"},{"key":"e_1_3_2_1_97_1","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963007"},{"key":"e_1_3_2_1_98_1","volume-title":"Workshop on Design, Modeling and Evaluation of Cyber Physical Systems.","author":"Yaghoubi Shakiba","year":"2017","unstructured":"Shakiba Yaghoubi and Georgios Fainekos. 2017. Local descent for temporal logic falsification of cyber-physical systems. In Workshop on Design, Modeling and Evaluation of Cyber Physical Systems."},{"key":"e_1_3_2_1_99_1","doi-asserted-by":"publisher","DOI":"10.1145\/3055004.3055023"},{"key":"e_1_3_2_1_100_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2858463"},{"key":"e_1_3_2_1_101_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2003.1213603"},{"key":"e_1_3_2_1_102_1","volume-title":"CEGAR-based Falsification for Hybrid Systems. In International Conference on Embedded Software (EMSOFT). ACM, 5:1--5:10","author":"Zutshi Aditya","year":"2014","unstructured":"Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, and James Kapinski. 2014. Multiple Shooting, CEGAR-based Falsification for Hybrid Systems. In International Conference on Embedded Software (EMSOFT). ACM, 5:1--5:10."},{"key":"e_1_3_2_1_103_1","volume-title":"Falsification of Safety Properties for Closed Loop Control Systems. In International Conference on Hybrid Systems: Computation and Control (HSCC). ACM, 299--300","author":"Zutshi Aditya","year":"2015","unstructured":"Aditya Zutshi, Sriram Sankaranarayanan, Jyotirmoy V. Deshmukh, James Kapinski, and Xiaoqing Jin. 2015. Falsification of Safety Properties for Closed Loop Control Systems. In International Conference on Hybrid Systems: Computation and Control (HSCC). ACM, 299--300."}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","location":"Seoul South Korea","acronym":"ICSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380370","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377811.3380370","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:39Z","timestamp":1750200099000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380370"}},"subtitle":["an approach based on system identification"],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":102,"alternative-id":["10.1145\/3377811.3380370","10.1145\/3377811"],"URL":"https:\/\/doi.org\/10.1145\/3377811.3380370","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]},"assertion":[{"value":"2020-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}