{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,18]],"date-time":"2025-12-18T09:04:25Z","timestamp":1766048665195,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,4,11]],"date-time":"2016-04-11T00:00:00Z","timestamp":1460332800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"European Commission","award":["643921"],"award-info":[{"award-number":["643921"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2016,4,11]]},"DOI":"10.1145\/2883817.2883828","type":"proceedings-article","created":{"date-parts":[[2016,4,12]],"date-time":"2016-04-12T12:23:12Z","timestamp":1460463792000},"page":"277-286","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":30,"title":["Reachset Conformance Testing of Hybrid Automata"],"prefix":"10.1145","author":[{"given":"Hendrik","family":"Roehm","sequence":"first","affiliation":[{"name":"Robert Bosch GmbH, Renningen, Germany"}]},{"given":"Jens","family":"Oehlerking","sequence":"additional","affiliation":[{"name":"Robert Bosch GmbH, Renningen, Germany"}]},{"given":"Matthias","family":"Woehrle","sequence":"additional","affiliation":[{"name":"Robert Bosch GmbH, Renningen, Germany"}]},{"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t M\u00fcnchen, Garching bei M\u00fcnchen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2016,4,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2014.6961854"},{"key":"e_1_3_2_1_2_1","unstructured":"R. W. Allen H. T. Szostak D. H. Klyde T. J. Rosenthal and K. J. Owens. Vehicle dynamic stability and rollover. Technical report U.S. Department of Transportation Final Report DOT HS 807--956 1992.  R. W. Allen H. T. Szostak D. H. Klyde T. J. Rosenthal and K. J. Owens. Vehicle dynamic stability and rollover. Technical report U.S. Department of Transportation Final Report DOT HS 807--956 1992."},{"key":"e_1_3_2_1_3_1","first-page":"120","volume-title":"Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems","author":"Althoff M.","year":"2015"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6314777"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.009"},{"key":"e_1_3_2_1_6_1","first-page":"657","volume-title":"Decision and Control","author":"Branicky M. S.","year":"2003"},{"key":"e_1_3_2_1_7_1","first-page":"383","volume-title":"Model-Based Testing for Embedded Systems","author":"Dang T.","year":"2011"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_5"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_30"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_16"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11730637_21"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11004-009-9257-x"},{"key":"e_1_3_2_1_14_1","first-page":"803","volume-title":"Proc. of the ACM-SIAM Symposium on Discrete Algorithms","author":"Guibas L. J.","year":"2003"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_33"},{"key":"e_1_3_2_1_16_1","first-page":"18","volume-title":"Notions of Conformance Testing for Cyber-Physical Systems: Overview and Roadmap. In Int. Conf. on Concurrency Theory","volume":"42","author":"Khakpour N.","year":"2015"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_40"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_34"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2600176.2600188"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85778-5_18"},{"volume-title":"Springer","year":"2009","author":"Tabuada P.","key":"e_1_3_2_1_21_1"},{"volume-title":"Universiteit Twente","year":"1992","author":"Tretmans G. J.","key":"e_1_3_2_1_22_1"},{"volume-title":"Eindhoven University of Technology","year":"2009","author":"van Osch M. P. W. J.","key":"e_1_3_2_1_23_1"}],"event":{"name":"HSCC'16: 19th International Conference on Hybrid Systems: Computation and Control","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"],"location":"Vienna Austria","acronym":"HSCC'16"},"container-title":["Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2883817.2883828","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2883817.2883828","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:04:12Z","timestamp":1750273452000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2883817.2883828"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,4,11]]},"references-count":23,"alternative-id":["10.1145\/2883817.2883828","10.1145\/2883817"],"URL":"https:\/\/doi.org\/10.1145\/2883817.2883828","relation":{},"subject":[],"published":{"date-parts":[[2016,4,11]]},"assertion":[{"value":"2016-04-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}