{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T14:43:57Z","timestamp":1742395437986,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007,9]]},"DOI":"10.1109\/qest.2007.41","type":"proceedings-article","created":{"date-parts":[[2008,4,28]],"date-time":"2008-04-28T16:54:38Z","timestamp":1209401678000},"page":"101-110","source":"Crossref","is-referenced-by-count":8,"title":["Automated Analysis of Simulation Traces - Separating Progress from Repetitive Behavior"],"prefix":"10.1109","author":[{"given":"Peter","family":"Kemper","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carsten","family":"Tepper","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2007.4419669"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2005.1574278"},{"key":"ref12","first-page":"135","article-title":"Traviando - debugging simulation traces with message sequence charts","author":"kemper","year":"2006","journal-title":"Proc QEST"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2005.1574240"},{"article-title":"Simulation Modeling and Analysis","year":"2000","author":"law","key":"ref14"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2004.01.016"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2005.1574239"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2005.84"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1137\/0211030"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1991.238781"},{"key":"ref4","first-page":"956","article-title":"The Möbius framework and its implementation","volume":"28","author":"deavours","year":"2002","journal-title":"IEEE TSE"},{"article-title":"Dynamic Programming","year":"1957","author":"bellman","key":"ref3"},{"key":"ref6","first-page":"328","article-title":"The Möbius modeling environment: Recent developments","author":"courtney","year":"2004","journal-title":"Proc QEST IEEE CS"},{"key":"ref5","first-page":"356","article-title":"A toolbox for functional and quantitative analysis of DEDS","volume":"1469","author":"bause","year":"1998"},{"key":"ref8","first-page":"575","article-title":"Minimum cover and single source shortest path problems for weighted interval graphs and circular-arc graphs","author":"ibarra","year":"1992","journal-title":"Proc Thirtieth Annual Allerton Conference on Communication Control and Computing"},{"key":"ref7","first-page":"308","article-title":"Petri net based design and analysis of reactive systems","author":"heiner","year":"1996","journal-title":"Proc Int Workshop Discrete Event Syst (WODES'96)"},{"key":"ref2","first-page":"51","article-title":"The ProC\/B toolset for the modelling and analysis of process chains","volume":"2324","author":"bause","year":"2002"},{"article-title":"Getting started with AutoMod","year":"2000","author":"banks","key":"ref1"},{"article-title":"Simulation with Arena","year":"2002","author":"kelton","key":"ref9"}],"event":{"name":"Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)","start":{"date-parts":[[2007,9,17]]},"location":"Edinburgh, Scotland, UK","end":{"date-parts":[[2007,9,19]]}},"container-title":["Fourth International Conference on the Quantitative Evaluation of Systems (QEST 2007)"],"original-title":[],"link":[{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/xplorestaging.ieee.org\/ielx5\/4338221\/4338222\/04338243.pdf?arnumber=4338243","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T17:32:22Z","timestamp":1489685542000},"score":1,"resource":{"primary":{"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/http\/ieeexplore.ieee.org\/document\/4338243\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,9]]},"references-count":19,"URL":"https:\/\/summer-heart-0930.chufeiyun1688.workers.dev:443\/https\/doi.org\/10.1109\/qest.2007.41","relation":{},"subject":[],"published":{"date-parts":[[2007,9]]}}}