{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T18:46:57Z","timestamp":1776278817648,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":15,"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.3158361","type":"proceedings-article","created":{"date-parts":[[2018,7,31]],"date-time":"2018-07-31T16:28:33Z","timestamp":1533054513000},"page":"9-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["An introduction to the ORIS tool"],"prefix":"10.1145","author":[{"given":"Marco","family":"Biagi","sequence":"first","affiliation":[{"name":"University of Florence, Italy"}]},{"given":"Laura","family":"Carnevali","sequence":"additional","affiliation":[{"name":"University of Florence, Italy"}]},{"given":"Enrico","family":"Vicario","sequence":"additional","affiliation":[{"name":"University of Florence, Italy"}]},{"given":"Marco","family":"Paolieri","sequence":"additional","affiliation":[{"name":"University of Southern California"}]}],"member":"320","published-online":{"date-parts":[[2017,12,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"QEST'14 (LNCS)","volume":"8657","author":"Avritzer A.","unstructured":"A. Avritzer , L. Carnevali , L. Happe , A. Koziolek , D. S. Menasche , M. Paolieri , and S. Suresh . 2014. A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids . In QEST'14 (LNCS) , Vol. 8657 . Springer, 345--367. A. Avritzer, L. Carnevali, L. Happe, A. Koziolek, D. S. Menasche, M. Paolieri, and S. Suresh. 2014. A Scalable Approach to the Assessment of Storm Impact in Distributed Automation Power Grids. In QEST'14 (LNCS), Vol. 8657. Springer, 345--367."},{"key":"e_1_3_2_1_2_1","volume-title":"QEST'17","author":"Biagi M.","unstructured":"M. Biagi , L. Carnevali , M. Paolieri , T. Papini , and E. Vicario . 2017. Exploiting non-deterministic analysis in the integration of transient solution techniques for MRPs . In QEST'17 . 20--35. M. Biagi, L. Carnevali, M. Paolieri, T. Papini, and E. Vicario. 2017. Exploiting non-deterministic analysis in the integration of transient solution techniques for MRPs. In QEST'17. 20--35."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2017.07.002"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.101"},{"key":"e_1_3_2_1_5_1","volume-title":"EPEW'13 (LNCS)","volume":"8168","author":"Carnevali L.","unstructured":"L. Carnevali , M. Paolieri , K. Tadano , and E. Vicario . 2013. Towards the quantitative evaluation of phased maintenance procedures using non-Markovian regenerative analysis . In EPEW'13 (LNCS) , Vol. 8168 . Springer, 176--190. L. Carnevali, M. Paolieri, K. Tadano, and E. Vicario. 2013. Towards the quantitative evaluation of phased maintenance procedures using non-Markovian regenerative analysis. In EPEW'13 (LNCS), Vol. 8168. Springer, 176--190."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.4108\/icst.valuetools.2013.254411"},{"key":"e_1_3_2_1_7_1","volume-title":"Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets","author":"German R.","unstructured":"R. German . 2000. Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets . Wiley . R. German. 2000. Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets. Wiley."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2011.11.002"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2010.37"},{"key":"e_1_3_2_1_10_1","volume-title":"MASCOTS'16","author":"Martina S.","unstructured":"S. Martina , M. Paolieri , T. Papini , and E. Vicario . 2016. Performance evaluation of Fischer's protocol through steady-state analysis of Markov regenerative processes . In MASCOTS'16 . Springer, 355--360. S. Martina, M. Paolieri, T. Papini, and E. Vicario. 2016. Performance evaluation of Fischer's protocol through steady-state analysis of Markov regenerative processes. In MASCOTS'16. Springer, 355--360."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2468717"},{"key":"e_1_3_2_1_12_1","volume-title":"Probability and statistics with reliability, queuing, and computer science applications","author":"Trivedi K. S.","unstructured":"K. S. Trivedi . 2001. Probability and statistics with reliability, queuing, and computer science applications . John Wiley and Sons , New York . K. S. Trivedi. 2001. Probability and statistics with reliability, queuing, and computer science applications. John Wiley and Sons, New York."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1530873.1530884"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.940727"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.36"}],"event":{"name":"VALUETOOLS 2017: 11th EAI International Conference on Performance Evaluation Methodologies and Tools","location":"Venice Italy","acronym":"VALUETOOLS 2017","sponsor":["EAI The European Alliance for Innovation"]},"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.3158361","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3150928.3158361","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.3158361"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,5]]},"references-count":15,"alternative-id":["10.1145\/3150928.3158361","10.1145\/3150928"],"URL":"https:\/\/doi.org\/10.1145\/3150928.3158361","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"}}]}}