{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:18:53Z","timestamp":1750306733299,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,10,8]],"date-time":"2014-10-08T00:00:00Z","timestamp":1412726400000},"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":[[2014,10,8]]},"DOI":"10.1145\/2659787.2659823","type":"proceedings-article","created":{"date-parts":[[2014,10,1]],"date-time":"2014-10-01T13:35:08Z","timestamp":1412170508000},"page":"299-308","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Probabilistic Deadline Miss Analysis of Real-Time Systems Using Regenerative Transient Analysis"],"prefix":"10.1145","author":[{"given":"Laura","family":"Carnevali","sequence":"first","affiliation":[{"name":"Dipartimento di Ingegneria dell'Informazione - Universit\u00e0 di Firenze"}]},{"given":"Alessandra","family":"Melani","sequence":"additional","affiliation":[{"name":"ReTiS Lab - Scuola Superiore Sant'Anna - Pisa"}]},{"given":"Luca","family":"Santinelli","sequence":"additional","affiliation":[{"name":"ONERA - Toulouse"}]},{"given":"Giuseppe","family":"Lipari","sequence":"additional","affiliation":[{"name":"ReTiS Lab - Scuola Superiore Sant'Anna - Pisa"}]}],"member":"320","published-online":{"date-parts":[[2014,10,8]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.297939"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/876900.881214"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2007.08.005"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2008.37"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/827272.829144"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.75415"},{"key":"e_1_3_2_1_7_1","first-page":"119","volume-title":"Recent Developments in Non-Markovian Stochastic Petri Nets. Journal of Circuits, Systems, and Computers","author":"Bobbio A.","year":"1998","unstructured":"A. Bobbio , A. Puliafito , M. Telek , and K. S. Trivedi . Recent Developments in Non-Markovian Stochastic Petri Nets. Journal of Circuits, Systems, and Computers , pages 119 -- 158 , 1998 . A. Bobbio, A. Puliafito, M. Telek, and K. S. Trivedi. Recent Developments in Non-Markovian Stochastic Petri Nets. Journal of Circuits, Systems, and Computers, pages 119--158, 1998."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-010-0156-8"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2041619.2041659"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(94)90021-3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2012.31"},{"key":"e_1_3_2_1_12_1","first-page":"144","volume-title":"PNPM","author":"Cumani A.","year":"1985","unstructured":"A. Cumani . ESP : A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times . In PNPM , pages 144 -- 151 , 1985 . A. Cumani. ESP: A Package for the Evaluation of Stochastic Petri Nets with Phase-Type Distributed Transition Times. In PNPM, pages 144--151, 1985."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.3150\/09-BEJ213"},{"key":"e_1_3_2_1_14_1","volume-title":"WCET'2005","author":"Deverge J.","year":"2005","unstructured":"J. Deverge and I. Puaut . Safe measurement-based wcet estimation . In WCET'2005 , 2005 . J. Deverge and I. Puaut. Safe measurement-based wcet estimation. In WCET'2005, 2005."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/827272.829145"},{"issue":"1","key":"e_1_3_2_1_16_1","first-page":"1","article-title":"Modelling extremal events for insurance and finance","volume":"97","author":"Embrechts P.","year":"1994","unstructured":"P. Embrechts , C. Kluppelberg , and T. Mikosch . Modelling extremal events for insurance and finance . ZOR Zeitschrift for Operations Research Mathematical Methods of Operations Research , 97 ( 1 ): 1 -- 34 , 1994 . P. Embrechts, C. Kluppelberg, and T. Mikosch. Modelling extremal events for insurance and finance. ZOR Zeitschrift for Operations Research Mathematical Methods of Operations Research, 97(1):1--34, 1994.","journal-title":"ZOR Zeitschrift for Operations Research Mathematical Methods of Operations Research"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1201\/9781420011746.ch35"},{"key":"e_1_3_2_1_18_1","volume-title":"LNCS","author":"Cassez F.","year":"2000","unstructured":"F. Cassez and K. G. Larsen . The Impressive Power of Stopwatches, volume 1877 . LNCS , August , 2000 . F. Cassez and K. G. Larsen. The Impressive Power of Stopwatches, volume 1877. LNCS, August, 2000."},{"key":"e_1_3_2_1_19_1","volume-title":"Linux Symposium","author":"Fournier P.-M.","year":"2009","unstructured":"P.-M. Fournier , M. Desnoyer , and M. R. Dagenais . Combined tracing of the kernel and applications with lttng . In Linux Symposium , 2009 . P.-M. Fournier, M. Desnoyer, and M. R. Dagenais. Combined tracing of the kernel and applications with lttng. In Linux Symposium, 2009."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265815"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","DOI":"10.7312\/gumb92958","volume-title":"Statistics of Extremes","author":"Gumbel E.","year":"1958","unstructured":"E. Gumbel . Statistics of Extremes . Columbia University Press , 1958 . E. Gumbel. Statistics of Extremes. Columbia University Press, 1958."},{"key":"e_1_3_2_1_22_1","volume-title":"The M\u00e4lardalen WCET benchmarks -- past, present and future","author":"Gustafsson J.","year":"2010","unstructured":"J. Gustafsson , A. Betts , A. Ermedahl , and B. Lisper . The M\u00e4lardalen WCET benchmarks -- past, present and future . Brussels, Belgium , July 2010 . OCG. J. Gustafsson, A. Betts, A. Ermedahl, and B. Lisper. The M\u00e4lardalen WCET benchmarks -- past, present and future. Brussels, Belgium, July 2010. OCG."},{"key":"e_1_3_2_1_23_1","volume-title":"Int. Workshop on WCET Analysis","author":"Hansen J.","year":"2009","unstructured":"J. Hansen , S. Hissam , and G. A. Moreno . Statistical-based wcet estimation and validation . In Int. Workshop on WCET Analysis , 2009 . J. Hansen, S. Hissam, and G. A. Moreno. Statistical-based wcet estimation and validation. In Int. Workshop on WCET Analysis, 2009."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2011.11.002"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1214\/aos\/1176348261"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086283"},{"key":"e_1_3_2_1_27_1","volume-title":"Modeling and analysis of stochastic systems","author":"Kulkarni V. G.","year":"1996","unstructured":"V. G. Kulkarni . Modeling and analysis of stochastic systems . CRC Press , 1996 . V. G. Kulkarni. Modeling and analysis of stochastic systems. CRC Press, 1996."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5449-2"},{"key":"e_1_3_2_1_29_1","volume-title":"A note on preemptive scheduling of periodic, real-time tasks. Information processing letters, 11(3):115--118","author":"Leung J. Y.-T.","year":"1980","unstructured":"J. Y.-T. Leung and M. Merrill . A note on preemptive scheduling of periodic, real-time tasks. Information processing letters, 11(3):115--118 , 1980 . J. Y.-T. Leung and M. Merrill. A note on preemptive scheduling of periodic, real-time tasks. Information processing letters, 11(3):115--118, 1980."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-008-9059-0"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02924-0_4"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2013.30"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2013.6648013"},{"key":"e_1_3_2_1_34_1","volume-title":"Department of Statistical Science","author":"Northrop P.","year":"2005","unstructured":"P. Northrop . Semiparametric estimation of the extremal index using block maxima. Technical report , Department of Statistical Science , University College London , 2005 . P. Northrop. Semiparametric estimation of the extremal index using block maxima. Technical report, Department of Statistical Science, University College London, 2005."},{"key":"e_1_3_2_1_35_1","volume-title":"25th Int. Conf. on Theory and Application of Petri Nets, 3099: 371--390","author":"H.","year":"2004","unstructured":"Olivier H. Roux and Didier Lime. Time Petri nets with inhibitor hyperarcs: formal semantics and state-space computation . 25th Int. Conf. on Theory and Application of Petri Nets, 3099: 371--390 , 2004 . Olivier H. Roux and Didier Lime. Time Petri nets with inhibitor hyperarcs: formal semantics and state-space computation. 25th Int. Conf. on Theory and Application of Petri Nets, 3099:371--390, 2004."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"crossref","first-page":"315","DOI":"10.1007\/3-540-44667-2_9","volume-title":"Lectures on Formal Methods and Performance Analysis","author":"Sanders W. H.","year":"2001","unstructured":"W. H. Sanders and J. F. Meyer . Stochastic activity networks: Formal definitions and concepts . In Lectures on Formal Methods and Performance Analysis , pages 315 -- 343 . Springer , 2001 . W. H. Sanders and J. F. Meyer. Stochastic activity networks: Formal definitions and concepts. In Lectures on Formal Methods and Performance Analysis, pages 315--343. Springer, 2001."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2011.6059013"},{"key":"e_1_3_2_1_38_1","volume-title":"WCET Workshop","author":"Santinelli L.","year":"2014","unstructured":"L. Santinelli , J. Morio , G. Dufour , and D. Jacquemart . On the sustainability of the extreme value theory for wcet estimation . In WCET Workshop , 2014 . L. Santinelli, J. Morio, G. Dufour, and D. Jacquemart. On the sustainability of the extreme value theory for wcet estimation. In WCET Workshop, 2014."},{"key":"e_1_3_2_1_39_1","volume-title":"queuing, and computer science applications","author":"Trivedi K. S.","year":"2001","unstructured":"K. S. Trivedi . Probability and statistics with reliability , queuing, and computer science applications . John Wiley and Sons , New York , 2001 . K. S. Trivedi. Probability and statistics with reliability, queuing, and computer science applications. John Wiley and Sons, New York, 2001."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.940727"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2009.36"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2011.73"}],"event":{"name":"RTNS '14: 22nd International Conference on Real-Time Networks and Systems","sponsor":["CEA Commissariat \u00e0 l'\u00e9nergie atomique et aux \u00e9nergies alternatives","GDR ASR GDR Architecture, Syst\u00e8mes et R\u00e9seaux"],"location":"Versaille France","acronym":"RTNS '14"},"container-title":["Proceedings of the 22nd International Conference on Real-Time Networks and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2659787.2659823","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2659787.2659823","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:19:47Z","timestamp":1750231187000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2659787.2659823"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,10,8]]},"references-count":43,"alternative-id":["10.1145\/2659787.2659823","10.1145\/2659787"],"URL":"https:\/\/doi.org\/10.1145\/2659787.2659823","relation":{},"subject":[],"published":{"date-parts":[[2014,10,8]]},"assertion":[{"value":"2014-10-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}