Visits Simula & Inria

2024

9 - 12 April, Simula, Oslo

  • “RIPOST Team presentation / context / goals” - Arnaud Gotlieb, Mathieu Acher
  • “Reproducibility and the NARPS Challenges” - Gauthier Le-Bartz-Lyan
  • “Reproducibility Experiments on the Verification Results of Neural Networks” - Dennis Groß
  • “Reproducibility + Floating point case study” - Mathieu Acher
  • “Performance Analysis x264” - Gauthier Le-Bartz-Lyan
  • “Testing for Fault Diversity in Reinforcement Learning” - Quentin Mazouni
  • “Rashomon-Differential Critical States in Reinforcement Learning” - Jørn Eirik Betten
  • “Exploiting Qualitative eXplainable Graphs for Enhancing Trustworthiness” - Nassim Belmecheri
  • “Symbolic Execution of Floating-Point Computations” - Arnaud Gotlieb

Visit of Helge Spieker, 8 - 15 July, Inria, Rennes

  • configuration knowledge
  • partial configuration
  • default configuration
  • reproducibility

Remote meetings (bi-monthly)

Open Workshops

  • Talk at WS SIMULA - 7 & 8 Octobre 2024: Mathieu Acher “From Software Resilience to Reproducibility”
  • Talk at WS SIMULA - 7 & 8 Octobre 2024: Arnaud Gotlieb: “AI for the Validation of Autonomous Systems”