Search - LAAS-Informatique Critique Access content directly

Filter your results

11 Results
Domains : math
Image document

D-S Theory for Argument Confidence Assessment

Rui Wang , Jérémie Guiochet , Gilles Motet , Walter Schön
4th International Conference on Belief Functions (BELIEF 2016), Sep 2016, Prague, Czech Republic. pp.190-200, ⟨10.1007/978-3-319-45559-4_20⟩
Conference papers hal-01372016v1
Image document

Modelling Confidence in Railway Safety Case

Rui Wang , Jérémie Guiochet , Gilles Motet , Walter Schön
Safety Science, 2018, 110 (part B), pp.286-299. ⟨10.1016/j.ssci.2017.11.012⟩
Journal articles hal-01661045v1
Image document

Quantifying confidence of safety cases with belief functions

Yassir Idmessaoud , Didier Dubois , Jérémie Guiochet
6th International Conference on Belief Functions (BELIEF 2021), Oct 2021, Shanghai, China. ⟨10.1007/978-3-030-88601-1_27⟩
Conference papers hal-03366274v1
Image document

Confidence Assessment Framework for Safety Arguments

Rui Wang , Jérémie Guiochet , Gilles Motet
International Conference on Computer Safety, Reliability, and Security (SAFECOMP), Trento, Italy, Sep 2017, Trento, Italy. 14p
Conference papers hal-01533221v1
Image document

Bipartite Matching Heuristics with Quality Guarantees on Shared Memory Parallel Computers

Fanny Dufossé , Kamer Kaya , Bora Uçar
28th IEEE International Parallel & Distributed Processing Symposium (IPDPS), May 2014, Phoenix, Arizona, United States. ⟨10.1109/IPDPS.2014.63⟩
Conference papers hal-01235162v1
Image document

Skill-based design of dependable robotic architectures

Alexandre Albore , David Doose , Christophe Grand , Jérémie Guiochet , Charles Lesire , et al.
Robotics and Autonomous Systems, 2022, 160, pp.104318. ⟨10.1016/j.robot.2022.104318⟩
Journal articles hal-03927289v1

Quaternions réels duaux et complexes

Jean Hladik , Pierre-Emmanuel Hladik
Ellipses Marketing, 2016, 978-2340010468
Books hal-01587436v1
Image document

A Framework for Assessing Safety Argumentation Confidence

Rui Wang , Jérémie Guiochet , Gilles Motet
8th International Workshop, SERENE , Sep 2016, Gothenburg, Sweden. ⟨10.1007/978-3-319-45892-2_1⟩
Conference papers hal-01372049v1
Image document

A qualitative counterpart of belief functions with application to uncertainty propagation in safety cases

Yassir Idmessaoud , Didier Dubois , Jérémie Guiochet
7th International Conference on Belief Functions (BELIEF 2022), Oct 2022, Paris, France. ⟨10.1007/978-3-031-17801-6_22⟩
Conference papers hal-03709837v1
Image document

Why don't we use free 868 MHz band for geolocation?

Zineb Aqachmar , Pascal Acco , Jean-Yves Fourniols , Guillaume Auriol , Christophe Escriba
IEEE 27th Convention of Electrical & Electronics Engineers in Israel (IEEEI 2012), Nov 2012, Eilat, Israel. ⟨10.1109/EEEI.2012.6377141⟩
Conference papers hal-01886054v1
Image document

Bipartite matching heuristics with quality guarantees on shared memory parallel computers

Fanny Dufossé , Kamer Kaya , Bora Uçar
[Research Report] Inria; laas. 2013, pp.28
Reports hal-00877211v3