Search - Université Paris 1 Panthéon-Sorbonne Access content directly

Filter your results

3 Results
authFullName_s : Raul Barbosa
Image document

Online Verification through Model Checking of Medical Critical Intelligent Systems

Joao Martins , Raul Barbosa , Nuno Lourenco , Jacques Robin , Henrique Madeira
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Jun 2020, Valencia, Spain. pp.32-37, ⟨10.1109/DSN-W50199.2020.00015⟩
Conference papers hal-03967999v1

A Self-Certifiable Architecture for Critical Systems Powered by Probabilistic Logic Artificial Intelligence

Jacques Robin , Raúl Mazo , Henrique Madeira , Raul Barbosa , Daniel Diaz , et al.
International Workshop on Artificial Intelligence Safety Engineering, 2019, Turku, Finland
Conference papers hal-02297049v1

Online Verification through Model Checking of Medical Critical Intelligent Systems

Joao Martins , Raul Barbosa , Nuno Lourenco , Jacques Robin , Henrique Madeira
2020 50th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), Jun 2020, Valencia, Spain. pp.32-37, ⟨10.1109/DSN-W50199.2020.00015⟩
Conference papers hal-03996783v1