{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T13:37:34Z","timestamp":1730209054684,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,9]]},"DOI":"10.1109\/codes-isss.2013.6659021","type":"proceedings-article","created":{"date-parts":[[2013,11,21]],"date-time":"2013-11-21T10:52:07Z","timestamp":1385031127000},"page":"1-10","source":"Crossref","is-referenced-by-count":21,"title":["Multi-mode monitoring for mixed-criticality real-time systems"],"prefix":"10.1109","author":[{"given":"Moritz","family":"Neukirchner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kai","family":"Lampka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sophie","family":"Quinton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rolf","family":"Ernst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.041"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128748"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/2038698.2038723"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.80"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086246"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0257-7"},{"key":"16","doi-asserted-by":"crossref","first-page":"134","DOI":"10.1007\/s100090050010","article-title":"Uppaal in a nutshell","volume":"1","author":"larsen","year":"1997","journal-title":"International Journal on Software Tools for Technology Transfer (STTT)"},{"journal-title":"The Real-Time Kernel","year":"2002","author":"labrosse","key":"13"},{"key":"14","article-title":"Counters and the effcient and effective online power management of embedded real-time systems","author":"lampka","year":"2011","journal-title":"Proc Int Conf Hardware\/Softw Codesign and Syst Synthesis (CODES+ISSS)"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/1176254.1176267"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-011-9115-z"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2011.12"},{"key":"21","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/s11241-007-9039-9","article-title":"Sensitivity analysis of complex embedded real-time systems","volume":"39","author":"racu","year":"2008","journal-title":"Real-Time Systems"},{"journal-title":"Automotive open system architecture","year":"0","key":"2"},{"key":"20","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1007\/3-540-63875-X_44","article-title":"Sensitivity analysis of real-time task sets","volume":"1345","author":"punnekkat","year":"1997","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"Software Considerations in Airborne Systems and Equipment Certification","year":"1992","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2012.65"},{"key":"7","article-title":"Situation aware scheduling for energy-efficient real-time systems","author":"bodmann","year":"2011","journal-title":"Proceedings of the 8th Workshop Cyber-Physical Systems - Enabling Multi-Nature Systems"},{"key":"6","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s11241-006-9010-1","article-title":"Sensitivity analysis for fixed-priority real-time systems","volume":"39","author":"bini","year":"2007","journal-title":"Real-Time Syst"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-005-0507-9"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2010.10"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.14"},{"journal-title":"Network Calculus A Theory of Deterministic Queuing Systems for the Internet","year":"2001","author":"boudec","key":"8"}],"event":{"name":"2013 International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS)","start":{"date-parts":[[2013,9,29]]},"location":"Montreal, QC","end":{"date-parts":[[2013,10,4]]}},"container-title":["2013 International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6648477\/6658981\/06659021.pdf?arnumber=6659021","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,5]],"date-time":"2020-02-05T16:29:25Z","timestamp":1580920165000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6659021\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/codes-isss.2013.6659021","relation":{},"subject":[],"published":{"date-parts":[[2013,9]]}}}