{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:08:59Z","timestamp":1729652939038,"version":"3.28.0"},"reference-count":10,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,6]]},"DOI":"10.1109\/sysose.2011.5966564","type":"proceedings-article","created":{"date-parts":[[2011,8,3]],"date-time":"2011-08-03T21:43:19Z","timestamp":1312407799000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Rapid runtime system verification using automatic source code instrumentation"],"prefix":"10.1109","author":[{"given":"Doron","family":"Drusinsky","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James Bret","family":"Michael","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Man-Tak","family":"Shing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref4","first-page":"6","article-title":"Quality assurance of the timing properties of real-time, reactive system-of-systems","author":"drusinsky","year":"0","journal-title":"Proc 2006 IEEE\/SMC Int Conf System of Systems Engineering"},{"key":"ref3","first-page":"345","article-title":"Real-time, On-line, Low Impact, Temporal Pattern Matching","author":"drusinsky","year":"0","journal-title":"Proceedings of the World Multiconference on Systemics Cybernetics and Informatics"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2008.54"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/32.317428"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/JSYST.2008.2009190"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/RSP.2006.12"},{"journal-title":"Modeling and Verification Using UML Statecharts - A Working Guide to Reactive System Design Runtime Monitoring and Execution-based Model Checking","year":"2006","author":"drusinsky","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050043"},{"key":"ref9","first-page":"6","article-title":"Formal Validation and Verification of Space Flight Software using Statechart-Assertions and Runtime Execution Monitoring","author":"alves","year":"2011","journal-title":"Proc of IEEE International Conference on System of Systems Engineering"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/10722468_19","article-title":"The Temporal Rover and ATG Rover","volume":"1885","author":"drusinsky","year":"0","journal-title":"Proc Spin2000 Workshop Springer Lecture Notes in Computer Science"}],"event":{"name":"2011 6th International Conference on System of Systems Engineering (SoSE)","start":{"date-parts":[[2011,6,27]]},"location":"Albuquerque, NM, USA","end":{"date-parts":[[2011,6,30]]}},"container-title":["2011 6th International Conference on System of Systems Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5958523\/5966563\/05966564.pdf?arnumber=5966564","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T00:11:56Z","timestamp":1497917516000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5966564\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,6]]},"references-count":10,"URL":"https:\/\/doi.org\/10.1109\/sysose.2011.5966564","relation":{},"subject":[],"published":{"date-parts":[[2011,6]]}}}