G. Arce, Nonlinear Signal Processing: A Statistical Approach, 2005.
DOI : 10.1002/0471691852

E. Auer, W. Luther, G. Rebner, and P. Limbourg, A verified matlab toolbox for the dempster-shafer theory, 2010.

D. Berleant and C. Goodman-strauss, Bounding the results of arithmetic operations on random variables of unknown dependency using intervals, Reliable Computing, vol.4, issue.2, pp.147-165, 1998.
DOI : 10.1023/A:1009933109326

D. Berleant, L. Xie, and J. Zhang, Statool: A tool for distribution envelope determination (denv), an interval-based algorithm for arithmetic on random variables, Reliable Computing, vol.9, issue.2, pp.91-108, 2003.
DOI : 10.1023/A:1023082100128

O. Bouissou, E. Goubault, J. Goubault-larrecq, and S. Putot, A generalization of pboxes to affine arithmetic, pp.1-13, 2011.

O. Bouissou, E. Goubault, S. Putot, K. Tekkal, and F. Vedrine, HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment, LNCS, pp.620-626, 2009.
DOI : 10.1007/978-3-642-02658-4_46

J. Busaba, S. Suwan, and O. Kosheleva, A faster algorithm for computing the sum of p-boxes, Journal of Uncertain Systems, vol.4, issue.4, 2010.

G. Choquet, Theory of capacities, Annales de l???institut Fourier, vol.5, pp.131-295, 1953.
DOI : 10.5802/aif.53

J. L. Comba and J. Stolfi, Affine arithmetic and its applications to computer graphics, p.93, 1993.

P. Cousot and M. Monereau, Probabilistic Abstract Interpretation, Proc. ESOP'12, pp.169-193, 2012.
DOI : 10.1007/978-3-642-28869-2_9

S. Destercke, D. Dubois, and E. Chojnacki, Unifying practical uncertainty representations ??? I: Generalized p-boxes, International Journal of Approximate Reasoning, vol.49, issue.3, 2008.
DOI : 10.1016/j.ijar.2008.07.003
URL : https://hal.archives-ouvertes.fr/irsn-00311696

S. Destercke, D. Dubois, and E. Chojnacki, Unifying practical uncertainty representations. II: Clouds, International Journal of Approximate Reasoning, vol.49, issue.3, 2008.
DOI : 10.1016/j.ijar.2008.07.004
URL : https://hal.archives-ouvertes.fr/irsn-00311696

J. A. Enszer, Y. Lin, S. Ferson, G. F. Corliss, and M. A. Stadtherr, Probability bounds analysis for nonlinear dynamic process models, AIChE Journal, vol.4, issue.2, 2011.
DOI : 10.1002/aic.12278

W. Feller, An Introduction to Probability Theory and Its Applications, 1968.

J. Feret, Static Analysis of Digital Filters, European Symposium on Programming No. 2986 in LNCS, 2004.
DOI : 10.1007/978-3-540-24725-8_4
URL : https://hal.archives-ouvertes.fr/inria-00528447

S. Ferson, RAMAS Risk Calc 4.0 Software: Risk Assessment with Uncertain Numbers, 2002.

S. Ferson, V. Kreinovich, L. Ginzburg, D. Myers, and K. Sentz, Constructing probability boxes and Dempster-Shafer structures, 2003.
DOI : 10.2172/809606

S. Ferson, What Monte Carlo methods cannot do, Human and Ecological Risk Assessment: An International Journal, vol.4, issue.4, pp.990-1007, 1996.
DOI : 10.1016/0888-613X(90)90022-T

M. Fuchs and A. Neumaier, Potential Based Clouds in Robust Design Optimization, Journal of Statistical Theory and Practice, vol.36, issue.1, pp.225-238, 2009.
DOI : 10.1080/15598608.2009.10411922

K. Ghorbal, E. Goubault, and S. Putot, A Logical Product Approach to Zonotope Intersection, CAV. LNCS, 2010.
DOI : 10.1007/978-3-642-14295-6_22

