Publications – Laboratoire des Sciences du numerique de Nantes

Aller au contenu

L’INTELLIGENCE SCIENTIFIQUE AU CŒUR D’UN MONDE NUMÉRIQUE

Rechercher

MENU

Le laboratoire
La recherche
Innovation – Valorisation
Opportinutés de carrière

Publications

En un clic !

Thématiques de recherche
Pôles d’expertises
Nos équipes
Formation par la recherche
- Doctorats
- Masters
HDR
Thèses
Publications

Filtres

Par équipes : Par années :

Publications référencées sur HAL STR en 2025

Nombre de publications référencées : 29

Ventilation par types

Revues internationales avec comité de lecture

[1] L. Shen, Y. Zakharov, B. Henson, N. Morozs, P. Mitchell, B. Parrein. Target Detection Using Underwater Acoustic Communication Links, in IEEE Journal of Oceanic Engineering, vol. 50, no. 1, pp. 45-60, 2025 DOI

[2] H. Zahaf, P. Hladik, S. Faucou, A. Queudet. Checkpointing for single core energy-neutral real-time systems, in Journal of Systems Architecture, pp. 103371, 2025 DOI

[3] D. Delfieu, O. Roux, R. Valette. Réseaux de Petri : Théorie et mise en oeuvre, in Techniques de l'ingénieur. Automatique et ingénierie système, vol. Automatique Séquentielle, no. S7254, 2025 DOI

[4] A. Amalou, I. Puaut. Using machine learning for timing analysis: where do we stand?, in Real-Time Systems, vol. 61, no. 2, pp. 300-305, 2025 DOI

[5] I. Haur, J. Béchennec, O. Roux. Model-Checking of Concurrent Real-Time Software Using High-Level Colored Time Petri Nets with Stopwatches, in Cybernetics and Systems, vol. 56, no. 6, pp. 886-916, 2025 DOI

[6] M. Tamimipour, H. Beitollahi, M. Chetto. MCED-H: An efficient scheduling policy for energy harvesting mixed-criticality real-time systems, in Journal of Systems Architecture, vol. 167, pp. 103505, 2025 DOI

[7] M. Benhaoua, A. Dahane, R. Benameur, I. Benziane, H. Zahaf, A. Benhariga, A. Elouissi, C. Boudia, S. Souihi. SW3T-IoT : Smart Water Monitoring Based on a Three-Tier IoT Architecture, in IEEE Access, vol. 13, pp. 206331-206354, 2025 DOI

Conférences internationales avec comité de lecture et actes

[8] É. André, J. Béchennec, S. Chattopadhyay, S. Faucou, D. Lime, D. Marinho, O. Roux, J. Sun. Verifying Timed Properties of Programs in IoT nodes using Parametric Time Petri Nets, in SAC '25: 40th ACM/SIGAPP Symposium on Applied Computing, Catania (IT), Italie, 2025 DOI

[9] M. Carreau, R. Naveiro, W. Caballero. Poisoning Bayesian Inference via Data Deletion and Replication, in International Conference on Artificial Intelligence and Statistics (AISTATS), Phuket, Thaïlande, 2025

[10] A. Gherbi, A. Bali, A. Benbelghit, P. Hladik. Integrating VMD and Convolutional Transformers for Optimized Solar Energy Management in IoT Monitoring Systems, in IEEE 28th International Symposium on Real-Time Distributed Computing, Toulouse, France, 2025

[11] C. Daini, G. Lipari, H. Zahaf, P. Hladik. Optimizing CNN Inference on Multicore Scratchpad Architectures, in IEEE 28 th International Symposium on Real-Time Distributed Computing, Toulouse, France, 2025

[12] F. Illien, H. Zahaf, A. Queudet. Energy-aware Resource reservation for Multicore architectures, in 28th IEEE INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING, Toulouse, France, 2025

[13] B. Parrein, C. Aoustin, J. Rousset, L. Toutain. Des nouvelles du fond de la mer, in CORES 2025 : 10èmes Rencontres Francophones sur la Conception de Protocoles, l'Evaluation de Performances et l'Expérimentation des Réseaux de Communication, Saint Valéry sur Somme, France, 2025

[14] M. Chetto, M. Mohamed Abdulla. A Novel Real-Time Mission Scheduler for Energy Neutral Autonomous Mobile Robots, in 2025 20th Annual System of Systems Engineering Conference (SoSE), Tirana, Albanie, 2025 DOI

