{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T15:21:18Z","timestamp":1730215278731,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,6]]},"DOI":"10.1109\/dsn.2010.5544417","type":"proceedings-article","created":{"date-parts":[[2010,8,10]],"date-time":"2010-08-10T16:44:07Z","timestamp":1281458647000},"page":"595-604","source":"Crossref","is-referenced-by-count":1,"title":["An automated technique to support the verification and validation of simulation models"],"prefix":"10.1109","author":[{"given":"Samuel K.","family":"Klock","sequence":"first","affiliation":[]},{"given":"Peter","family":"Kemper","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","first-page":"956","article-title":"The Möbius framework and its implementation","volume":"28","author":"deavours","year":"2002","journal-title":"IEEE TSE"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89247-2_6"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2009.5429706"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270317"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.75"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000017719.43755.7c"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1142\/S021819400700315X"},{"key":"ref19","first-page":"132","article-title":"Runtime verification of c memory safety","author":"rosu","year":"0","journal-title":"Bensalem and Peled [7]"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77395-5_11"},{"key":"ref3","first-page":"260","article-title":"Monitoring of realtime properties","volume":"4337","author":"bauer","year":"2006","journal-title":"FSITCS"},{"key":"ref6","first-page":"307","article-title":"Partial order reduction for state\/event LTL","volume":"5423","author":"benes","year":"2009","journal-title":"IFM 2009"},{"key":"ref5","article-title":"Runtime verification for LTL and TLTL","author":"bauer","year":"2007","journal-title":"Technical report TUM-I0724 TU"},{"key":"ref8","first-page":"323","article-title":"A tool support for automatic analysis based on the tagged customer approach","author":"bodrog","year":"2006","journal-title":"QEST"},{"key":"ref7","volume":"5779","author":"bensalem","year":"2009","journal-title":"Runtime verification 9th Int Workshop RV 2009"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACSAC.2008.29"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2004.1371309"},{"key":"ref9","first-page":"128","article-title":"State\/event based software model checking","volume":"2999","author":"chaki","year":"2004","journal-title":"IFM 2004"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2008.43"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/WSC.2008.4736065"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2008.4630072"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04694-0_13"}],"event":{"name":"Networks (DSN)","start":{"date-parts":[[2010,6,28]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2010,7,1]]}},"container-title":["2010 IEEE\/IFIP International Conference on Dependable Systems & Networks (DSN)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5532324\/5544245\/05544417.pdf?arnumber=5544417","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,19]],"date-time":"2017-03-19T01:34:41Z","timestamp":1489887281000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5544417\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,6]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/dsn.2010.5544417","relation":{},"subject":[],"published":{"date-parts":[[2010,6]]}}}