{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T14:16:29Z","timestamp":1785420989235,"version":"3.56.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,4,16]],"date-time":"2019-04-16T00:00:00Z","timestamp":1555372800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Austrian Science Fund (FWF)","award":["S11402-N23 (Rise\/SHine), Z211-N23 (Wittgenstein Award)"],"award-info":[{"award-number":["S11402-N23 (Rise\/SHine), Z211-N23 (Wittgenstein Award)"]}]},{"name":"European Union under Marie Sklodowska-Curie","award":["754411"],"award-info":[{"award-number":["754411"]}]},{"name":"Air Force Office of Scienctific Research","award":["FA2386-17-1-4065"],"award-info":[{"award-number":["FA2386-17-1-4065"]}]},{"name":"ARC","award":["DP140104219"],"award-info":[{"award-number":["DP140104219"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,4,16]]},"DOI":"10.1145\/3302504.3311804","type":"proceedings-article","created":{"date-parts":[[2019,4,8]],"date-time":"2019-04-08T13:37:58Z","timestamp":1554730678000},"page":"39-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":84,"title":["JuliaReach"],"prefix":"10.1145","author":[{"given":"Sergiy","family":"Bogomolov","sequence":"first","affiliation":[{"name":"Australian National University, Canberra, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcelo","family":"Forets","sequence":"additional","affiliation":[{"name":"CURE - UdelaR, Maldonado, Uruguay"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Goran","family":"Frehse","sequence":"additional","affiliation":[{"name":"ENSTA ParisTech - U2IS, Palaiseau Cedex, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kostiantyn","family":"Potomkin","sequence":"additional","affiliation":[{"name":"Australian National University, Canberra, Australia"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Christian","family":"Schilling","sequence":"additional","affiliation":[{"name":"IST Austria, Klosterneuburg, Austria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2019,4,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"An Introduction to CORA","author":"Althoff Matthias","year":"2015","unstructured":"Matthias Althoff . 2015. An Introduction to CORA 2015 . In ARCH @CPSWeek. 120--151. Matthias Althoff. 2015. An Introduction to CORA 2015. In ARCH@CPSWeek. 120--151."},{"key":"e_1_3_2_1_2_1","unstructured":"Matthias Althoff Stanley Bak Xin Chen Chuchu Fan Marcelo Forets Goran Frehse Niklas Kochdumper Yangge Li Sayan Mitra Rajarshi Ray Christian Schilling and Stefan Schupp. 2018. ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. In ARCH18. 23--52  Matthias Althoff Stanley Bak Xin Chen Chuchu Fan Marcelo Forets Goran Frehse Niklas Kochdumper Yangge Li Sayan Mitra Rajarshi Ray Christian Schilling and Stefan Schupp. 2018. ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics. In ARCH18. 23--52"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00202-T"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/646874.709849"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"Stanley Bak and Parasara Sridhar Duggirala. 2017. Simulation-Equivalent Reachability of Large Linear Systems with Inputs. In CAV. 401--420.  Stanley Bak and Parasara Sridhar Duggirala. 2017. Simulation-Equivalent Reachability of Large Linear Systems with Inputs. In CAV. 401--420.","DOI":"10.1007\/978-3-319-63387-9_20"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1137\/141000671"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-015-0393-y"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178128"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Sergiy Bogomolov Goran Frehse Marius Greitschus Radu Grosu Corina S. Pasareanu Andreas Podelski and Thomas Strump. 2014. Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. In HVC. 116--131.  Sergiy Bogomolov Goran Frehse Marius Greitschus Radu Grosu Corina S. Pasareanu Andreas Podelski and Thomas Strump. 2014. Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. In HVC. 116--131.","DOI":"10.1007\/978-3-319-13338-6_10"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_35"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Xin Chen Erika \u00c1brah\u00e1m and Sriram Sankaranarayanan. 2013. Flow*: An Analyzer for Non-linear Hybrid Systems. In CAV. 258--263.  Xin Chen Erika \u00c1brah\u00e1m and Sriram Sankaranarayanan. 2013. Flow*: An Analyzer for Non-linear Hybrid Systems. In CAV. 258--263.","DOI":"10.1007\/978-3-642-39799-8_18"},{"key":"e_1_3_2_1_12_1","volume-title":"Alexandre Donz\u00e9, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, and Oded Maler.","author":"Frehse Goran","year":"2011","unstructured":"Goran Frehse , Colas Le Guernic , Alexandre Donz\u00e9, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, and Oded Maler. 2011 . SpaceEx: Scalable Verification of Hybrid Systems. In CAV. 379--395. Goran Frehse, Colas Le Guernic, Alexandre Donz\u00e9, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, and Oded Maler. 2011. SpaceEx: Scalable Verification of Hybrid Systems. In CAV. 379--395."},{"key":"e_1_3_2_1_13_1","first-page":"94","article-title":"Flowpipe-Guard Intersection for Reachability Computations with Support Functions","volume":"45","author":"Frehse Goran","year":"2012","unstructured":"Goran Frehse and Rajarshi Ray . 2012 . Flowpipe-Guard Intersection for Reachability Computations with Support Functions . In ADHS , Vol. 45. 94 -- 101 . Goran Frehse and Rajarshi Ray. 2012. Flowpipe-Guard Intersection for Reachability Computations with Support Functions. In ADHS, Vol. 45. 94--101.","journal-title":"ADHS"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_40"},{"key":"e_1_3_2_1_16_1","volume-title":"Mahendra Singh Tomar, and Majid Zamani","author":"Immler Fabian","year":"2018","unstructured":"Fabian Immler , Matthias Althoff , Xin Chen , Chuchu Fan , Goran Frehse , Niklas Kochdumper , Yangge Li , Sayan Mitra , Mahendra Singh Tomar, and Majid Zamani . 2018 . ARCH-COMP18 Category Report : Continuous and Hybrid Systems with Nonlinear Dynamics. In ARCH 18. 53--70. Fabian Immler, Matthias Althoff, Xin Chen, Chuchu Fan, Goran Frehse, Niklas Kochdumper, Yangge Li, Sayan Mitra, Mahendra Singh Tomar, and Majid Zamani. 2018. ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics. In ARCH18. 53--70."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/245150.245164"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.002"},{"key":"e_1_3_2_1_20_1","unstructured":"Beno\u00eet Legat Robin Deits Gustavo Goretkin Twan Koolen Joey Huchette Daisuke Oyama Robert Schwarz Elliot Saba and Chase Coleman. 2018. JuliaPolyhedra\/Polyhedra.jl v0.4.4.  Beno\u00eet Legat Robin Deits Gustavo Goretkin Twan Koolen Joey Huchette Daisuke Oyama Robert Schwarz Elliot Saba and Chase Coleman. 2018. JuliaPolyhedra\/Polyhedra.jl v0.4.4."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1134\/S0965542508060055"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"crossref","unstructured":"Rajarshi Ray Amit Gurung Binayak Das Ezio Bartocci Sergiy Bogomolov and Radu Grosu. 2015. XSpeed: Accelerating reachability analysis on multi-core processors. In HVC. 3--18.  Rajarshi Ray Amit Gurung Binayak Das Ezio Bartocci Sergiy Bogomolov and Radu Grosu. 2015. XSpeed: Accelerating reachability analysis on multi-core processors. In HVC. 3--18.","DOI":"10.1007\/978-3-319-26287-1_1"},{"key":"e_1_3_2_1_23_1","volume-title":"Ibtissem Ben Makhlouf, and Stefan Kowalewski","author":"Schupp Stefan","year":"2017","unstructured":"Stefan Schupp , Erika \u00c1brah\u00e1m , Ibtissem Ben Makhlouf, and Stefan Kowalewski . 2017 . HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis . In NFM. 288--294. Stefan Schupp, Erika \u00c1brah\u00e1m, Ibtissem Ben Makhlouf, and Stefan Kowalewski. 2017. HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. In NFM. 288--294."}],"event":{"name":"HSCC '19: 22nd ACM International Conference on Hybrid Systems: Computation and Control","location":"Montreal Quebec Canada","acronym":"HSCC '19","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311804","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3302504.3311804","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:25:36Z","timestamp":1750206336000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3302504.3311804"}},"subtitle":["a toolbox for set-based reachability"],"short-title":[],"issued":{"date-parts":[[2019,4,16]]},"references-count":22,"alternative-id":["10.1145\/3302504.3311804","10.1145\/3302504"],"URL":"https:\/\/doi.org\/10.1145\/3302504.3311804","relation":{},"subject":[],"published":{"date-parts":[[2019,4,16]]},"assertion":[{"value":"2019-04-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}