{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T22:29:53Z","timestamp":1775082593819,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":41,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662496732","type":"print"},{"value":"9783662496749","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-662-49674-9_13","type":"book-chapter","created":{"date-parts":[[2016,4,8]],"date-time":"2016-04-08T18:49:00Z","timestamp":1460141340000},"page":"225-243","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":22,"title":["Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Bouissou","sequence":"first","affiliation":[]},{"given":"Eric","family":"Goubault","sequence":"additional","affiliation":[]},{"given":"Sylvie","family":"Putot","sequence":"additional","affiliation":[]},{"given":"Aleksandar","family":"Chakarov","sequence":"additional","affiliation":[]},{"given":"Sriram","family":"Sankaranarayanan","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,9]]},"reference":[{"key":"13_CR1","doi-asserted-by":"publisher","first-page":"624","DOI":"10.3166\/ejc.16.624-641","volume":"6","author":"A Abate","year":"2010","unstructured":"Abate, A., Katoen, J., Lygeros, J., Prandini, M.: Approximate model checking of stochastic hybrid systems. Eur. J. Control 6, 624\u2013641 (2010)","journal-title":"Eur. J. Control"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-642-54108-7_2","volume-title":"Verified Software: Theories, Tools, Experiments","author":"A Adje","year":"2014","unstructured":"Adje, A., Bouissou, O., Goubault-Larrecq, J., Goubault, E., Putot, S.: Static analysis of programs with imprecise probabilistic inputs. In: Cohen, E., Rybalchenko, A. (eds.) VSTTE 2013. LNCS, vol. 8164, pp. 22\u201347. Springer, Heidelberg (2014)"},{"key":"13_CR3","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)"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Borges, M., Filieri, A., d\u2019Amorim, M., P\u0103s\u0103reanu, C.S., Visser, W.: Compositional solution space quantification for probabilistic software analysis (2014)","DOI":"10.1145\/2594291.2594329"},{"issue":"3","key":"13_CR5","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1109\/MM.2015.52","volume":"35","author":"J Bornholt","year":"2015","unstructured":"Bornholt, J., Mytkowicz, T., McKinley, K.S.: Uncertain $${<\\!{\\rm T}\\!>}$$ : abstractions for uncertain hardware and software. IEEE Micro. 35(3), 132\u2013143 (2015)","journal-title":"IEEE Micro."},{"key":"13_CR6","doi-asserted-by":"publisher","first-page":"051903","DOI":"10.1103\/PhysRevE.79.051903","volume":"79","author":"T Bose","year":"2009","unstructured":"Bose, T., Trimper, S.: Stochastic model for tumor growth with immunization. Phys. Rev. E 79, 051903 (2009)","journal-title":"Phys. Rev. E"},{"issue":"2\u20134","key":"13_CR7","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1007\/s00607-011-0182-8","volume":"94","author":"O Bouissou","year":"2012","unstructured":"Bouissou, O., Goubault, E., Goubault-Larrecq, J., Putot, S.: A generalization of p-boxes to affine arithmetic. Computing 94(2\u20134), 189\u2013201 (2012)","journal-title":"Computing"},{"issue":"4","key":"13_CR8","first-page":"244","volume":"4","author":"J Busaba","year":"2010","unstructured":"Busaba, J., Suwan, S., Kosheleva, O.: A faster algorithm for computing the sum of p-boxes. J. Uncertain Syst. 4(4), 244\u2013249 (2010)","journal-title":"J. Uncertain Syst."},{"key":"13_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1007\/978-3-642-39799-8_34","volume-title":"Computer Aided Verification","author":"A Chakarov","year":"2013","unstructured":"Chakarov, A., Sankaranarayanan, S.: Probabilistic program analysis with martingales. In: Sharygina, N., Veith, H. (eds.) CAV 2013. LNCS, vol. 8044, pp. 511\u2013526. Springer, Heidelberg (2013)"},{"key":"13_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1007\/978-3-662-46681-0_26","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"D Chistikov","year":"2015","unstructured":"Chistikov, D., Dimitrova, R., Majumdar, R.: Approximate counting in SMT and value estimation for probabilistic programs. In: Baier, C., Tinelli, C. (eds.) TACAS 2015. LNCS, vol. 9035, pp. 320\u2013334. Springer, Heidelberg (2015)"},{"key":"13_CR11","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.) Programming Languages and Systems. LNCS, vol. 7211, pp. 169\u2013193. Springer, Heidelberg (2012)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"De Loera, J., Dutra, B., Koeppe, M., Moreinis, S., Pinto, G., Wu, J.: Software for Exact Integration of Polynomials over Polyhedra. ArXiv e-prints, July 2011","DOI":"10.1145\/2110170.2110175"},{"key":"13_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511581274","volume-title":"Concentration of Measure for the Analysis of Randomized Algorithms","author":"D Dubhashi","year":"2009","unstructured":"Dubhashi, D., Panconesi, A.: Concentration of Measure for the Analysis of Randomized Algorithms. Cambridge University Press, Cambridge (2009)"},{"key":"13_CR14","volume-title":"Probability","author":"R Durrett","year":"1991","unstructured":"Durrett, R.: Probability. Theory and Examples. Wadsworth & Brooks\/Cole, Belmont (1991)"},{"key":"13_CR15","doi-asserted-by":"publisher","first-page":"404","DOI":"10.1002\/aic.12278","volume":"57","author":"J Enszer","year":"2011","unstructured":"Enszer, J., Lin, Y., Ferson, S., Corliss, G., Stadtherr, M.: Probability bounds analysis for nonlinear dynamic process models. AIChE J. 57, 404\u2013422 (2011)","journal-title":"AIChE J."},{"key":"13_CR16","volume-title":"RAMAS Risk Calc 4.0 Software: Risk Assessment with Uncertain Numbers","author":"S Ferson","year":"2002","unstructured":"Ferson, S.: RAMAS Risk Calc 4.0 Software: Risk Assessment with Uncertain Numbers. Lewis Publishers, Boca Raton (2002)"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"Ferson, S., Kreinovich, V., Ginzburg, L., Myers, D., Sentz, K.: Constructing probability boxes and Dempster-Shafer structures. Technical report SAND2002-4015, Sandia National Laboratories (2003)","DOI":"10.2172\/809606"},{"key":"13_CR18","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. Theo. Pract. 3, 225\u2013238 (2009)","journal-title":"J. Stat. Theo. Pract."},{"key":"13_CR19","doi-asserted-by":"crossref","unstructured":"Geldenhuys, J., Dwyer, M.B., Visser, W.: Probabilistic symbolic execution. In: ISSTA, pp. 166\u2013176. ACM (2012)","DOI":"10.1145\/2338965.2336773"},{"key":"13_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/11823230_3","volume-title":"Static Analysis","author":"\u00c9 Goubault","year":"2006","unstructured":"Goubault, \u00c9., Putot, S.: Static analysis of numerical algorithms. In: Yi, K. (ed.) SAS 2006. LNCS, vol. 4134, pp. 18\u201334. Springer, Heidelberg (2006)"},{"key":"13_CR21","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. 4646, pp. 542\u2013557. Springer, Heidelberg (2007)"},{"issue":"3","key":"13_CR22","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1002\/rsa.20008","volume":"24","author":"S Janson","year":"2004","unstructured":"Janson, S.: Large deviations for sums of partly dependent random variables. Random Struct. Algorithms 24(3), 234\u2013248 (2004)","journal-title":"Random Struct. Algorithms"},{"key":"13_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/978-3-642-31424-7_26","volume-title":"Computer Aided Verification","author":"C Jegourel","year":"2012","unstructured":"Jegourel, C., Legay, A., Sedwards, S.: Cross-entropy optimisation of importance sampling parameters for statistical model checking. In: Madhusudan, P., Seshia, S.A. (eds.) CAV 2012. LNCS, vol. 7358, pp. 327\u2013342. Springer, Heidelberg (2012)"},{"key":"13_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1007\/978-3-642-03845-7_15","volume-title":"Computational Methods in Systems Biology","author":"SK Jha","year":"2009","unstructured":"Jha, S.K., Clarke, E.M., Langmead, C.J., Legay, A., Platzer, A., Zuliani, P.: A bayesian approach to model checking biological systems. In: Degano, P., Gorrieri, R. (eds.) CMSB 2009. LNCS, vol. 5688, pp. 218\u2013234. Springer, Heidelberg (2009)"},{"key":"13_CR25","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. 6806, pp. 585\u2013591. Springer, Heidelberg (2011)"},{"issue":"1\u20133","key":"13_CR26","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1016\/j.apal.2007.11.006","volume":"152","author":"R Lassaigne","year":"2008","unstructured":"Lassaigne, R., Peyronnet, S.: Probabilistic verification and approximation. Ann. Pure Appl. Logic 152(1\u20133), 122\u2013131 (2008)","journal-title":"Ann. Pure Appl. Logic"},{"key":"13_CR27","series-title":"Imperial College Press Optimization Series","volume-title":"Moments, Positive Polynomials and Their Applications","author":"JB Lasserre","year":"2011","unstructured":"Lasserre, J.B.: Moments, Positive Polynomials and Their Applications. Imperial College Press Optimization Series, vol. 1. World Scientific, Singapore (2011)"},{"issue":"1","key":"13_CR28","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1038\/clpt.1980.138","volume":"28","author":"DA McClain","year":"1980","unstructured":"McClain, D.A., Hug, C.C.: Intravenous fentanyl kinetics. Clin. Pharmacol. Ther. 28(1), 106\u2013114 (1980)","journal-title":"Clin. Pharmacol. Ther."},{"key":"13_CR29","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. 1824, pp. 322\u2013339. Springer, Heidelberg (2000)"},{"issue":"4","key":"13_CR30","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1023\/B:REOM.0000032114.08705.cd","volume":"10","author":"A Neumaier","year":"2004","unstructured":"Neumaier, A.: Clouds, fuzzy sets and probability intervals. Reliable Comput. 10(4), 249\u2013272 (2004)","journal-title":"Reliable Comput."},{"key":"13_CR31","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-94-017-1247-7_7","volume-title":"Developments in Reliable Computing","author":"S Rump","year":"1999","unstructured":"Rump, S.: INTLAB - INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing, pp. 77\u2013104. Kluwer Academic Publishers, Berlin (1999)"},{"key":"13_CR32","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: PLDI 2013, pp. 447\u2013458. ACM Press (2013)","DOI":"10.1145\/2499370.2462179"},{"key":"13_CR33","doi-asserted-by":"crossref","DOI":"10.1515\/9780691214696","volume-title":"A Mathematical Theory of Evidence","author":"G Shafer","year":"1976","unstructured":"Shafer, G.: A Mathematical Theory of Evidence. Princeton University Press, Princeton (1976)"},{"key":"13_CR34","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1097\/00000542-198802000-00013","volume":"68","author":"SL Shafer","year":"1988","unstructured":"Shafer, S.L., Siegel, L.C., Cooke, J.E., Scott, J.C.: Testing computer-controlled infusion pumps by simulation. Anesthesiology 68, 261\u2013266 (1988)","journal-title":"Anesthesiology"},{"key":"13_CR35","doi-asserted-by":"crossref","unstructured":"Shmarov, F., Zuliani, P.: Probreach: verified probabilistic delta-reachability for stochastic hybrid systems. In: HSCC 2015, pp. 134\u2013139 (2015)","DOI":"10.1145\/2728606.2728625"},{"issue":"7","key":"13_CR36","doi-asserted-by":"publisher","first-page":"901","DOI":"10.1177\/0278364912444146","volume":"31","author":"J Steinhardt","year":"2012","unstructured":"Steinhardt, J., Tedrake, R.: Finite-time regional verification of stochastic non-linear systems. Int. J. Robot. Res. 31(7), 901\u2013923 (2012)","journal-title":"Int. J. Robot. Res."},{"key":"13_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, pp. 531\u2013536. IEEE Computer Society Press (2008)","DOI":"10.1109\/ASPDAC.2008.4484008"},{"key":"13_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: ACC 2010 (2010)","DOI":"10.1109\/ACC.2010.5530816"},{"issue":"2","key":"13_CR39","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/0888-613X(90)90022-T","volume":"4","author":"RC Williamson","year":"1990","unstructured":"Williamson, R.C., Downs, T.: Probabilistic arithmetic: numerical methods for calculating convolutions and dependency bounds. J. Approximate Reasoning 4(2), 89\u2013158 (1990)","journal-title":"J. Approximate Reasoning"},{"key":"13_CR40","volume-title":"Numerical Methods for Stochastic Computation: A Spectral Method Approach","author":"D Xiu","year":"2010","unstructured":"Xiu, D.: Numerical Methods for Stochastic Computation: A Spectral Method Approach. Princeton University Press, Princeton (2010)"},{"issue":"9","key":"13_CR41","doi-asserted-by":"publisher","first-page":"1368","DOI":"10.1016\/j.ic.2006.05.002","volume":"204","author":"HLS Younes","year":"2006","unstructured":"Younes, H.L.S., Simmons, R.G.: Statistical probabilitistic model checking with a focus on time-bounded properties. Inform. Comput. 204(9), 1368\u20131409 (2006)","journal-title":"Inform. Comput."}],"container-title":["Lecture Notes in Computer Science","Tools and Algorithms for the Construction and Analysis of Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-49674-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T08:26:58Z","timestamp":1748852818000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-49674-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783662496732","9783662496749"],"references-count":41,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-49674-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"9 April 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}