{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T09:42:48Z","timestamp":1730281368410,"version":"3.28.0"},"reference-count":51,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T00:00:00Z","timestamp":1605571200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T00:00:00Z","timestamp":1605571200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T00:00:00Z","timestamp":1605571200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,11,17]]},"DOI":"10.1109\/mascots50786.2020.9285947","type":"proceedings-article","created":{"date-parts":[[2020,12,21]],"date-time":"2020-12-21T23:22:16Z","timestamp":1608592936000},"page":"1-8","source":"Crossref","is-referenced-by-count":0,"title":["Statistical Learning of Markov Chains of Programs"],"prefix":"10.1109","author":[{"given":"Emilio","family":"Incerto","sequence":"first","affiliation":[]},{"given":"Annalisa","family":"Napolitano","sequence":"additional","affiliation":[]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Beta 1 OMG (2007) OMG document number ptc\/07 –08-04","article-title":"UML Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE)","year":"0","key":"ref39"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-2496(02)00028-7"},{"journal-title":"Sequential learning and variable length Markov chains","year":"2016","author":"magarick","key":"ref33"},{"key":"ref32","first-page":"1","article-title":"Vlmc: Variable length markov chains","author":"maechler","year":"2015","journal-title":"R Package Version"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1198\/1061860043524"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2643011"},{"journal-title":"Miller-Rabin Primality Test","year":"0","author":"miller","key":"ref37"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1016\/j.patcog.2007.04.006"},{"key":"ref35","article-title":"Probabilistic trees and automata for application behavior modeling","author":"mazeroff","year":"0","journal-title":"41st ACM Southeast Regional Conference Proceedings"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"journal-title":"Semi-Markov Processes and Reliability","year":"2012","author":"limnios","key":"ref28"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/301618.301678"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/bts121"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1089\/106652700750050844"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1287\/mnsc.35.11.1367"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227135"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1993498.1993506"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2018.00040"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1214\/aoms\/1177729694"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2009.07.007"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.32"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254074"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2007.11.002"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884794"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642988"},{"journal-title":"Introduction to Algorithms","year":"2009","author":"cormen","key":"ref12"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13621-4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606608"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.18637\/jss.v072.i03"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606639"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2338965.2336773"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-70290-2_16"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568234"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1002\/0471791571"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1348\/000711010X522227"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950314"},{"journal-title":"Queueing Networks and Markov Chains Modeling and Performance Evaluation with Computer Science Applications","year":"2005","author":"bolch","key":"ref5"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"480","DOI":"10.1214\/aos\/1018031204","article-title":"Variable length markov chains","volume":"27","author":"buhlmann","year":"1999","journal-title":"The Annals of Statistics"},{"journal-title":"Introduction to Rare Event Simulation","year":"2013","author":"bucklew","key":"ref7"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180177"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-58473-0_144"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/TPAMI.2007.70844"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72522-0_1"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2970276.2970341"},{"key":"ref47","first-page":"7","article-title":"Automated analysis of multithreaded programs for performance modeling","author":"tarvo","year":"0","journal-title":"Proc 17th Int l Conf Automated Software Eng (ASE)"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1023\/A:1026490906255"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/9780470545317"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1137\/0213021"},{"journal-title":"Introduction to Programming in Java An Interdisciplinary Approach","year":"2017","author":"sedgewick","key":"ref43"}],"event":{"name":"2020 28th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)","start":{"date-parts":[[2020,11,17]]},"location":"Nice, France","end":{"date-parts":[[2020,11,19]]}},"container-title":["2020 28th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9285930\/9285931\/09285947.pdf?arnumber=9285947","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,28]],"date-time":"2022-06-28T21:50:47Z","timestamp":1656453047000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9285947\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,17]]},"references-count":51,"URL":"https:\/\/doi.org\/10.1109\/mascots50786.2020.9285947","relation":{},"subject":[],"published":{"date-parts":[[2020,11,17]]}}}