Loading...
Last submissions
-
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⟩
-
Nikolena Christofi, Claude Baron, Xavier Pucel, Marc Pantel, David Canu, et al.. How to early integrate operational diagnosis objectives in model‐driven engineering processes: A methodological proposal based on fault and behavior trees. Systems Engineering, 2023, 27 (3), pp.585--597. ⟨10.1002/sys.21740⟩. ⟨hal-04397558⟩
-
Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre. An experimental approach for evaluating cache allocation policies in multicore for real-time mixed-criticality systems. 2024 19th European Dependable Computing Conference (EDCC), KU leuven, Apr 2024, Leuven (BE), Belgium. ⟨10.1109/EDCC61798.2024.00033⟩. ⟨hal-04627006⟩