• 
  Bernard Berthomieu, Dmitry A Zaitsev. Sleptsov Nets are Turing-complete. Theoretical Computer Science, 2024, 986, pp.114346. ⟨10.1016/j.tcs.2023.114346⟩. ⟨hal-04139308v2⟩
• Silvano Dal Zilio, Evan Cordell. RuDD. 2021, ⟨swh:1:dir:1bdba2e6856baf1327d9e4649aeade15983698ea;origin=https://github.com/dalzilio/rudd;visit=swh:1:snp:3b82c6b6f01b2a45604dd34d6b7bdb9062ed66ce;anchor=swh:1:rev:793901a0ab6540e401b9af68e3bf63f6688a21a9⟩. ⟨hal-04792651⟩
• 
  Vivek Jadhav, Roberto Pasqua, Christophe Zanon, Matthieu Roy, Gilles Trédan, et al.. Collective responses of flocking sheep (Ovis aries) to a herding dog (border collie). Communications Biology, 2024, 7 (1), pp.1543. ⟨10.1038/s42003-024-07245-8⟩. ⟨hal-04794402v2⟩
• Silvano Dal Zilio. mcc. 2019, ⟨swh:1:dir:9e20040fbc1129056324a6c9505c4f31dc002155;origin=https://github.com/dalzilio/mcc;visit=swh:1:snp:b47b7f515d839603e99c7d0ac2097e4a9098ea2d;anchor=swh:1:rev:09a1755cf909e9e93665ffb26e3dec900ffac0c6⟩. ⟨hal-04792611⟩
• 
  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). 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Jul 2023, Vienne, Austria. pp.19:1--19:18, ⟨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⟩

792