Filter your results
- 2
- 2
- 2
- 1
- 1
- 2
- 2
- 1
- 2
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Uncertainty propagation using probabilistic affine forms and concentration of measure inequalitiesTools 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 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
|