{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T02:49:36Z","timestamp":1725504576231},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540781622"},{"type":"electronic","value":"9783540781639"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-78163-9_8","type":"book-chapter","created":{"date-parts":[[2008,2,29]],"date-time":"2008-02-29T10:30:06Z","timestamp":1204281006000},"page":"37-51","source":"Crossref","is-referenced-by-count":8,"title":["Abstract Interpretation of the Physical Inputs of Embedded Programs"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Bouissou","sequence":"first","affiliation":[]},{"given":"Matthieu","family":"Martel","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"8_CR1","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/0304-3975(94)00202-T","volume":"138","author":"R. Alur","year":"1995","unstructured":"Alur, R., et al.: The algorithmic analysis of hybrid systems. Theoretical Computer Science\u00a0138(1), 3\u201334 (1995)","journal-title":"Theoretical Computer Science"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1007\/978-3-540-30579-8_7","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"J. Bertrane","year":"2005","unstructured":"Bertrane, J.: Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol.\u00a03385, pp. 97\u2013112. Springer, Heidelberg (2005)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/BF02579687","volume":"2","author":"L. Bieberbach","year":"1951","unstructured":"Bieberbach, L.: On the remainder of the runge-kutta formula. Z.A.M.P.\u00a02, 233\u2013248 (1951)","journal-title":"Z.A.M.P."},{"key":"8_CR4","series-title":"Lecture Notes in Computer Science","first-page":"85","volume-title":"The Essence of Computation","author":"P. Cousot","year":"2002","unstructured":"Cousot, P., et al.: Design and Implementation of a Special-Purpose Static Program Analyzer for Safety-Critical Real-Time Embedded Software. In: Mogensen, T.\u00c6., Schmidt, D.A., Sudborough, I.H. (eds.) The Essence of Computation. LNCS, vol.\u00a02566, pp. 85\u2013108. Springer, Heidelberg (2002)"},{"unstructured":"Bouissou, O.: Analyse statique par interpretation abstraite de syst\u00e8me hybrides discrets-continus. Technical Report 05-301, CEA-LIST (2005)","key":"8_CR5"},{"key":"8_CR6","volume-title":"International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics","author":"O. Bouissou","year":"2006","unstructured":"Bouissou, O., Martel, M.: GRKLib: A guaranteed runge-kutta library. In: International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, IEEE, Los Alamitos (2006)"},{"issue":"4","key":"8_CR7","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1017\/S0956796800000496","volume":"2","author":"F. Bourdoncle","year":"1992","unstructured":"Bourdoncle, F.: Abstract interpretation by dynamic partitioning. Journal of Functional Programming\u00a02(4), 407\u2013423 (1992)","journal-title":"Journal of Functional Programming"},{"key":"8_CR8","first-page":"238","volume-title":"POPL","author":"P. Cousot","year":"1977","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL, pp. 238\u2013252. ACM Press, New York (1977)"},{"key":"8_CR9","first-page":"84","volume-title":"POPL","author":"P. Cousot","year":"1978","unstructured":"Cousot, P., Halbwachs, N.: Automatic discovery of linear restraints among variables of a program. In: POPL, pp. 84\u201397. ACM Press, New York (1978)"},{"doi-asserted-by":"crossref","unstructured":"Daumas, M., Lester, D.: Stochastic formal methods: An application to accuracy of numeric software. In: Proceedings of the 40th IEEE Annual Hawaii International Conference on System Sciences (2007)","key":"8_CR10","DOI":"10.1109\/HICSS.2007.499"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","first-page":"505","volume-title":"Foundations of Software Science and Computational Structures","author":"A. Lieutier","year":"2005","unstructured":"Lieutier, A., Edalat, A., Pattinson, D.: A Computational Model for Multi-variable Differential Calculus. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.\u00a03441, pp. 505\u2013519. Springer, Heidelberg (2005)"},{"key":"8_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"494","DOI":"10.1007\/978-3-540-27836-8_43","volume-title":"Automata, Languages and Programming","author":"A. Edalat","year":"2004","unstructured":"Edalat, A., Pattinson, D.: A Domain Theoretic Account of Picard\u2019s Theorem. In: D\u00edaz, J., et al. (eds.) ICALP 2004. LNCS, vol.\u00a03142, pp. 494\u2013505. Springer, Heidelberg (2004)"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/3-540-45927-8_14","volume-title":"Programming Languages and Systems","author":"M. Martel","year":"2002","unstructured":"Martel, M., Goubault, \u00c9., Putot, S.: Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. In: Le M\u00e9tayer, D. (ed.) ESOP 2002 and ETAPS 2002. LNCS, vol.\u00a02305, pp. 209\u2013212. Springer, Heidelberg (2002)"},{"unstructured":"Goubault, E., Martel, M., Putot, S.: Some future challenges in the validation of control systems. In: ERTS (2006)","key":"8_CR14"},{"key":"8_CR15","volume-title":"Solving ordinary differential equations I: nonstiff problems, 2nd revised edn","author":"E. Hairer","year":"1993","unstructured":"Hairer, E., Norsett, S.P., Wanner, G.: Solving ordinary differential equations I: nonstiff problems, 2nd revised edn. Springer, Heidelberg (1993)"},{"key":"8_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1007\/3-540-58485-4_43","volume-title":"Static Analysis","author":"N. Halbwachs","year":"1994","unstructured":"Halbwachs, N., Proy, Y., Raymond, P.: Verification of linear hybrid systems by means of convex approximations. In: LeCharlier, B. (ed.) SAS 1994. LNCS, vol.\u00a0864, pp. 223\u2013237. Springer, Heidelberg (1994)"},{"key":"8_CR17","first-page":"278","volume-title":"Symposium on Logic in Computer Science","author":"T.A. Henzinger","year":"1996","unstructured":"Henzinger, T.A.: The theory of hybrid automata. In: Symposium on Logic in Computer Science, pp. 278\u2013292. IEEE Press, Los Alamitos (1996)"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/3-540-46430-1_14","volume-title":"Hybrid Systems: Computation and Control","author":"T.A. Henzinger","year":"2000","unstructured":"Henzinger, T.A., et al.: Beyond HYTECH: Hybrid Systems Analysis Using Interval Numerical Methods. In: Lynch, N.A., Krogh, B.H. (eds.) HSCC 2000. LNCS, vol.\u00a01790, pp. 130\u2013144. Springer, Heidelberg (2000)"},{"issue":"1","key":"8_CR19","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1145\/320911.320916","volume":"5","author":"J.W. Carr III","year":"1958","unstructured":"Carr III, J.W.: Error bounds for the runge-kutta single-step integration process. JACM\u00a05(1), 39\u201344 (1958)","journal-title":"JACM"},{"unstructured":"Lohner, R.: Einschlie\u00dfung der L\u00f6sung gew\u00f6hnlicher Anfangsund Randwertaufgaben und Anwendungen. PhD thesis, Universit\u00e4t Karlsruhe (1988)","key":"8_CR20"},{"key":"8_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/978-3-540-30579-8_4","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"M. Martel","year":"2005","unstructured":"Martel, M.: An overview of semantics for the validation of numerical programs. In VMCAI. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol.\u00a03385, pp. 59\u201377. Springer, Heidelberg (2005)"},{"unstructured":"Martel, M.: Towards an abstraction of the physical environment of embedded systems. In: NSAD (2005)","key":"8_CR22"},{"key":"8_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/3-540-48983-5_17","volume-title":"Hybrid Systems: Computation and Control","author":"P.J. Mosterman","year":"1999","unstructured":"Mosterman, P.J.: An overview of hybrid simulation phenomena and their support by simulation packages. In: Vaandrager, F.W., van Schuppen, J.H. (eds.) HSCC 1999. LNCS, vol.\u00a01569, pp. 165\u2013177. Springer, Heidelberg (1999)"},{"key":"8_CR24","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/978-94-017-1247-7_23","volume-title":"Developments in Reliable Computing","author":"N.S. Nedialkov","year":"1999","unstructured":"Nedialkov, N.S., Jackson, K.R.: An interval Hermite-Obreschkoff method for computing rigorous bounds on the solution of an initial value problem for an ordinary differential equation. In: Developments in Reliable Computing, pp. 289\u2013310. Kluwer, Dordrecht (1999)"},{"unstructured":"IEEE\u00a0Task P754. ANSI\/IEEE 754-1985, Standard for Binary Floating-Point Arithmetic. IEEE, New York, August 12 (1985).","key":"8_CR25"},{"unstructured":"Rauh, A., Auer, E., Hofer, E.: ValEncIA-IVP: A case study of validated solvers for initial value problems. In: SCAN (2006)","key":"8_CR26"}],"container-title":["Lecture Notes in Computer Science","Verification, Model Checking, and Abstract Interpretation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78163-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T15:18:07Z","timestamp":1558279087000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78163-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540781622","9783540781639"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78163-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}