Výsledky vyhledávání - "Waeselynck, Hélène"

Report

Benchmarking Safety Monitors for Image Classifiers with Machine Learning

Autor: Ferreira, Raul Sena, Arlat, Jean, Guiochet, Jeremie, Waeselynck, Hélène

Publikováno v: 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021), IEEE, Dec 2021, Perth, Australia

High-accurate machine learning (ML) image classifiers cannot guarantee that they will not fail at operation. Thus, their deployment in safety-critical applications such as autonomous vehicles is still an open issue. The use of fault tolerance mechani

Externí odkaz: http://arxiv.org/abs/2110.01232

Zobrazit plný text záznamu

Akademický článek

Safety-critical advanced robots: A survey

Autor: Guiochet, Jérémie, Machin, Mathilde, Waeselynck, Hélène

Publikováno v: In Robotics and Autonomous Systems August 2017 94:43-52

Zobrazit plný text záznamu

Pairwise Testing Revisited for Structured Data With Constraints

Autor: Sartori, Luca Vittorio, Waeselynck, Hélène, Guiochet, Jérémie

Publikováno v: 16th IEEE International Conference on Software Testing, Verification and Validation (ICST)
International Conference on Software Testing, Verification and Validation (ICST)
International Conference on Software Testing, Verification and Validation (ICST), Apr 2023, Dublin, Ireland
IEEE International Conference on Software Testing, Verification and Validation (ICST 2023)
IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), Apr 2023, Dublin, Ireland. ⟨10.1109/ICST57152.2023.00027⟩
2023 IEEE Conference on Software Testing, Verification and Validation (ICST)

International audience; Pairwise testing (PT) exercises the interactions of pairs of input parameters. The approach is classically defined for a flat set of parameters, the number of which is fixed. Such a definition does not fit well with applicatio

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d4bf20b06446d929ebd62223984c7ebe
https://hal.laas.fr/hal-03938378

Zobrazit plný text záznamu

Integration of test generation into simulation-based platforms

Autor: Sartori, Luca Vittorio, Guiochet, Jérémie, Waeselynck, Hélène, Berlanga Galvan, Aizar Antonio, Hébert-Vernhes, Simon, Albert, Magnus

Publikováno v: 3rd ACM/IEEE International Conference on Automation of Software Test
3rd ACM/IEEE International Conference on Automation of Software Test, May 2022, Pittsburgh, United States. ⟨10.1145/3524481.3527236⟩

International audience; Field-testing is costly and time-consuming, hence, simulation-based testing is becoming more and more important to validate autonomous systems. Since autonomous systems can be deployed in diverse environments, a significant am

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e880c614d231a1652da14b3d737b71c9
https://doi.org/10.1145/3524481.3527236

Zobrazit plný text záznamu

TAF: a tool for diverse and constrained test case generation

Autor: ROBERT, Clément, Guiochet, Jérémie, Waeselynck, Hélène, Sartori, Luca Vittorio

Publikováno v: 21st IEEE International Conference on Software Quality, Reliability and Security (QRS)
21st IEEE International Conference on Software Quality, Reliability and Security (QRS), Dec 2021, Hanan Island, China. ⟨10.1109/QRS54544.2021.00042⟩
2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS)
21st IEEE International Conference on Software Quality, Reliability and Security (QRS), Dec 2021, Hanan Island, China

International audience; The generation of test cases may have to accommodate size-varying data structures and semantic constraints between the data elements. This often requires the development of custom generators. In this paper, we introduce a nove

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::52a50c46f0506622ce319f3ff1d9e1c7
https://hal.laas.fr/hal-03435959/file/350_file_Submit_PDF.pdf

Zobrazit plný text záznamu

Benchmarking Safety Monitors for Image Classifiers with Machine Learning

Autor: Sena Ferreira, Raul, Arlat, Jean, Guiochet, Jérémie, Waeselynck, Hélène

Publikováno v: 26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021)
26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021), IEEE, Dec 2021, Perth, Australia
26th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2021), IEEE, Dec 2021, Perth, Australia. ⟨10.1109/PRDC53464.2021.00012⟩

International audience; High-accurate machine learning (ML) image classifiers cannot guarantee that they will not fail at operation. Thus, their deployment in safety-critical applications such as autonomous vehicles is still an open issue. The use of

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fedbc335e93c927012162fc391f414c1

Zobrazit plný text záznamu

Akademický článek

Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

Emerging high assurance solutions for safe, secure, and reliable software systems

Autor: Babiceanu, Radu, Waeselynck, Hélène

Publikováno v: Journal of Software: Evolution and Process
Journal of Software: Evolution and Process, 30 (3), pp.e1950, 2018, ⟨10.1002/smr.1950⟩

International audience; This editorial introduces the special issue on High Assurance Systems Engineering concepts for safe, secure, and reliable software systems in the Journal of Software: Evolution and Process. The nine papers published in this sp

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::369d8897edb541e4c7fb2673d7dba35c
https://hal.laas.fr/hal-01954953

Zobrazit plný text záznamu

Akademický článek

The many meanings of UML 2 Sequence Diagrams: a survey.

Autor: Micskei, Zoltán¹ micskeiz@mit.bme.hu, Waeselynck, Hélène waeselyn@laas.fr

Publikováno v: Software & Systems Modeling. Oct2011, Vol. 10 Issue 4, p489-514. 26p. 24 Diagrams, 8 Charts.

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání