{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T21:04:55Z","timestamp":1729631095571,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/icse.2004.1317453","type":"proceedings-article","created":{"date-parts":[[2004,9,28]],"date-time":"2004-09-28T09:50:22Z","timestamp":1096365022000},"page":"304-313","source":"Crossref","is-referenced-by-count":2,"title":["Feature-based decomposition of inductive proofs applied to real-time avionics software: an experience report"],"prefix":"10.1109","author":[{"family":"Vu Ha","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Rangarajan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D.","family":"Cofer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Rue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"B.","family":"Duterte","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"crossref","first-page":"756","DOI":"10.1007\/3-540-58468-4_194","article-title":"A formal proof of the dead-line driven scheduler","volume":"863","author":"yuhua","year":"1994","journal-title":"Formal Techniques in Real-time and Fault-Tolerant Systems Lecture Notes in Computer Science 863"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/RTTAS.2000.852458"},{"key":"18","first-page":"369","article-title":"A machine-checked proof of the optimality of a real-time scheduling policy","volume":"1427","author":"wilding","year":"1998","journal-title":"Computer-aided Verification - CAV'98 Volume 1427 of Lecture Notes in Computer Science"},{"journal-title":"Software Considerations in Airborne Systems and Equipment Certification DO-178B","year":"1992","key":"15"},{"key":"16","first-page":"508","article-title":"Verification diagrams revisited: Disjunctive invariants for easy verification","volume":"1855","author":"rushby","year":"2000","journal-title":"Computer Aided Verification (CAV 2000) Volume 1855 of Lecture Notes in Computer Science"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337364"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35533-7_1"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/321738.321743"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-57887-0_123"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1994.342709"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2001.963309"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45352-0_11","article-title":"A Methodology for the Construction of Scheduled Systems","author":"altisen","year":"2000","journal-title":"Formal Techniques in Real-Time and Fault-Tolerant Systems"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1992.242671"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2001.941406"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2000.896005"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.2002.1181573"},{"key":"4","article-title":"Formal modeling and analysis of advanced scheduling features in an avionics rtos","author":"cofer","year":"2002","journal-title":"2nd International Conference on Embedded Software EMSOFT"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1997.641284"}],"event":{"name":"Proceedings. 26th International Conference on Software Engineering","acronym":"ICSE-04","location":"Edinburgh, UK"},"container-title":["Proceedings. 26th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9201\/29176\/01317453.pdf?arnumber=1317453","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T06:25:44Z","timestamp":1497594344000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1317453\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icse.2004.1317453","relation":{},"subject":[]}}