{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:34:31Z","timestamp":1750221271108,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":39,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,29]],"date-time":"2017-09-29T00:00:00Z","timestamp":1506643200000},"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,9,29]]},"DOI":"10.1145\/3127041.3127057","type":"proceedings-article","created":{"date-parts":[[2017,9,27]],"date-time":"2017-09-27T12:34:00Z","timestamp":1506515640000},"page":"15-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["On improving rare event simulation for probabilistic safety analysis"],"prefix":"10.1145","author":[{"given":"Tim","family":"Gonschorek","sequence":"first","affiliation":[{"name":"Otto-von-Guericke-University, Magdeburg"}]},{"given":"Ben","family":"Rabeler","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke-University, Magdeburg"}]},{"given":"Frank","family":"Ortmeier","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke-University, Magdeburg"}]},{"given":"Dirk","family":"Schomburg","sequence":"additional","affiliation":[{"name":"Otto-von-Guericke-University, Magdeburg"}]}],"member":"320","published-online":{"date-parts":[[2017,9,29]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_23"},{"key":"e_1_3_2_1_2_1","volume-title":"UPPAAL - a tool suite for automatic verification of real-time systems. Hybrid Systems III","author":"Bengtsson Johan","year":"1996","unstructured":"Johan Bengtsson , Kim Larsen , Fredrik Larsson , Paul Pettersson , and Wang Yi. 1996. UPPAAL - a tool suite for automatic verification of real-time systems. Hybrid Systems III ( 1996 ), 232--243. Johan Bengtsson, Kim Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi. 1996. UPPAAL - a tool suite for automatic verification of real-time systems. Hybrid Systems III (1996), 232--243."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/646483.691738"},{"volume-title":"Statistical inference","author":"Calder Kate","key":"e_1_3_2_1_4_1","unstructured":"Kate Calder . 1953. Statistical inference . New York : Holt . Kate Calder. 1953. Statistical inference. New York: Holt."},{"volume-title":"Introduction to Discrete Event Systems","author":"Cassandras Christos G","key":"e_1_3_2_1_5_1","unstructured":"Christos G Cassandras and St\u00e9phane Lafortune . 1999. Stochastic Timed Automata . In Introduction to Discrete Event Systems . Springer , 317--365. Christos G Cassandras and St\u00e9phane Lafortune. 1999. Stochastic Timed Automata. In Introduction to Discrete Event Systems. Springer, 317--365."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/11539452_9"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/2050917.2050919"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.5555\/647770.734252"},{"key":"e_1_3_2_1_9_1","volume-title":"Jonas Van Vliet, and Zheng Wang","author":"David Alexandre","year":"2011","unstructured":"Alexandre David , Kim Larsen , Axel Legay , Marius Miku\u010dionis , Danny Poulsen , Jonas Van Vliet, and Zheng Wang . 2011 . Statistical model checking for networks of priced timed automata. Formal Modeling and Analysis of Timed Systems ( 2011), 80--96. Alexandre David, Kim Larsen, Axel Legay, Marius Miku\u010dionis, Danny Poulsen, Jonas Van Vliet, and Zheng Wang. 2011. Statistical model checking for networks of priced timed automata. Formal Modeling and Analysis of Timed Systems (2011), 80--96."},{"key":"e_1_3_2_1_10_1","unstructured":"FFB'96 1996. Betriebliches Lastenheft f\u00fcr FunkFahrBetrieb. (1996). Stand 1.10.1996.  FFB'96 1996. Betriebliches Lastenheft f\u00fcr FunkFahrBetrieb. (1996). Stand 1.10.1996."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000017718.28096.48"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/3217764.3217770"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2010.24"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"e_1_3_2_1_17_1","volume-title":"Importance Sampling for Stochastic Timed Automata. In International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. Springer, 163--178","author":"Jegourel Cyrille","year":"2016","unstructured":"Cyrille Jegourel , Kim G Larsen , Axel Legay , Marius Miku\u010dionis , Danny B\u00f8gsted Poulsen , and Sean Sedwards . 2016 . Importance Sampling for Stochastic Timed Automata. In International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. Springer, 163--178 . Cyrille Jegourel, Kim G Larsen, Axel Legay, Marius Miku\u010dionis, Danny B\u00f8gsted Poulsen, and Sean Sedwards. 2016. Importance Sampling for Stochastic Timed Automata. In International Symposium on Dependable Software Engineering: Theories, Tools, and Applications. Springer, 163--178."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-31424-7_26"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03845-7_15"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.2"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2011.90"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_23"},{"volume-title":"Proceedings of CAV. Springer.","author":"Kwiatkowska M.","key":"e_1_3_2_1_23_1","unstructured":"M. Kwiatkowska , G. Norman , and D. Parker . 2011. PRISM 4.0: Verification of probabilistic real-time systems . In Proceedings of CAV. Springer. M. Kwiatkowska, G. Norman, and D. Parker. 2011. PRISM 4.0: Verification of probabilistic real-time systems. In Proceedings of CAV. Springer."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/1939399.1939412"},{"volume-title":"Monte Carlo and Quasi-Monte Carlo Sampling","author":"Lemieux Christiane","key":"e_1_3_2_1_25_1","unstructured":"Christiane Lemieux . 2009. Monte Carlo and Quasi-Monte Carlo Sampling . Vol. 20 . Springer . Christiane Lemieux. 2009. Monte Carlo and Quasi-Monte Carlo Sampling. Vol. 20. Springer."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80254-3"},{"volume-title":"Monte carlo simulation","author":"Mooney Christopher Z","key":"e_1_3_2_1_27_1","unstructured":"Christopher Z Mooney . 1997. Monte carlo simulation . Vol. 116 . Sage Publications . Christopher Z Mooney. 1997. Monte carlo simulation. Vol. 116. Sage Publications."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.1937.0005"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/647400.724984"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/357172.357178"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"volume-title":"Monte carlo methods","author":"Robert Christian P","key":"e_1_3_2_1_32_1","unstructured":"Christian P Robert . 2004. Monte carlo methods . Wiley Online Library . Christian P Robert. 2004. Monte carlo methods. Wiley Online Library."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Gerardo Rubino Bruno Tuffin etal 2009. Rare event simulation using Monte Carlo methods. Wiley Online Library.   Gerardo Rubino Bruno Tuffin et al. 2009. Rare event simulation using Monte Carlo methods. Wiley Online Library.","DOI":"10.1002\/9780470745403"},{"key":"e_1_3_2_1_34_1","volume-title":"The cross-entropy method for combinatorial and continuous optimization. Methodology and computing in applied probability 1, 2","author":"Rubinstein Reuven","year":"1999","unstructured":"Reuven Rubinstein . 1999. The cross-entropy method for combinatorial and continuous optimization. Methodology and computing in applied probability 1, 2 ( 1999 ), 127--190. Reuven Rubinstein. 1999. The cross-entropy method for combinatorial and continuous optimization. Methodology and computing in applied probability 1, 2 (1999), 127--190."},{"volume-title":"Monte-Carlo simulation and machine learning","author":"Rubinstein Reuven Y","key":"e_1_3_2_1_35_1","unstructured":"Reuven Y Rubinstein and Dirk P Kroese . 2013. The cross-entropy method: a unified approach to combinatorial optimization , Monte-Carlo simulation and machine learning . Springer Science & Business Media . Reuven Y Rubinstein and Dirk P Kroese. 2013. The cross-entropy method: a unified approach to combinatorial optimization, Monte-Carlo simulation and machine learning. Springer Science & Business Media."},{"volume-title":"Simulation and the Monte Carlo method","author":"Rubinstein Reuven Y","key":"e_1_3_2_1_36_1","unstructured":"Reuven Y Rubinstein and Dirk P Kroese . 2016. Simulation and the Monte Carlo method . John Wiley & Sons . Reuven Y Rubinstein and Dirk P Kroese. 2016. Simulation and the Monte Carlo method. John Wiley & Sons."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_26"},{"key":"e_1_3_2_1_39_1","volume-title":"Brazilian Symposium on Formal Methods. Springer, 144--160","author":"Younes H\u00e5kan LS","year":"2010","unstructured":"H\u00e5kan LS Younes , Edmund M Clarke , and Paolo Zuliani . 2010 . Statistical verification of probabilistic properties with unbounded until . In Brazilian Symposium on Formal Methods. Springer, 144--160 . H\u00e5kan LS Younes, Edmund M Clarke, and Paolo Zuliani. 2010. Statistical verification of probabilistic properties with unbounded until. In Brazilian Symposium on Formal Methods. Springer, 144--160."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/3220880.3220972"},{"key":"e_1_3_2_1_41_1","volume-title":"Proceedings of the AIPS-02 Workshop on Planning via Model Checking. Citeseer, 81--88","author":"Younes H\u00e5kan LS","year":"2002","unstructured":"H\u00e5kan LS Younes , David J Musliner , 2002 . Probabilistic plan verification through acceptance sampling . In Proceedings of the AIPS-02 Workshop on Planning via Model Checking. Citeseer, 81--88 . H\u00e5kan LS Younes, David J Musliner, et al. 2002. Probabilistic plan verification through acceptance sampling. In Proceedings of the AIPS-02 Workshop on Planning via Model Checking. Citeseer, 81--88."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.5555\/647771.760735"}],"event":{"name":"MEMOCODE '17: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"],"location":"Vienna Austria","acronym":"MEMOCODE '17"},"container-title":["Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3127057","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3127041.3127057","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:06Z","timestamp":1750212666000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3127057"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,29]]},"references-count":39,"alternative-id":["10.1145\/3127041.3127057","10.1145\/3127041"],"URL":"https:\/\/doi.org\/10.1145\/3127041.3127057","relation":{},"subject":[],"published":{"date-parts":[[2017,9,29]]},"assertion":[{"value":"2017-09-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}