Search - LS2N - équipe STR Access content directly

Filter your results

15 Results
Deposit type : Notice

Securing a RISC-V architecture: A dynamic approach

Sébastien Pillement , Maria Mendez Real , Pottier Juliette , Nieddu T. , Sébastien Faucou , et al.
DATE Conference 2023, Apr 2023, Antwerp, Belgium
Conference papers hal-03906564v1

Federated Learning for intrusion detection system: Concepts, challenges and future directions

Shaashwat Agrawal , Sagnik Sarkar , Ons Aouedi , Gokul Yenduri , Kandaraj Piamrat , et al.
Computer Communications, 2022, pp.1-19. ⟨10.1016/j.comcom.2022.09.012⟩
Journal articles hal-03779486v1

Guaranteeing Timed Opacity using Parametric Timed Model Checking

Étienne André , Didier Lime , Dylan Marinho , Jun Sun
ACM Transactions on Software Engineering and Methodology, 2022, 31 (4), pp.1-36. ⟨10.1145/3502851⟩
Journal articles hal-03798157v1

Building Time-Triggered Schedules for Typed-DAG Tasks with Alternative Implementations

Houssam-Eddine Zahaf , Nicola Capodieci
2022 IEEE 28th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Aug 2022, Taipei, France. pp.103-112, ⟨10.1109/RTCSA55878.2022.00017⟩
Conference papers hal-03834175v1

Real-time Scheduling and Resource Management for Energy Autonomous Sensors

Mohamed Irfanulla Mohamed Abdulla , Maryline Chetto , Audrey Queudet
IFAC World Congress 2023, IFAC, Jul 2023, Yokohama, Japan
Conference papers hal-04047213v1

Pomset bisimulation and unfolding for reset Petri nets

Thomas Chatain , Maurice Comlan , David Delfieu , Loïg Jezequel , Olivier Henri Roux
Information and Computation, 2022, 283, pp.104674. ⟨10.1016/j.ic.2020.104674⟩
Journal articles hal-03650582v1

SToN: A New Fundamental Trade-off for Distributed Data Storage Systems

Bastien Confais , Şuayb Ş. Arslan , Benoît Parrein
Preprints, Working Papers, ... hal-03572897v1

Reachability and liveness in parametric timed automata

Étienne André , Didier Lime , Olivier Henri Roux
Logical Methods in Computer Science, 2022, 18 (1), ⟨10.46298/lmcs-18(1:31)2022⟩
Journal articles hal-03574379v1

Emerging Trends and Challenges in Fog and Edge Computing for the Internet of Things

Bastien Confais , Benoît Parrein
IoT, 3, pp.145-146, 2022, ⟨10.3390/iot3010009⟩
Special issue hal-03645028v1

Toward Precise Real-Time Scheduling on NVidia GPUs

Feddal Nordine , Houssam-Eddine Zahaf , Giuseppe Lipari
15th Junior Researcher Workshop on Real-Time Computing 2022, Jun 2022, Paris, France
Conference papers hal-03834181v1

Optimal Real-Time Scheduling Algorithm for Wireless Sensors with Regenerative Energy

Hussein El Ghor , Maryline Chetto
The Computer Journal, 2022, 65 (8), pp.2087-2097. ⟨10.1093/comjnl/bxab048⟩
Journal articles hal-03930799v1

Real-time Resource Management in Smart Energy-Harvesting Systems

Mohamed Irfanulla Mohamed Abdulla , Audrey Queudet , Maryline Chetto , Lamia Belouaer
2022 IEEE Symposium on Computers and Communications (ISCC), Jun 2022, Rhodes, Greece. pp.1-7, ⟨10.1109/ISCC55528.2022.9912792⟩
Conference papers hal-04109259v1

Topography-induced large-scale antiparallel collective migration in vascular endothelium

Claire Leclech , David Gonzalez-Rodriguez , Aurélien Villedieu , Thévy Lok , Anne-Marie Déplanche , et al.
Nature Communications, 2022, 13, pp.2797. ⟨10.1038/s41467-022-30488-0⟩
Journal articles hal-03673399v1

LoRaCog: A Protocol for Cognitive Radio-Based LoRa Network

Firas Salika , Abbass Nasser , Maxime Mroue , Benoît Parrein , Ali Mansour
Sensors, 2022, 22 (10), pp.3885. ⟨10.3390/s22103885⟩
Journal articles hal-03683901v1

Handling Privacy-Sensitive Medical Data With Federated Learning: Challenges and Future Directions

Ons Aouedi , Alessio Sacco , Kandaraj Piamrat , Guido Marchetto
IEEE Journal of Biomedical and Health Informatics, 2022, pp.1-14. ⟨10.1109/JBHI.2022.3185673⟩
Journal articles hal-03703925v1