{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,31]],"date-time":"2024-10-31T03:19:40Z","timestamp":1730344780097,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,4]]},"DOI":"10.23919\/springsim.2019.8732915","type":"proceedings-article","created":{"date-parts":[[2019,6,11]],"date-time":"2019-06-11T01:18:07Z","timestamp":1560215887000},"page":"1-10","source":"Crossref","is-referenced-by-count":9,"title":["From Simulation to Runtime Verification and Back: Connecting Single-Run Verification Techniques"],"prefix":"10.23919","author":[{"given":"Kristin Yvonne","family":"Rozier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"DO-254 Design Assurance Guidance for Airborne Electronic Hardware","year":"2000","key":"ref33"},{"journal-title":"DO-178B Software Considerations in Airborne Systems and Equipment Certification","year":"1992","key":"ref32"},{"key":"ref31","first-page":"138","article-title":"R2U2: Tool Overview","volume":"3","author":"rozier","year":"2017","journal-title":"Proceedings of International Workshop on Competitions Usability Benchmarks Evaluation and Standardisation for Runtime Verification Tools (RVCUBES)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48869-1_2"},{"key":"ref36","article-title":"Runtime Model Predictive Verification on Embedded Platforms","volume":"tbd","author":"zhang","year":"2019","journal-title":"Under submission"},{"journal-title":"Simulation & Modeling Team Introduction to Modeling and Simulation Systems A Historical Perspective","year":"2000","author":"shinde","key":"ref35"},{"journal-title":"DO-178C\/ED-12C Software Considerations in Airborne Systems and Equipment Certification","year":"2012","key":"ref34"},{"key":"ref10","first-page":"71","article-title":"DANA-Description and Analysis of Networked Applications","author":"drabek","year":"2017","journal-title":"RV-CuBES"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16612-9_9"},{"key":"ref12","first-page":"141","article-title":"A Tutorial on Runtime Verification","volume":"34","author":"falcone","year":"2013","journal-title":"Engineering Dependable Software Systems"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03769-7_14"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-46982-9_10"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67531-2_12"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_18"},{"journal-title":"Runtime Verification","year":"2019","author":"havelund","key":"ref17"},{"key":"ref18","volume":"2","author":"law","year":"1991","journal-title":"Simulation Modeling and Analysis"},{"journal-title":"Discrete-event simulation A first course","year":"2006","author":"leemis","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_55"},{"key":"ref4","first-page":"29","article-title":"AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties","author":"basin","year":"2017","journal-title":"RV-CuBES"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.29007\/wv9n"},{"key":"ref3","first-page":"19","article-title":"The MonPoly monitoring tool","volume":"3","author":"basin","year":"2017","journal-title":"RV-CuBES 2017 An International Workshop on Competitions Usability Benchmarks Evaluation and Standardisation for Runtime Verification Tools"},{"journal-title":"A Guide to Simulation","year":"2011","author":"bratley","key":"ref6"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54862-8_24"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03421-4_2"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.91"},{"key":"ref7","first-page":"55","article-title":"Runtime Verification using LARVA","author":"colombo","year":"2017","journal-title":"RV-CuBES"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_1"},{"key":"ref9","first-page":"64","article-title":"TemPsy-Check: a Tool for Model-driven Trace Checking of Patternbased Temporal Properties","author":"dou","year":"2017","journal-title":"Proceedings of RV-CUBES 2017 an International Workshop on Competitions Usability Benchmarks Evaluation and Standardisation for Runtime Verification Tools"},{"journal-title":"Runtime Verification using Valour","year":"2017","author":"azzopardi","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-11164-3_24"},{"key":"ref24","first-page":"1","author":"moosbrugger","year":"2017","journal-title":"R2U2 Monitoring and Diagnosis of Security Threats for Unmanned Aerial Systems"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-011-0198-6"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16612-9_26"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2491411.2494596"}],"event":{"name":"2019 Spring Simulation Conference (SpringSim)","start":{"date-parts":[[2019,4,29]]},"location":"Tucson, AZ, USA","end":{"date-parts":[[2019,5,2]]}},"container-title":["2019 Spring Simulation Conference (SpringSim)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8728125\/8732845\/08732915.pdf?arnumber=8732915","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,1]],"date-time":"2019-07-01T23:30:53Z","timestamp":1562023853000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8732915\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,4]]},"references-count":36,"URL":"https:\/\/doi.org\/10.23919\/springsim.2019.8732915","relation":{},"subject":[],"published":{"date-parts":[[2019,4]]}}}