Search - CEA - Commissariat à l’énergie atomique et aux énergies alternatives Access content directly

Filter your results

2 Results
authFullName_s : O. Bouissou

Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities

O. Bouissou , E. Goubault , S. Putot , A. Chakarov , S. Sankaranarayanan
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2016. Lecture Notes in Computer Science, Apr 2016, Eindhoven, Netherlands. pp.225-243, ⟨10.1007/978-3-662-49674-9_13⟩
Conference papers cea-01834974v1

Fixpoint computation in the polyhedra abstract domain using convex and numerical analysis tools

Y. Seladji , O. Bouissou
Verification, Model Checking, and Abstract Interpretation. VMCAI 2013. Lecture Notes in Computer Science, Jan 2013, Rome, Italy. pp.149-168, ⟨10.1007/978-3-642-35873-9_11⟩
Conference papers istex cea-01834985v1