Search - LS2N - équipe STR Access content directly

Filter your results

31 Results
Deposit type : Fulltext
Image document

Cost-optimal timed trace synthesis for scheduling of intermittent embedded systems

Antoine Bernabeu , Jean-Luc Béchennec , Mikaël Briday , Sébastien Faucou , Olivier Roux
Discrete Event Dynamic Systems, 2023, 33, ⟨10.1007/s10626-022-00372-6⟩
Journal articles hal-03952467v1
Image document

AUTOSAR compliant multi-core RTOS formal modeling and verification

Imane Haur
Automatic. École centrale de Nantes, 2022. English. ⟨NNT : 2022ECDN0057⟩
Theses tel-04025811v1
Image document

Expressiveness and analysis of Delayable Timed Petri Net

Rémi Parrot , Hanifa Boucheneb , Mikaël Briday , Olivier H Roux
16th IFAC Workshop on Discrete Event Systems WODES 2022, IFAC, Sep 2022, Prague, Czech Republic. pp.284-290, ⟨10.1016/j.ifacol.2022.10.355⟩
Conference papers hal-03952599v1
Image document

Decision tree-based blending method using deep-learning for network management

Ons Aouedi , Kandaraj Piamrat , Benoît Parrein
IEEE/IFIP Network Operations and Management Symposium, Apr 2022, Budapest, Hungary
Conference papers hal-03524973v1
Image document


Nils Morozs , Benoît Parrein , Lu Shen , Benjamin T Henson , Paul D Mitchell
UK Acoustics network (UACE), Jun 2023, Kalamata, Greece
Conference papers hal-04192220v1
Image document

Very Low Power IoT Architectures

Przemyslaw Bakowski , Benoît Parrein
Journées LPWAN, Jul 2023, Grenoble, France
Conference poster hal-04191013v1
Image document

An internet protocol adaptation layer for underwater acoustic networks

Benoît Parrein , Nils Morozs , Laurent Toutain
Forum Acusticum 2023, Sep 2023, Turin, Italy
Conference papers hal-04192238v1
Image document

Real-time Resource Management in Smart Energy-Harvesting Systems

Mohamed Irfanulla , Audrey Queudet , Maryline Chetto , Lamia Belouaer
27th IEEE Symposium on Computers and Communications (IEEE ISCC 2022), Jun 2022, Rhodes, Greece
Conference papers hal-03695062v1
Image document

Détection d’intrusions fédérée et semi-supervisée pour l’IoT

Ons Aouedi , Kandaraj Piamrat , Guillaume Muller , Kamal Singh
Plate-Forme Intelligence Artificielle PFIA 2022, Jun 2022, Saint-Etienne, France
Conference poster emse-03922716v1
Image document

Compositional Verification of Embedded Real-Time Systems

Mohammed Foughali , Pierre-Emmanuel Hladik , Alexander Zuepke
Journal of Systems Architecture, In press
Journal articles hal-04125520v2
Image document

Mutida: A Rights Management Protocol for Distributed Storage Systems Without Fully Trusted Nodes

Bastien Confais , Gustavo Rostirolla , Benoît Parrein , Jérôme Lacan , François Marques
Transactions on Large-Scale Data- and Knowledge-Centered Systems, 13470, Springer Berlin Heidelberg, pp.1-34, 2022, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-66146-8_1⟩
Book sections hal-03822471v1
Image document

FLUIDS: Federated Learning with semi-supervised approach for Intrusion Detection System

Ons Aouedi , Kandaraj Piamrat , Guillaume Muller , Kamal Singh
IEEE Consumer Communications & Networking Conference (CCNC), Jan 2022, Los Angeles (virtual), United States
Conference papers hal-03496518v1
Image document

Contention-free scheduling of PREM tasks on partitioned multicore platforms

Ikram Senoussaoui , Houssam-Eddine Zahaf , Giuseppe Lipari , Kamel Benhaoua
2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2022, Stuttgart, Germany
Conference papers hal-03834177v1
Image document

Problèmes d'optimisation dans les graphes paramétrés

Bastien Sérée
Mathématique discrète [cs.DM]. École centrale de Nantes, 2022. Français. ⟨NNT : 2022ECDN0066⟩
Theses tel-04056794v1
Image document

Control of Real-Time Systems With Integer Parameters

Aleksandra Jovanovic , Didier Lime , Olivier H Roux
IEEE Transactions on Automatic Control, 2022, 67 (1), pp.75-88. ⟨10.1109/TAC.2020.3046578⟩
Journal articles hal-03561476v1
Image document

Intelligent Traffic Management in Next-Generation Networks

Ons Aouedi , Kandaraj Piamrat , Benoît Parrein
Future internet, 2022, pp.1-35. ⟨10.3390/fi14020044⟩
Journal articles hal-03546653v1
Image document

