{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:36:51Z","timestamp":1725550611264},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540291053"},{"type":"electronic","value":"9783540320302"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11560548_3","type":"book-chapter","created":{"date-parts":[[2005,10,6]],"date-time":"2005-10-06T05:38:22Z","timestamp":1128577102000},"page":"3-4","source":"Crossref","is-referenced-by-count":1,"title":["Towards the Pervasive Verification of Automotive Systems"],"prefix":"10.1007","author":[{"given":"Thomas In","family":"der Rieden","sequence":"first","affiliation":[]},{"given":"Dirk","family":"Leinenbach","sequence":"additional","affiliation":[]},{"given":"Wolfgang","family":"Paul","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"The Verisoft Consortium: The Verisoft Project, http:\/\/www.verisoft.de\/"},{"key":"3_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1007\/11560548_23","volume-title":"Correct Hardware Design and Verification Methods","author":"I. Dalinger","year":"2005","unstructured":"Dalinger, I., Hillebrand, M., Paul, W.: On the verification of memory management mechanisms. In: Borrione, D., Paul, W. (eds.) CHARME 2005. LNCS, vol.\u00a03725, pp. 301\u2013316. Springer, Heidelberg (2005)"},{"key":"3_CR3","volume-title":"Proceedings of the 3rd International Conference on Software Engineering and Formal Methods (SEFM 2005)","author":"D. Leinenbach","year":"2005","unstructured":"Leinenbach, D., Paul, W., Petrova, E.: Towards the formal verification of a C0 compiler: Code generation and implementation correctness. In: Proceedings of the 3rd International Conference on Software Engineering and Formal Methods (SEFM 2005). IEEE Computer Society, Los Alamitos (2005)"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11541868_1","volume-title":"Theorem Proving in Higher Order Logics","author":"M. Gargano","year":"2005","unstructured":"Gargano, M., Hillebrand, M., Leinenbach, D., Paul, W.: On the correctness of operating system kernels. In: Hurd, J., Melham, T. (eds.) TPHOLs 2005. LNCS, vol.\u00a03603, pp. 1\u201316. Springer, Heidelberg (2005)"},{"key":"3_CR5","volume-title":"Proceedings of the 23rd International Conference on Computer Design (ICCD 2005)","author":"M. Hillebrand","year":"2005","unstructured":"Hillebrand, M., In der Rieden, T., Paul, W.: Dealing with I\/O devices in the context of pervasive system verification. In: Proceedings of the 23rd International Conference on Computer Design (ICCD 2005). IEEE Computer Society, Los Alamitos (2005)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Beyer, S., B\u00f6hm, P., Gerke, M., In der Rieden, T., Knapp, S., Leinenbach, D., Paul, W.J.: Towards the formal verification of lower system layers in automotive systems. In: Proceedings of the 23rd International Conference on Computer Design (ICCD 2005). IEEE Computer Society, Los Alamitos (2005)","DOI":"10.1109\/ICCD.2005.110"},{"key":"3_CR7","unstructured":"Schneider, F.B.: Understanding protocols for byzantine clock synchronization. Technical report, Ithaca, NY, USA (1987)"},{"key":"3_CR8","doi-asserted-by":"publisher","first-page":"304","DOI":"10.1145\/197917.198115","volume-title":"Proceedings of the 13th annual ACM Symposium on Principles of Distributed Computing (PODC 1994)","author":"J. Rushby","year":"1994","unstructured":"Rushby, J.: A formally verified algorithm for clock synchronization under a hybrid fault model. In: Proceedings of the 13th annual ACM Symposium on Principles of Distributed Computing (PODC 1994), pp. 304\u2013313. ACM Press, New York (1994)"},{"key":"3_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/11560548_26","volume-title":"Correct Hardware Design and Verification Methods","author":"C. Ferdinand","year":"2005","unstructured":"Ferdinand, C., Heckmann, R.: Verifying timing behavior by abstract interpretation of executable code. In: Borrione, D., Paul, W. (eds.) CHARME 2005. LNCS, vol.\u00a03725, pp. 336\u2013339. Springer, Heidelberg (2005)"},{"key":"3_CR10","unstructured":"FlexRay Consortium: FlexRay Communications System Specifications Version 2.1 (2005)"},{"key":"3_CR11","unstructured":"OSEK group: OSEK\/VDX time-triggered operating system (2001), http:\/\/www.osek-vdx.org\/mirror\/ttos10.pdf"},{"key":"3_CR12","volume-title":"Proceedings of the 2nd International ICSE Workshop on Software Engineering for Automotive Systems (SEAS 2005)","author":"J. Botaschanjan","year":"2005","unstructured":"Botaschanjan, J., Kof, L., K\u00fchnel, C., Spichkova, M.: Towards verified automotive software. In: Press, A. (ed.) Proceedings of the 2nd International ICSE Workshop on Software Engineering for Automotive Systems (SEAS 2005). ACM Press, New York (2005)"},{"key":"3_CR13","volume-title":"Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005)","author":"T. In der Rieden","year":"2005","unstructured":"In der Rieden, T., Knapp, S.: An approach to the pervasive formal specification and verification of an automotive system. In: Proceedings of the 10th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2005). IEEE Computer Society, Los Alamitos (2005)"}],"container-title":["Lecture Notes in Computer Science","Correct Hardware Design and Verification Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11560548_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,28]],"date-time":"2019-03-28T15:44:51Z","timestamp":1553787891000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11560548_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540291053","9783540320302"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/11560548_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}