Nonlinear Signal Processing: A Statistical Approach, 2005. ,
DOI : 10.1002/0471691852
A verified matlab toolbox for the dempster-shafer theory, 2010. ,
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
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
A generalization of pboxes to affine arithmetic, pp.1-13, 2011. ,
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
A faster algorithm for computing the sum of p-boxes, Journal of Uncertain Systems, vol.4, issue.4, 2010. ,
Theory of capacities, Annales de l???institut Fourier, vol.5, pp.131-295, 1953. ,
DOI : 10.5802/aif.53
Affine arithmetic and its applications to computer graphics, p.93, 1993. ,
Probabilistic Abstract Interpretation, Proc. ESOP'12, pp.169-193, 2012. ,
DOI : 10.1007/978-3-642-28869-2_9
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
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
Probability bounds analysis for nonlinear dynamic process models, AIChE Journal, vol.4, issue.2, 2011. ,
DOI : 10.1002/aic.12278
An Introduction to Probability Theory and Its Applications, 1968. ,
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
RAMAS Risk Calc 4.0 Software: Risk Assessment with Uncertain Numbers, 2002. ,
Constructing probability boxes and Dempster-Shafer structures, 2003. ,
DOI : 10.2172/809606
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
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
A Logical Product Approach to Zonotope Intersection, CAV. LNCS, 2010. ,
DOI : 10.1007/978-3-642-14295-6_22
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
Static Analysis of Finite Precision Computations, VM- CAI'11, pp.232-247, 2011. ,
DOI : 10.1007/978-3-540-24738-8_18
Continuous Capacities on Continuous State Spaces, ICALP'07, pp.764-776, 2007. ,
DOI : 10.1007/978-3-540-73420-8_66
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
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
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
Validated solution of initial value problems for odes with interval parameters, In: NSF Workshop on Reliable Engineering Computing, 2006. ,
Op Amps for Everyone, Electronics & Electrical, 2009. ,
Demonic, angelic and unbounded probabilistic choices in sequential programs, Acta Informatica, vol.37, issue.4-5, pp.329-354, 2001. ,
DOI : 10.1007/s002360000046
Nondeterminism and Probabilistic Choice: Obeying the Laws, pp.350-364, 2000. ,
DOI : 10.1007/3-540-44618-4_26
Abstract Interpretation of Probabilistic Semantics, No. 1824 in LNCS, pp.322-339, 2000. ,
DOI : 10.1007/978-3-540-45099-3_17
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
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
Towards static analysis for probabilistic programs, PLDI'13, 2013. ,
A Mathematical Theory of Evidence, 1976. ,
Chebyshev affine arithmetic based parametric yield prediction under limited descriptions of uncertainty, pp.531-536, 2008. ,
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
Continuous D-Cones: Convexity and Powerdomain Constructions, 1999. ,
Semantic domains for combining probability and non-determinism, ENTCS, vol.129, pp.1-104, 2005. ,
Statistical Reasoning with Imprecise Probabilities, 1991. ,
DOI : 10.1007/978-1-4899-3472-7
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