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
Journal articles
hal-03952467v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
AUTOSAR compliant multi-core RTOS formal modeling and verification
Imane Haur
Theses
tel-04025811v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Expressiveness and analysis of Delayable Timed Petri Net
Rémi Parrot
,
Hanifa Boucheneb
,
Mikaël Briday
,
Olivier H Roux
Conference papers
hal-03952599v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
NETWORK PROTOCOLS FOR SIMULTANEOUS UNDERWATER ACOUSTIC COMMUNICATION AND TARGET DETECTION
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Very Low Power IoT Architectures
Przemyslaw Bakowski
,
Benoît Parrein
Journées LPWAN , Jul 2023, Grenoble, France
Conference poster
hal-04191013v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Compositional Verification of Embedded Real-Time Systems
Mohammed Foughali
,
Pierre-Emmanuel Hladik
,
Alexander Zuepke
Journal of Systems Architecture , In press
Journal articles
hal-04125520v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Problèmes d'optimisation dans les graphes paramétrés
Bastien Sérée
Theses
tel-04056794v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Control of Real-Time Systems With Integer Parameters
Aleksandra Jovanovic
,
Didier Lime
,
Olivier H Roux
Journal articles
hal-03561476v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Intelligent Traffic Management in Next-Generation Networks
Ons Aouedi
,
Kandaraj Piamrat
,
Benoît Parrein
Journal articles
hal-03546653v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
High-level Colored Time Petri Nets for true concurrency modeling in real-time software
Imane Haur
,
Jean-Luc Béchennec
,
Olivier Roux
Conference papers
hal-03872207v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Federated Semi-Supervised Learning for Attack Detection in Industrial Internet of Things
Ons Aouedi
,
Kandaraj Piamrat
,
Guillaume Muller
,
Kamal Singh
Journal articles
hal-03602788v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Handling partially labeled network data: a semi-supervised approach using stacked sparse autoencoder
Ons Aouedi
,
Kandaraj Piamrat
,
Dhruvjyoti Bagadthey
Journal articles
hal-03524935v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A formal toolchain for offline and run-time verification of robotic systems
Silvano Dal Zilio
,
Pierre-Emmanuel Hladik
,
Félix Ingrand
,
Anthony Mallet
Journal articles
hal-03683044v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Conference papers
hal-03938665v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Machine learning-Enabled Network Traffic Analysis
Ons Aouedi
Theses
tel-03966012v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Design and verification of pipelined circuits with Timed Petri Nets
Rémi Parrot
,
Mikaël Briday
,
Olivier Roux
Journal articles
hal-03952519v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Ensemble-based Deep Learning model for network traffic classification
Ons Aouedi
,
Kandaraj Piamrat
,
Benoît Parrein
Journal articles
hal-03736603v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
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 articles
hal-03737297v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More