{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:11:18Z","timestamp":1763467878151},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540797067"},{"type":"electronic","value":"9783540797074"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79707-4_3","type":"book-chapter","created":{"date-parts":[[2008,5,7]],"date-time":"2008-05-07T06:37:44Z","timestamp":1210142264000},"page":"3-20","source":"Crossref","is-referenced-by-count":17,"title":["Static Analysis of the Accuracy in Control Systems: Principles and Experiments"],"prefix":"10.1007","author":[{"given":"Eric","family":"Goubault","sequence":"first","affiliation":[]},{"given":"Sylvie","family":"Putot","sequence":"additional","affiliation":[]},{"given":"Philippe","family":"Baufreton","sequence":"additional","affiliation":[]},{"given":"Jean","family":"Gassino","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-36377-7_5","volume-title":"The Essence of Computation","author":"B. Blanchet","year":"2002","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: 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. Springer, Heidelberg (2002)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Blanchet, B., Cousot, P., Cousot, R., Feret, J., Mauborgne, L., Min\u00e9, A., Monniaux, D., Rival, X.: A Static Analyzer for Large Safety-Critical Software. In: Proc. PLDI 2003 (2003)","DOI":"10.1145\/781131.781153"},{"issue":"4","key":"3_CR3","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\u2013435 (1992)","journal-title":"Journal of Functional Programming"},{"key":"3_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0039704","volume-title":"Formal Methods in Programming and Their Applications","author":"F. Bourdoncle","year":"1993","unstructured":"Bourdoncle, F.: Efficient chaotic iteration strategies with widenings. In: Pottosin, I.V., Bjorner, D., Broy, M. (eds.) FMP&TA 1993. LNCS, vol.\u00a0735. Springer, Heidelberg (1993)"},{"key":"3_CR5","unstructured":"Comba, J.L.D., Stolfi, J.: Affine arithmetic and its applications to computer graphics. In: SIBGRAPI 1993 (1993)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"A. Costan","year":"2005","unstructured":"Costan, A., Gaubert, S., Goubault, E., Martel, M., Putot, S.: A policy iteration algorithm for computing fixed points in static analysis of programs. In: Etessami, K., Rajamani, S.K. (eds.) CAV 2005. LNCS, vol.\u00a03576. Springer, Heidelberg (2005)"},{"issue":"4","key":"3_CR7","doi-asserted-by":"crossref","first-page":"511","DOI":"10.1093\/logcom\/2.4.511","volume":"2","author":"P. Cousot","year":"1992","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation frameworks. Journal of Logic and Symbolic Computation\u00a02(4), 511\u2013547 (1992)","journal-title":"Journal of Logic and Symbolic Computation"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71316-6_17","volume-title":"Programming Languages and Systems","author":"S. Gaubert","year":"2007","unstructured":"Gaubert, S., Goubault, E., Taly, A., Zennou, S.: Static Analysis by Policy Interation on Relational Domains. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421. Springer, Heidelberg (2007)"},{"key":"3_CR9","unstructured":"Goubault, E., Guilbaud, D., Pacalet, A., Starynk\u00e9vitch, B., V\u00e9drine, F.: A Simple Abstract Interpreter for Threat Detection and Test Case Generation. In: WAPATV 2001 (2001)"},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Static Analysis","author":"E. Goubault","year":"2001","unstructured":"Goubault, E.: Static analyses of the precision of floating-point operations. In: Cousot, P. (ed.) SAS 2001. LNCS, vol.\u00a02126. Springer, Heidelberg (2001)"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45927-8_15","volume-title":"Programming Languages and Systems","author":"E. Goubault","year":"2002","unstructured":"Goubault, E., Martel, M., 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. Springer, Heidelberg (2002)"},{"key":"3_CR12","unstructured":"Goubault, E., Martel, M., Putot, S.: Some future challenges in the validation of control systems. In: Proceedings of ERTS 2006 (2006)"},{"key":"3_CR13","unstructured":"Goubault, E., Putot, S.: Weakly Relational Domains for Floating-Point Computation Analysis. In: NSAD 2005 (2005)"},{"key":"3_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11823230_3","volume-title":"Static Analysis","author":"E. Goubault","year":"2006","unstructured":"Goubault, E., Putot, S.: Static Analysis of Numerical Algorithms. In: Yi, K. (ed.) SAS 2006. LNCS, vol.\u00a04134. Springer, Heidelberg (2006)"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74061-2_9","volume-title":"Static Analysis","author":"E. Goubault","year":"2007","unstructured":"Goubault, E., Putot, S.: Under-approximations of computations in real numbers based on generalized affine arithmetic. In: Riis Nielson, H., Fil\u00e9, G. (eds.) SAS 2007. LNCS, vol.\u00a04634. Springer, Heidelberg (2007)"},{"key":"3_CR16","unstructured":"Goubault, E., Putot, S.: Automatic analysis of imprecision errors in software (2007), \n                    \n                      http:\/\/www.di.ens.fr\/~goubault\/papers\/abstract.pdf"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Jones, N.D., Muchnick, S.S.: A flexible approach to interprocedural flow analysis and programs with recursive data structures. In: POPL 1982 (1982)","DOI":"10.1145\/582153.582161"},{"key":"3_CR18","volume-title":"Proceedings of PLDI","author":"W. Landi","year":"1992","unstructured":"Landi, W., Ryder, B.: A safe approximate algorithm for inter-procedural pointer aliasing. In: Proceedings of PLDI. ACM, New York (1992)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45927-8_14","volume-title":"Programming Languages and Systems","author":"M. Martel","year":"2002","unstructured":"Martel, M.: Propagation of roundoff errors in finite precision computations: a semantics approach. In: Le M\u00e9tayer, D. (ed.) ESOP 2002 and ETAPS 2002. LNCS, vol.\u00a02305. Springer, Heidelberg (2002)"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Languages and Systems","author":"A. Min\u00e9","year":"2004","unstructured":"Min\u00e9, A.: Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986. Springer, Heidelberg (2004)"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","volume-title":"Numerical Software with Result Verification","author":"S. Putot","year":"2004","unstructured":"Putot, S., Goubault, E., Martel, M.: Static Analysis-Based Validation of Floating-Point Computations. In: Alt, R., Frommer, A., Kearfott, R.B., Luther, W. (eds.) Numerical Software with Result Verification. LNCS, vol.\u00a02991. Springer, Heidelberg (2004)"},{"issue":"3","key":"3_CR22","first-page":"297","volume":"4","author":"J. Stolfi","year":"2003","unstructured":"Stolfi, J., de Figueiredo, L.H.: An introduction to affine arithmetic. TEMA Tend. Mat. Apl. Comput.\u00a04(3), 297\u2013312 (2003)","journal-title":"TEMA Tend. Mat. Apl. Comput."},{"key":"3_CR23","unstructured":"Goubault, E., Putot, S.: Fluctuat user manual (2007) (available upon request)"},{"key":"3_CR24","unstructured":"Grammatech Inc. CodeSonar, overview, \n                    \n                      http:\/\/www.grammatech.com\/products\/codesonar\/overview.html"},{"key":"3_CR25","unstructured":"PolySpace Technologies. PolySpace for hand-written code, \n                    \n                      http:\/\/www.polyspace.fr\/products.htm"},{"key":"3_CR26","unstructured":"LIP6. The CADNA Library, \n                    \n                      http:\/\/www-anp.lip6.fr\/cadna\/Accueil.php"}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79707-4_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:28:39Z","timestamp":1619522919000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79707-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540797067","9783540797074"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79707-4_3","relation":{},"subject":[]}}