• 
  Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan. On the Complexity of Proving Polyhedral Reductions. Fundamenta Informaticae, 2024, 192 (3-4), pp.363-394. ⟨10.3233/FI-242197⟩. ⟨hal-04712076⟩
• 
  Paul-Antoine Le Tolguenec, Emmanuel Rachelson, Yann Besse, Florent Teichteil-Koenigsbuch, Nicolas Schneider, et al.. Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper). ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Sep 2024, Vienne, Austria. pp.920-931, ⟨10.1145/3650212.3680331⟩. ⟨hal-04774965⟩
• 
  Nikolena Christofi. Improving operational diagnosis with an interdisciplinary modelling approach.. Embedded Systems. INSA de Toulouse, 2023. English. ⟨NNT : 2023ISAT0056⟩. ⟨tel-04702196v2⟩
• 
  Florent Galtier, Guillaume Auriol, Vincent Nicomette, Paul L R Olivier, Romain Cayre, et al.. Wireless Modulation Identification: filling the gap in IoT networks security audit. 21st Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA '24), Jul 2024, Lausanne, Switzerland. ⟨hal-04675669⟩
• 
  Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, et al.. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (Invited Paper). 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Jul 2023, Vienne, Austria. ⟨10.4230/LIPIcs.ECRTS.2023.19⟩. ⟨hal-04654624⟩
• 
  Nicolas Amat, Pierre Bouvier, Hubert Garavel. A Toolchain to Compute Concurrent Places of Petri Nets. LNCS Transactions on Petri Nets and Other Models of Concurrency, 2023, Lecture Notes in Computer Science, 14150, pp.1-26. ⟨10.1007/978-3-662-68191-6_1⟩. ⟨hal-04392784⟩
• 
  Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa. Approche intégrée pour la modélisation et la simulation des systèmes à structure dynamique. Colloque National du GDR SoC2, Jun 2024, Toulouse, France. ⟨hal-04645089⟩
• 
  Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa. Approche intégrée pour la modélisation et la simulation de systèmes à structure dynamique. Colloque National du GDR SoC2, Jun 2024, Toulouse, France. 2024. ⟨hal-04645069⟩
• 
  Antoine Boche, Luiz Fernando Lavado Villa, Clément Foucher. Study of the sustainability of microgrids using systemic models based on the theory of modeling and simulation. Electric power. Université Paul Sabatier (Toulouse 3), 2023. English. ⟨NNT : ⟩. ⟨tel-04645018⟩
• 
  Mohamed Kaâniche, Philippe Cuenot, Kevin Delmas, Jean Marc Gabriel, Adrien Gauffriau, et al.. ERTS 2024 - 12th European Congress on Embedded Real Time Software and Systems. 12th European Congress on Embedded Real Time Software and Systems (ERTS 2024), pp.1--489, 2024. ⟨hal-04643654⟩

789