{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T06:53:45Z","timestamp":1770274425322,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642541070","type":"print"},{"value":"9783642541087","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-54108-7_2","type":"book-chapter","created":{"date-parts":[[2014,1,15]],"date-time":"2014-01-15T10:09:36Z","timestamp":1389780576000},"page":"22-47","source":"Crossref","is-referenced-by-count":12,"title":["Static Analysis of Programs with Imprecise Probabilistic Inputs"],"prefix":"10.1007","author":[{"given":"Assale","family":"Adje","sequence":"first","affiliation":[]},{"given":"Olivier","family":"Bouissou","sequence":"additional","affiliation":[]},{"given":"Jean","family":"Goubault-Larrecq","sequence":"additional","affiliation":[]},{"given":"Eric","family":"Goubault","sequence":"additional","affiliation":[]},{"given":"Sylvie","family":"Putot","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Arce, G.: Nonlinear Signal Processing: A Statistical Approach. Wiley (2005)","DOI":"10.1002\/0471691852"},{"key":"2_CR2","unstructured":"Auer, E., Luther, W., Rebner, G., Limbourg, P.: A verified matlab toolbox for the dempster-shafer theory. In: Workshop on the Theory of Belief Functions (2010)"},{"issue":"2","key":"2_CR3","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1009933109326","volume":"4","author":"D. Berleant","year":"1998","unstructured":"Berleant, D., Goodman-Strauss, C.: Bounding the results of arithmetic operations on random variables of unknown dependency using intervals. Reliable Computing\u00a04(2), 147\u2013165 (1998)","journal-title":"Reliable Computing"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1023\/A:1023082100128","volume":"9","author":"D. Berleant","year":"2003","unstructured":"Berleant, D., Xie, L., Zhang, J.: Statool: A tool for distribution envelope determination (denv), an interval-based algorithm for arithmetic on random variables. Reliable Computing\u00a09, 91\u2013108 (2003)","journal-title":"Reliable Computing"},{"key":"2_CR5","unstructured":"Bouissou, O., Goubault, E., Goubault-Larrecq, J., Putot, S.: A generalization of p-boxes to affine arithmetic. Computing, 1\u201313 (2011), 10.1007\/s00607-011-0182-8"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"620","DOI":"10.1007\/978-3-642-02658-4_46","volume-title":"Computer Aided Verification","author":"O. Bouissou","year":"2009","unstructured":"Bouissou, O., Goubault, E., Putot, S., Tekkal, K., Vedrine, F.: Hybridfluctuat: A static analyzer of numerical programs within a continuous environment. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol.\u00a05643, pp. 620\u2013626. Springer, Heidelberg (2009)"},{"key":"2_CR7","unstructured":"Busaba, J., Suwan, S., Kosheleva, O.: A faster algorithm for computing the sum of p-boxes. Journal of Uncertain Systems\u00a04(4) (2010)"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"131","DOI":"10.5802\/aif.53","volume":"5","author":"G. Choquet","year":"1953","unstructured":"Choquet, G.: Theory of capacities. Annales de l\u2019Institut Fourier\u00a05, 131\u2013295 (1953)","journal-title":"Annales de l\u2019Institut Fourier"},{"key":"2_CR9","unstructured":"Comba, J.L.D., Stolfi, J.: Affine arithmetic and its applications to computer graphics. In: SEBGRAPI 1993 (1993)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-642-28869-2_9","volume-title":"Programming Languages and Systems","author":"P. Cousot","year":"2012","unstructured":"Cousot, P., Monerau, M.: Probabilistic abstract interpretation. In: Seidl, H. (ed.) ESOP 2012. LNCS, vol.\u00a07211, pp. 169\u2013193. Springer, Heidelberg (2012)"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Destercke, S., Dubois, D., Chojnacki, E.: Unifying practical uncertainty representations - I: Generalized p-boxes. J. of Approximate Reasoning\u00a049(3) (2008)","DOI":"10.1016\/j.ijar.2008.07.003"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Destercke, S., Dubois, D., Chojnacki, E.: Unifying practical uncertainty representations. II: Clouds. Intl. J. of Approximate Reasoning\u00a049(3) (2008)","DOI":"10.1016\/j.ijar.2008.07.004"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Enszer, J.A., Lin, Y., Ferson, S., Corliss, G.F., Stadtherr, M.A.: Probability bounds analysis for nonlinear dynamic process models. AIChE Journal\u00a057(2) (2011)","DOI":"10.1002\/aic.12278"},{"key":"2_CR14","unstructured":"Feller, W.: An Introduction to Probability Theory and Its Applications. Wiley (1968)"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/978-3-540-24725-8_4","volume-title":"Programming Languages and Systems","author":"J. Feret","year":"2004","unstructured":"Feret, J.: Static analysis of digital filters. In: Schmidt, D. (ed.) ESOP 2004. LNCS, vol.\u00a02986, pp. 33\u201348. Springer, Heidelberg (2004)"},{"key":"2_CR16","unstructured":"Ferson, S.: RAMAS Risk Calc 4.0 Software: Risk Assessment with Uncertain Numbers. Lewis Publishers (2002)"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Ferson, S., Kreinovich, V., Ginzburg, L., Myers, D., Sentz, K.: Constructing probability boxes and Dempster-Shafer structures. Tech. Rep. SAND2002-4015, Sandia National Laboratories (2003)","DOI":"10.2172\/809606"},{"key":"2_CR18","doi-asserted-by":"publisher","first-page":"990","DOI":"10.1080\/10807039609383659","volume":"2","author":"S. Ferson","year":"1996","unstructured":"Ferson, S.: What Monte-Carlo methods cannot do. Human and Ecological Risk Assessment\u00a02, 990\u20131007 (1996)","journal-title":"Human and Ecological Risk Assessment"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1080\/15598608.2009.10411922","volume":"3","author":"M. Fuchs","year":"2009","unstructured":"Fuchs, M., Neumaier, A.: Potential based clouds in robust design optimization. J. Stat. Theory Practice\u00a03, 225\u2013238 (2009)","journal-title":"J. Stat. Theory Practice"},{"key":"2_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"212","DOI":"10.1007\/978-3-642-14295-6_22","volume-title":"Computer Aided Verification","author":"K. Ghorbal","year":"2010","unstructured":"Ghorbal, K., Goubault, E., Putot, S.: A logical product approach to zonotope intersection. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol.\u00a06174, pp. 212\u2013226. Springer, Heidelberg (2010)"},{"key":"2_CR21","unstructured":"Goubault, E., Putot, S.: A zonotopic framework for functional abstractions. CoRR abs\/0910.1763 (2009)"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-642-18275-4_17","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"E. Goubault","year":"2011","unstructured":"Goubault, E., Putot, S.: Static analysis of finite precision computations. In: Jhala, R., Schmidt, D. (eds.) VMCAI 2011. LNCS, vol.\u00a06538, pp. 232\u2013247. Springer, Heidelberg (2011)"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"764","DOI":"10.1007\/978-3-540-73420-8_66","volume-title":"Automata, Languages and Programming","author":"J. Goubault-Larrecq","year":"2007","unstructured":"Goubault-Larrecq, J.: Continuous capacities on continuous state spaces. In: Arge, L., Cachin, C., Jurdzi\u0144ski, T., Tarlecki, A. (eds.) ICALP 2007. LNCS, vol.\u00a04596, pp. 764\u2013776. Springer, Heidelberg (2007)"},{"key":"2_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"542","DOI":"10.1007\/978-3-540-74915-8_40","volume-title":"Computer Science Logic","author":"J. Goubault-Larrecq","year":"2007","unstructured":"Goubault-Larrecq, J.: Continuous previsions. In: Duparc, J., Henzinger, T.A. (eds.) CSL 2007. LNCS, vol.\u00a04646, pp. 542\u2013557. Springer, Heidelberg (2007)"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/978-3-540-78499-9_23","volume-title":"Foundations of Software Science and Computational Structures","author":"J. Goubault-Larrecq","year":"2008","unstructured":"Goubault-Larrecq, J.: Prevision domains and convex powercones. In: Amadio, R.M. (ed.) FOSSACS 2008. LNCS, vol.\u00a04962, pp. 318\u2013333. Springer, Heidelberg (2008)"},{"issue":"3","key":"2_CR26","first-page":"511","volume":"21","author":"J. Goubault-Larrecq","year":"2011","unstructured":"Goubault-Larrecq, J., Keimel, K.: Choquet-Kendall-Matheron theorems for non-Hausdorff spaces. MSCS\u00a021(3), 511\u2013561 (2011)","journal-title":"MSCS"},{"key":"2_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","volume-title":"Computer Aided Verification","author":"M. Kwiatkowska","year":"2011","unstructured":"Kwiatkowska, M., Norman, G., Parker, D.: Prism 4.0: Verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol.\u00a06806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"key":"2_CR28","unstructured":"Lin, Y., Stadtherr, M.A.: Validated solution of initial value problems for odes with interval parameters. In: NSF Workshop on Reliable Engineering Computing (2006)"},{"key":"2_CR29","unstructured":"Mancini, R., Carter, B.: Op Amps for Everyone. Electronics & Electrical (2009)"},{"issue":"4\/5","key":"2_CR30","doi-asserted-by":"publisher","first-page":"329","DOI":"10.1007\/s002360000046","volume":"37","author":"A. McIver","year":"2001","unstructured":"McIver, A., Morgan, C.: Demonic, angelic and unbounded probabilistic choices in sequential programs. Acta Informatica\u00a037(4\/5), 329\u2013354 (2001)","journal-title":"Acta Informatica"},{"key":"2_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"350","DOI":"10.1007\/3-540-44618-4_26","volume-title":"CONCUR 2000 - Concurrency Theory","author":"M.W. Mislove","year":"2000","unstructured":"Mislove, M.W.: Nondeterminism and probabilistic choice: Obeying the laws. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol.\u00a01877, pp. 350\u2013364. Springer, Heidelberg (2000)"},{"key":"2_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/978-3-540-45099-3_17","volume-title":"Static Analysis","author":"D. Monniaux","year":"2000","unstructured":"Monniaux, D.: Abstract interpretation of probabilistic semantics. In: Palsberg, J. (ed.) SAS 2000. LNCS, vol.\u00a01824, pp. 322\u2013340. Springer, Heidelberg (2000)"},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Neumaier, A.: Clouds, fuzzy sets and probability intervals. Reliable Computing (2004)","DOI":"10.1023\/B:REOM.0000032114.08705.cd"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Rump, S.: INTLAB - INTerval LABoratory. In: Csendes, T. (ed.) Developments\u00a0in\u00a0Reliable Computing, pp. 77\u2013104. Kluwer Academic Publishers (1999)","DOI":"10.1007\/978-94-017-1247-7_7"},{"key":"2_CR35","doi-asserted-by":"crossref","unstructured":"Sankaranarayanan, S., Chakarov, A., Gulwani, S.: Static analysis for probabilistic programs: inferring whole program properties from finitely many paths. In: Boehm, H.J., Flanagan, C. (eds.) PLDI, pp. 447\u2013458. ACM (2013)","DOI":"10.1145\/2499370.2462179"},{"key":"2_CR36","doi-asserted-by":"crossref","unstructured":"Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press (1976)","DOI":"10.1515\/9780691214696"},{"key":"2_CR37","doi-asserted-by":"crossref","unstructured":"Sun, J., Huang, Y., Li, J., Wang, J.M.: Chebyshev affine arithmetic based parametric yield prediction under limited descriptions of uncertainty. In: ASP-DAC 2008, pp. 531\u2013536. IEEE Computer Society Press (2008)","DOI":"10.1109\/ASPDAC.2008.4484008"},{"key":"2_CR38","doi-asserted-by":"crossref","unstructured":"Terejanu, G., Singla, P., Singh, T., Scott, P.D.: Approximate interval method for epistemic uncertainty propagation using polynomial chaos and evidence theory. In: 2010 American Control Conference, Baltimore, Maryland (2010)","DOI":"10.1109\/ACC.2010.5530816"},{"key":"2_CR39","unstructured":"Tix, R.: Continuous D-Cones: Convexity and Powerdomain Constructions. Ph.D. thesis, Technische Universit\u00e4t Darmstadt (1999)"},{"key":"2_CR40","first-page":"1","volume":"129","author":"R. Tix","year":"2005","unstructured":"Tix, R., Keimel, K., Plotkin, G.: Semantic domains for combining probability and non-determinism. ENTCS\u00a0129, 1\u2013104 (2005)","journal-title":"ENTCS"},{"key":"2_CR41","doi-asserted-by":"crossref","unstructured":"Walley, P.: Statistical Reasoning with Imprecise Probabilities. Chapman Hall (1991)","DOI":"10.1007\/978-1-4899-3472-7"},{"key":"2_CR42","doi-asserted-by":"crossref","unstructured":"Williamson, R.C., Downs, T.: Probabilistic arithmetic I: Numerical methods for calculating convolutions and dependency bounds. J. Approximate Reasoning (1990)","DOI":"10.1016\/0888-613X(90)90022-T"}],"container-title":["Lecture Notes in Computer Science","Verified Software: Theories, Tools, Experiments"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-54108-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T14:49:55Z","timestamp":1746110995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-54108-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642541070","9783642541087"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-54108-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}