{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:36:02Z","timestamp":1750221362341,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,12,5]],"date-time":"2017-12-05T00:00:00Z","timestamp":1512432000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,12,5]]},"DOI":"10.1145\/3150928.3150938","type":"proceedings-article","created":{"date-parts":[[2018,7,31]],"date-time":"2018-07-31T16:28:33Z","timestamp":1533054513000},"page":"178-185","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Analyzing Hybrid Petri nets with multiple stochastic firings using HyPro"],"prefix":"10.1145","author":[{"given":"Jannik","family":"H\u00fcls","sequence":"first","affiliation":[{"name":"Westf\u00e4lische Wilhelms-Universit\u00e4t, M\u00fcnster, Germany"}]},{"given":"Stefan","family":"Schupp","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Germany"}]},{"given":"Anne","family":"Remke","sequence":"additional","affiliation":[{"name":"Westf\u00e4lische Wilhelms-Universit\u00e4t, M\u00fcnster, Germany"}]},{"given":"Erika","family":"\u00c1brah\u00e1m","sequence":"additional","affiliation":[{"name":"RWTH Aachen University, Germany"}]}],"member":"320","published-online":{"date-parts":[[2017,12,5]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1142\/S0218126698000079"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.08.001"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/235815.235821"},{"key":"e_1_3_2_1_4_1","volume-title":"Int. Conf. on Computer Aided Verification (CAV) (LNCS)","volume":"8044","author":"Chen X.","unstructured":"X. Chen , E. \u00c1brah\u00e1m , and S. Sankaranarayanan . 2013. Flow: An analyzer for non-linear hybrid systems . In Int. Conf. on Computer Aided Verification (CAV) (LNCS) , Vol. 8044 . Springer, 258--263. X. Chen, E. \u00c1brah\u00e1m, and S. Sankaranarayanan. 2013. Flow: An analyzer for non-linear hybrid systems. In Int. Conf. on Computer Aided Verification (CAV) (LNCS), Vol. 8044. Springer, 258--263."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_17"},{"key":"e_1_3_2_1_6_1","volume-title":"SpaceEx: Scalable Verification of Hybrid Systems. In 23rd Int. Conf. on Computer Aided Verification (CAV)","volume":"6806","author":"Frehse G.","year":"2011","unstructured":"G. Frehse , C. Le Guernic , A. Donz\u00e9 , S. Cotton , R. Ray , O. Lebeltel , R. Ripado , A. Girard , T. Dang , and O. Maler . 2011 . SpaceEx: Scalable Verification of Hybrid Systems. In 23rd Int. Conf. on Computer Aided Verification (CAV) , 2011 (LNCS), Vol. 6806 . Springer, 379--395. G. Frehse, C. Le Guernic, A. Donz\u00e9, S. Cotton, R. Ray, O. Lebeltel, R. Ripado, A. Girard, T. Dang, and O. Maler. 2011. SpaceEx: Scalable Verification of Hybrid Systems. In 23rd Int. Conf. on Computer Aided Verification (CAV), 2011 (LNCS), Vol. 6806. Springer, 379--395."},{"key":"e_1_3_2_1_7_1","unstructured":"K. Fukuda. 2017. Cdd library website. (2017). https:\/\/www.inf.ethz.ch\/personal\/fukudak\/cdd_home\/  K. Fukuda. 2017. Cdd library website. (2017). https:\/\/www.inf.ethz.ch\/personal\/fukudak\/cdd_home\/"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"crossref","unstructured":"E. Gawrilow and M. Joswig. 2000. Polymake: a framework for analyzing convex polytopes. In Polytopes-Combinatorics and Computation. Springer 43--73.  E. Gawrilow and M. Joswig. 2000. Polymake: a framework for analyzing convex polytopes. In Polytopes-Combinatorics and Computation. Springer 43--73.","DOI":"10.1007\/978-3-0348-8438-9_2"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33365-1_11"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.4108\/icst.valuetools.2013.254384"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.4108\/icst.valuetools.2014.258204"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"e_1_3_2_1_14_1","unstructured":"A. Godde. 2017. Translating Model Checking of Hybrid Petri Nets into Operations on Nef Polyhedra. (2017).  A. Godde. 2017. Translating Model Checking of Hybrid Petri Nets into Operations on Nef Polyhedra. (2017)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2010.27"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2016.09.002"},{"volume-title":"10th Int. Conf. on Performance Evaluation Methodologies and Tools (VALUETOOLS).","author":"H\u00fcls J.","key":"e_1_3_2_1_17_1","unstructured":"J. H\u00fcls and A. Remke . 2016. Coordinated charging strategies for plugin electric vehicles to ensure a robust charging process . In 10th Int. Conf. on Performance Evaluation Methodologies and Tools (VALUETOOLS). J. H\u00fcls and A. Remke. 2016. Coordinated charging strategies for plugin electric vehicles to ensure a robust charging process. In 10th Int. Conf. on Performance Evaluation Methodologies and Tools (VALUETOOLS)."},{"volume-title":"24th Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS). IEEE, 385--390","author":"H\u00fcls J.","key":"e_1_3_2_1_18_1","unstructured":"J. H\u00fcls and A. Remke . 2016. Energy storage in Smart Homes: Grid-convenience versus self-use and survivability . In 24th Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS). IEEE, 385--390 . J. H\u00fcls and A. Remke. 2016. Energy storage in Smart Homes: Grid-convenience versus self-use and survivability. In 24th Int. Symp. on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS). IEEE, 385--390."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.nahs.2009.03.002"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"R. E. Moore R. B. Kearfott and M. J. Cloud. 2009. Introduction to interval analysis. SIAM.   R. E. Moore R. B. Kearfott and M. J. Cloud. 2009. Introduction to interval analysis. SIAM.","DOI":"10.1137\/1.9780898717716"},{"key":"e_1_3_2_1_22_1","volume-title":"Symp. (NFM) 2017 (LNCS)","volume":"10227","author":"Schupp S.","unstructured":"S. Schupp , E. \u00c1brah\u00e1m , I. B. Makhlouf , and S. Kowalewski . 2017. HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. In NASA Formal Methods - 9th Int . Symp. (NFM) 2017 (LNCS) , Vol. 10227 . Springer, 288--294. S. Schupp, E. \u00c1brah\u00e1m, I. B. Makhlouf, and S. Kowalewski. 2017. HyPro: A C++ Library of State Set Representations for Hybrid Systems Reachability Analysis. In NASA Formal Methods - 9th Int. Symp. (NFM) 2017 (LNCS), Vol. 10227. Springer, 288--294."},{"key":"e_1_3_2_1_23_1","unstructured":"The CGAL Project. 2017. CGAL User and Reference Manual (4.10 ed.). CGAL Editorial Board. http:\/\/doc.cgal.org\/4.10\/Manual\/packages.html  The CGAL Project. 2017. CGAL User and Reference Manual (4.10 ed.). CGAL Editorial Board. http:\/\/doc.cgal.org\/4.10\/Manual\/packages.html"},{"volume-title":"Lectures on polytopes","author":"Ziegler G. M.","key":"e_1_3_2_1_24_1","unstructured":"G. M. Ziegler . 2012. Lectures on polytopes . Vol. 152 . Springer Science & Business Media . G. M. Ziegler. 2012. Lectures on polytopes. Vol. 152. Springer Science & Business Media."}],"event":{"name":"VALUETOOLS 2017: 11th EAI International Conference on Performance Evaluation Methodologies and Tools","sponsor":["EAI The European Alliance for Innovation"],"location":"Venice Italy","acronym":"VALUETOOLS 2017"},"container-title":["Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3150928.3150938","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3150928.3150938","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:19Z","timestamp":1750213579000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3150928.3150938"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,5]]},"references-count":22,"alternative-id":["10.1145\/3150928.3150938","10.1145\/3150928"],"URL":"https:\/\/doi.org\/10.1145\/3150928.3150938","relation":{},"subject":[],"published":{"date-parts":[[2017,12,5]]},"assertion":[{"value":"2017-12-05","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}