[15] C. Banier, B. Parrein, L. Toutain, N. Morozs. Securing Underwater Acoustic Networks: A Comprehensive Study, in OCEANS 2025 Brest, BREST, France, 2025 DOI

[16] D. Lime, R. Parrot, O. H. Roux. Decidability problems for weak Time Petri Nets with read, reset and transfer arcs, in Petri Net 2025, Paris, France, 2025 DOI

[17] M. Carreau, S. Faucou, P. Hladik, V. Lostanlen. Un réseau de neurones frugal pour la détection bioacoustique, in GRETSI’25, Strasbourg, France, 2025

[18] N. Jensen, K. Larsen, D. Lime, J. Srba. On-The-Fly Symbolic Algorithm for Timed ATL with Abstractions, in 36th International Conference on Concurrency Theory (CONCUR 2025), Aarhus, Danemark, 2025 DOI

[19] M. Rodet, J. Béchennec, M. Briday, S. Faucou, I. Puaut, E. Rohou. Circadia: Checkpointing for Intermittent Computing in AI Driven Applications, in DSD 2025 – 28th Euromicro Conference on Digital System Design, Salerno, Italie, 2025 DOI

[20] M. Ghor, M. Chetto, H. El Ghor. Evaluation of a Power Management Strategy for Autonomous Cyber-Physical Systems with Real-Time Constraints, in Conference on Advances in Computational Tools for Engineering Applications (ACTEA), Beyrouth, Liban, 2025

[21] M. Chetto. Revisiting a Classical Real-Time Scheduler for Energy Harvesting Computing Devices, in 8th IEEE international Congress on Information Science and Technology, Marrakech, Maroc, 2025

[22] M. Ghor, M. Chetto, H. El Ghor. Deadline-Driven Harvesting-aware Scheduling for Autonomous Cyber-Physical Systems, in 8th IEEE international Congress on Information Science and Technology, Marrakech, Maroc, 2025

[23] Z. Maksassi, A. Gueled, B. Parrein, B. Garnier, F. Schoefs. Remote monitoring of the growth of biofouling on dynamic electrical cables and mooring lines of floating wind turbine, in 6th International Offshore Wind Technical Conference (ASME 2025 ), Toulon, France, 2025 DOI

[24] G. Carmantini, Y. Benhamadi, M. Carreau, M. Kwak, I. Morandi, F. Förstner, P. Hladik, M. Lagrange, P. Linhart, T. Petrusková, V. Lostanlen, S. Kahl. Bioacoustics on Tiny Hardware at the BioDCASE 2025 Challenge, in Detection and Classification of Acoustic Scenes and Events (DCASE), Barcelona, Espagne, 2025

[25] M. Le Moigne, R. Parrot, O. Roux. Méthode active pour l'identification de réseaux de Petri saufs, in Modélisation des Systèmes Réactifs (MSR'25), Reims, France, 2025

Conférences nationales avec comité de lecture et actes

[26] D. Lime, P. Marange, R. Parrot, O. Roux. Évaluation de stratégies de régénération dans un modèle de vente de services : une approche par réseaux de Petri à coût, in Modélisation des Systèmes Réactifs (MSR'25), Reims, France, 2025

Autres publications

[27] F. Brandner, M. Asăvoae, J. Bechennec, T. Carle, H. Cassé, S. Faucou, L. Rieg. Deliverable D2.1: Study of Timing Anomalies Documented in the Literature, 2025

[28] M. Rodet, J. Béchennec, M. Briday, S. Faucou, I. Puaut, E. Rohou. Circadia: Checkpointing for Intermittent Computing in AI Driven Applications, in ACACES 2025 – 21st Internationnal Summer School on Advanced Computer Architecture and Compilation for High-performance Embedded Systems, Salerno, Italie, 2025

[29] M. Tamimipour, H. Beitollahi, M. Chetto. A novel mixed-criticality scheduler for energy-harvesting computing systems with real-time constraints, 2025

Restons connectés

Travaillons ensemble

Postes et candidatures
Doctorant(e) au LS2N
Modalités de collaboration

Informations pratiques

Annuaire
Contacts et plans d’accès

Plan du site
Mentions légales

INTRANET