IRT Saint Exupéry • Technological Research Institute

Accelerating science, technology research & transfers to industry


631 documents

  • Luca Mossina, Joseba Dalmau, Léo Andéol. Conformal Semantic Image Segmentation: Post-hoc Quantification of Predictive Uncertainty. Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR) Workshops, Jun 2024, Seattle, United States. pp.3574-3584. ⟨hal-04565173⟩
  • Guillaume Brau, Eric Jenn, Emmanuel Courty, Kevin Delmas, Frédéric Boniol. A Refinement Method for Interference Analysis using the PHYLOG Modeling Language. 12th European Congress on Embedded Real Time Software and Systems (ERTS24), Jun 2024, Toulouse, France. ⟨hal-04653727⟩
  • Vincent Mussot, Eric Jenn, Florent Chenevier, Ramon Conejo Laguna, Yassir Id Messaoud, et al.. Assurance Cases to face the complexity of ML-based systems verification. Embedded Real Time System Congress, ERTS'24, Jun 2024, Toulouse, France. ⟨hal-04588599v2⟩
  • Yassir Idmessaoud, Jean-Loup Farges, Eric Jenn, Vincent Mussot, Anthony Fernandes Pires, et al.. Uncertainty in Assurance Case Pattern for Machine Learning. Embedded Real Time Systems (ERTS), Jun 2024, Toulouse, France. ⟨hal-04584490⟩
  • Philippe Cuenot, Thierry Leydier, Damien Fruchard, Massimo Barbero, Quentin Bailleul. Yet another experience on TSN tools interoperability for critical embedded networks. ERTS2024, Jun 2024, Toulouse, France. ⟨hal-04672432⟩
  • Damien Chabrol, Jean Guyomarc'H, Fabien Siron, Guillaume Phavorin, Sam Thompson, et al.. Separation of functional and time interference concerns for efficient AMC 20-193 compliance. ERTS2024, Jun 2024, Toulouse, France. ⟨hal-04649192⟩
  • Christophe Gabreau, Marie-Charlotte Teulières, Eric Jenn, Augustin Lemesle, Dumitru Potop-Butucaru, et al.. A study of an ACAS-Xu exact implementation using ED-324/ARP6983. 12th European Congress Embedded Real Time Systems - ERTS 2024, Jun 2024, Toulouse (31000), France. ⟨hal-04584782⟩
  • Florence de Grancey, Sébastien Gerchinovitz, Lucian Alecu, Hugues Bonnin, Joseba Dalmau, et al.. On the Feasibility of EASA Learning Assurance Objectives for Machine Learning Components. ERTS 2024, Jun 2024, Toulouse, France. ⟨hal-04575318v2⟩
  • Cyril Cappi, Noémie Cohen, Mélanie Ducoffe, Christophe Gabreau, Laurent Gardes, et al.. How to design a dataset compliant with an ML-based system ODD?. 12th European Congress on Embedded Real Time Software and Systems, Jun 2024, Toulouse, France. ⟨10.48550/ARXIV.2406.14027⟩. ⟨hal-04614554⟩
  • Sebastien Dube, Mirna Ojeda, Jean-Marie Gauthier. Coupling Optimization using Design Structure Matrices and Genetic Algorithm. ERTS2024, SEE; 3AF, Jun 2024, Toulouse, France. ⟨hal-04632975⟩

Powered by HAL logo

Scroll to top