Filtrer vos résultats
- 17
- 15
- 1
- 1
- 13
- 6
- 5
- 2
- 2
- 6
- 2
- 3
- 2
- 1
- 1
- 16
- 1
- 15
- 5
- 3
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 17
- 7
- 4
- 4
- 4
- 3
- 3
- 3
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
17 résultats
|
|
triés par
|
|
Patterns for Certification StandardsAdvanced Information Systems Engineering, 32nd International Conference, CAiSE 2020, Jun 2020, Grenoble, France. pp.417 - 432, ⟨10.1007/978-3-030-49435-3_26⟩
Communication dans un congrès
hal-03171837v1
|
||
|
Can we reconcile safety objectives with machine learning performances?ERTS 2022, Jun 2022, TOULOUSE, France
Communication dans un congrès
hal-03765471v1
|
||
|
PHYLOG certification methodology: a sane way to embed multi-core processors10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Communication dans un congrès
hal-02441323v1
|
||
|
PHYLOG: a model-based certification framework37th AIAA/IEEE Digital Avionics Systems Conference (DASC), Sep 2018, LONDRES, United Kingdom
Communication dans un congrès
hal-01888687v1
|
||
|
A service-based modelling approach to ease the certification of multi-core COTS processorsSAE AEROTECH® Europe, Sep 2019, Bordeaux, France. ⟨10.4271/2019-01-1851⟩
Communication dans un congrès
hal-02441365v1
|
||
|
Evaluation of Runtime Monitoring for UAV Emergency LandingInternational Conference on Robotics and Automation (ICRA), May 2022, Philadelphia, United States
Communication dans un congrès
hal-03600856v1
|
||
|
Multi-core processor: Stepping inside the boxESREL 2021, Sep 2021, Angers, France
Communication dans un congrès
hal-03423962v1
|
||
|
Optimization of Development Assurance Level AllocationAIAA DASC 2023, Oct 2023, BARCELONE, Spain
Communication dans un congrès
hal-04313961v1
|
||
|
Quality of Fault Injection Strategies on Hardware AcceleratorSAFECOMP 2022 : the 41st International conférence on Computer Safety, Reliability and Security, Sep 2022, Munich, Germany. pp.222-236, ⟨10.1007/978-3-031-14835-4_15⟩
Communication dans un congrès
hal-03941258v1
|
||
|
Out-Of-Distribution Detection Is Not All You NeedThe 37th AAAI conference on artificial intelligence (2023), Feb 2023, Washington DC, United States
Communication dans un congrès
hal-03870531v2
|
||
|
Unifying Evaluation of Machine Learning Safety Monitors33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022), Oct 2022, Charlotte, United States. ⟨10.1109/ISSRE55969.2022.00047⟩
Communication dans un congrès
hal-03765273v1
|
||
|
Modelling and analyzing multi-core COTS processors11th European Congress on Embedded Real Time Software and Systems (ERTS 2022), Jun 2022, Toulouse, France
Communication dans un congrès
hal-03761937v1
|
||
|
ERTS 2022 proceedings2022
Proceedings/Recueil des communications
hal-03704287v1
|
||
|
Tiered Model-Based Safety AssessmentIMBSA 2019, Oct 2019, Thessalonique, Greece. pp.141-156, ⟨10.1007/978-3-030-32872-6_10⟩
Communication dans un congrès
hal-02873871v1
|
||
|
On the safety assessment of RPAS safety policy10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, TOULOUSE, France
Communication dans un congrès
hal-02441649v1
|
||
|
Synthèse automatique d'architectures tolérantes aux fautesLangage de programmation [cs.PL]. INSTITUT SUPERIEUR DE L’AERONAUTIQUE ET DE L’ESPACE (ISAE); UNIVERSITE DE TOULOUSE, 2017. Français. ⟨NNT : ⟩
Thèse
tel-01702714v1
|
||
|
Certifying Emergency Landing for Safe Urban UAV7th International Workshop on Safety and Security of Intelligent Vehicles (SSIV 2021) at IEEE/IFIP Intern. Conf. on Dependable Systems and Networks (DSN), Jun 2021, Taipei (virtual), Taiwan. ⟨10.1109/DSN-W52860.2021.00020⟩
Communication dans un congrès
hal-03213534v1
|