E. Goubault and S. Putot, A zonotopic framework for functional abstractions, Formal Methods in System Design, vol.2, issue.1???4, p.1763, 2009.
DOI : 10.1007/s10703-015-0238-z

E. Goubault and S. Putot, Static Analysis of Finite Precision Computations, VM- CAI'11, pp.232-247, 2011.
DOI : 10.1007/978-3-540-24738-8_18

J. Goubault-larrecq, Continuous Capacities on Continuous State Spaces, ICALP'07, pp.764-776, 2007.
DOI : 10.1007/978-3-540-73420-8_66

J. Goubault-larrecq, Prevision Domains and Convex Powercones, FoSSaCS'08, pp.318-333, 2008.
DOI : 10.1007/978-3-540-78499-9_23
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.111.6581

J. Goubault-larrecq and K. Keimel, Choquet???Kendall???Matheron theorems for non-Hausdorff spaces, Mathematical Structures in Computer Science, vol.4596, issue.03, pp.511-561, 2011.
DOI : 10.1017/S0960129510000617

M. Kwiatkowska, G. Norman, and D. Parker, PRISM 4.0: Verification of Probabilistic Real-Time Systems, pp.585-591, 2011.
DOI : 10.1007/3-540-45657-0_17
URL : https://hal.archives-ouvertes.fr/hal-00648035

Y. Lin and M. A. Stadtherr, Validated solution of initial value problems for odes with interval parameters, In: NSF Workshop on Reliable Engineering Computing, 2006.

R. Mancini and B. Carter, Op Amps for Everyone, Electronics & Electrical, 2009.

A. Mciver and C. Morgan, Demonic, angelic and unbounded probabilistic choices in sequential programs, Acta Informatica, vol.37, issue.4-5, pp.329-354, 2001.
DOI : 10.1007/s002360000046

M. Mislove, Nondeterminism and Probabilistic Choice: Obeying the Laws, pp.350-364, 2000.
DOI : 10.1007/3-540-44618-4_26

D. Monniaux, Abstract Interpretation of Probabilistic Semantics, No. 1824 in LNCS, pp.322-339, 2000.
DOI : 10.1007/978-3-540-45099-3_17

A. Neumaier, Clouds, Fuzzy Sets, and Probability Intervals, Reliable Computing, vol.10, issue.4, 2004.
DOI : 10.1023/B:REOM.0000032114.08705.cd
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.3756

S. Rump, INTLAB ??? INTerval LABoratory, Developments in Reliable Computing, pp.77-104, 1999.
DOI : 10.1007/978-94-017-1247-7_7
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.38.8132

S. Sankaranarayanan, A. Chakarov, and S. Gulwani, Towards static analysis for probabilistic programs, PLDI'13, 2013.

G. Shafer, A Mathematical Theory of Evidence, 1976.

J. Sun, Y. Huang, J. Li, and J. M. Wang, Chebyshev affine arithmetic based parametric yield prediction under limited descriptions of uncertainty, pp.531-536, 2008.

G. Terejanu, P. Singla, T. Singh, and P. D. Scott, Approximate interval method for epistemic uncertainty propagation using Polynomial Chaos and evidence theory, Proceedings of the 2010 American Control Conference, 2010.
DOI : 10.1109/ACC.2010.5530816

R. Tix, Continuous D-Cones: Convexity and Powerdomain Constructions, 1999.

R. Tix, K. Keimel, and G. Plotkin, Semantic domains for combining probability and non-determinism, ENTCS, vol.129, pp.1-104, 2005.

P. Walley, Statistical Reasoning with Imprecise Probabilities, 1991.
DOI : 10.1007/978-1-4899-3472-7

R. C. Williamson and T. Downs, Probabilistic arithmetic. I. Numerical methods for calculating convolutions and dependency bounds, International Journal of Approximate Reasoning, vol.4, issue.2, 1990.
DOI : 10.1016/0888-613X(90)90022-T
URL : http://axiom.anu.edu.au/%7Ewilliams/ProbabilisticArithmeticScanned.pdf