Réseaux de Petri temporisés pour la synthèse de circuits pipelinés

Rémi Parrot
Réseaux et télécommunications [cs.NI]. École centrale de Nantes, 2022. Français. ⟨NNT : 2022ECDN0048⟩
Theses tel-03974996v1
Image document

High-level Colored Time Petri Nets for true concurrency modeling in real-time software

Imane Haur , Jean-Luc Béchennec , Olivier Roux
2022 8th International Conference on Control, Decision and Information Technologies (CoDIT), May 2022, Istanbul, Turkey. pp.21-26, ⟨10.1109/CoDIT55151.2022.9803922⟩
Conference papers hal-03872207v1
Image document

Underwater acoustic sensor network to monitor floating offshore wind: SEM-REV sea trials

Benoît Parrein , Fekher Khelifi , François Babin , Thierry Grousset , Jean-Marc Rousset , et al.
IEEE OCEANS 2024, Jun 2023, Limerick, Ireland
Conference papers hal-04190985v1
Image document

Federated Semi-Supervised Learning for Attack Detection in Industrial Internet of Things

Ons Aouedi , Kandaraj Piamrat , Guillaume Muller , Kamal Singh
IEEE Transactions on Industrial Informatics, 2022, pp.1-10. ⟨10.1109/TII.2022.3156642⟩
Journal articles hal-03602788v1
Image document

Intrusion detection for Softwarized Networks with Semi-supervised Federated Learning

Ons Aouedi , Kandaraj Piamrat , Guillaume Muller , Kamal Singh
ICC 2022 - IEEE International Conference on Communications, Jun 2022, Seoul, South Korea
Conference papers hal-03544099v1
Image document

Handling partially labeled network data: a semi-supervised approach using stacked sparse autoencoder

Ons Aouedi , Kandaraj Piamrat , Dhruvjyoti Bagadthey
Computer Networks, 2022, 207, pp.1-12. ⟨10.1016/j.comnet.2021.108742⟩
Journal articles hal-03524935v1
Image document

A formal toolchain for offline and run-time verification of robotic systems

Silvano Dal Zilio , Pierre-Emmanuel Hladik , Félix Ingrand , Anthony Mallet
Robotics and Autonomous Systems, 2023, 159, pp.104301. ⟨10.1016/j.robot.2022.104301⟩
Journal articles hal-03683044v2
Image document

Toward memory-centric scheduling for PREM task on multicore platforms, when processor assignments are specified

Ikram Senoussaoui , Mohammed Kamel Benhaoua , Houssam-Eddine Zahaf , Giuseppe Lipari
EDiS 2022 - 3rd International Conference on Embedded & Distributed Systems, Nov 2022, Oran, France. pp.11-15, ⟨10.1109/EDiS57230.2022.9996534⟩
Conference papers hal-03938665v1
Image document

Machine learning-Enabled Network Traffic Analysis

Ons Aouedi
Computer science. Nantes Université, 2022. English. ⟨NNT : 2022NANU4045⟩
Theses tel-03966012v2
Image document

Lightweight Stream Ciphers based on Chaos for Time and Energy Constrained IoT Applications

Ons Jallouli , Maryline Chetto , Safwan El
11th Mediterranean Conference on Embedded Computing (MECO 2022), Jun 2022, Budva, Montenegro
Conference papers hal-03695013v1
Image document

Design and verification of pipelined circuits with Timed Petri Nets

Rémi Parrot , Mikaël Briday , Olivier Roux
Discrete Event Dynamic Systems, 2023, 33, ⟨10.1007/s10626-022-00371-7⟩
Journal articles hal-03952519v1
Image document

Real-Time Scheduling of DAG Tasks in Self-Powered Sensors with Scavenged Energy

Maryline Chetto , Rola El Osta
The 4th IEEE International Conference on Emerging Trends in Electrical, Electronic and Communications Engineering, Nov 2022, Balaclava, Mauritius
Conference papers hal-03865448v1
Image document

Ensemble-based Deep Learning model for network traffic classification

Ons Aouedi , Kandaraj Piamrat , Benoît Parrein
IEEE Transactions on Network and Service Management, 2022, pp.1-12. ⟨10.1109/TNSM.2022.3193748⟩
Journal articles hal-03736603v1
Image document

Incentive techniques for the Internet of Things: A survey

Praveen Kumar Reddy Maddikunta , Quoc-Viet Pham , Dinh Cong Nguyen , Thien Huynh-The , Ons Aouedi , et al.
Journal of Network and Computer Applications (JNCA), 2022, pp.1-25. ⟨10.1016/j.jnca.2022.103464⟩
Journal articles hal-03737297v1