E-LIB Suche - Ergebnisse für: Gabreau, Christophe

1

Certification of avionic software based on machine learning..:

Ducoffe, Mélanie ; Gabreau, Christophe ; Ober, Ileana..
International Journal on Software Tools for Technology Transfer. 26 (2024) 2 - p. 189-205 , 2024

Link: https://doi.org/10.1007/..

2

Qualification of Avionic Software Based on Machine Learning..:

Vidot, Guillaume ; Gabreau, Christophe ; Ober, Ileana.
Journal of Aerospace Information Systems. 21 (2024) 5 - p. 367-379 , 2024

Link: https://doi.org/10.2514/..

3

Formal Monotony Analysis of Neural Networks with Mixed Inpu..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,

Vidot, Guillaume ; Ducoffe, Mélanie ; Gabreau, Christophe.. - p. 15-31 , 2022

Link: https://doi.org/10.1007/..

4

Towards Certification of a Reduced Footprint ACAS-Xu System..:

, In: Lecture Notes in Computer Science; Computer Safety, Reliability, and Security,

Damour, Mathieu ; De Grancey, Florence ; Gabreau, Christophe... - p. 34-48 , 2021

Link: https://doi.org/10.1007/..

5

Verification for Object Detection – IBP IoU:

Cohen, Noémie ; Ducoffe, Mélanie ; Boumazouza, Ryma...
hal-04405518. , 2024

Link: https://hal.science/hal-..

6

Toward the certification of safety-related systems using ML..:

Gabreau, Christophe ; Gauffriau, Adrien ; Grancey, Florence De..
hal-03761946. , 2022

Link: https://hal.science/hal-..

7

Formal Monotony Analysis of Neural Networks with Mixed Inpu..:

Vidot, Guillaume ; Ducoffe, Mélanie ; Gabreau, Christophe..
https://oatao.univ-toulouse.fr/29168/1/Vidot_29168.pdf. , 2022

Link: https://oatao.univ-toulo..

8

Formal Monotony Analysis of Neural Networks with Mixed Inpu..:

Vidot, Guillaume ; Ducoffe, Mélanie ; Gabreau, Christophe..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-15008-1_3. , 2022

Link: https://hal.science/hal-..

9

Toward the certification of safety-related systems using ML..:

Gabreau, Christophe ; Gauffriau, Adrien ; Grancey, Florence De..
hal-03761946. , 2022

Link: https://hal.science/hal-..

10

Formal Monotony Analysis of Neural Networks with Mixed Inpu..:

Vidot, Guillaume ; Ducoffe, Mélanie ; Gabreau, Christophe..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-15008-1_3. , 2022

Link: https://hal.science/hal-..

11

Formal Monotony Analysis of Neural Networks with Mixed Inpu..:

Vidot, Guillaume ; Ducoffe, Mélanie ; Gabreau, Christophe..
info:eu-repo/semantics/altIdentifier/doi/10.1007/978-3-031-15008-1_3. , 2022

Link: https://hal.science/hal-..

12

Toward the certification of safety-related systems using ML..:

Gabreau, Christophe ; Gauffriau, Adrien ; Grancey, Florence De..
hal-03761946. , 2022

Link: https://hal.science/hal-..

13

Certification of embedded systems based on Machine Learning..:

Vidot, Guillaume ; Gabreau, Christophe ; Ober, Ileana.
info:eu-repo/semantics/altIdentifier/arxiv/2106.07221. , 2021

Link: https://hal.archives-ouv..

14

White Paper Machine Learning in Certified Systems:

Mamalet, Franck ; Jenn, Eric ; Flandin, Gregory...
hal-03176080. , 2021

Link: https://hal.science/hal-..

15

Certification of embedded systems based on Machine Learning..:

Vidot, Guillaume ; Gabreau, Christophe ; Ober, Ileana.
http://arxiv.org/abs/2106.07221. , 2021

Link: http://arxiv.org/abs/210..