Le département risc

Réseaux, Informatique, Systèmes de Confiance

Le département RISC « Réseaux, Informatique, Systèmes de Confiance » vise à développer des solutions innovantes permettant de maîtriser la conception, le dimensionnement, l’architecture, l’analyse, la supervision et le déploiement opérationnel de réseaux et systèmes communicants complexes et des applications associées. Notre objectif est de contribuer à l’avancée des connaissances tant sur les fondements théoriques que sur les approches méthodologiques basées sur des méthodes formelles et expérimentales ainsi que sur leur mise en œuvre pratique.


responsable

Matthieu Jonckheere

Défis, thèmes et objectifs de recherche :

Adaptation et Autonomie

Les systèmes informatiques sont amenés à être conçus pour interagir avec d’autres systèmes, pour être déployés sur une infrastructure virtualisée, pour une utilisation à très grande échelle et dans un environnement ouvert et connecté. Les opérateurs sont amenés à considérer un partage et une coopération des ressources pour répondre à une demande de service en temps réel. La criticité est à la fois à considérer au niveau mission ou processus métier externalisé, et au niveau infrastructure de déploiement.

Les acteurs de ce domaine doivent faire face à une complexité croissante liée à l’hétérogénéité, à la fois au niveau infrastructure et processus (appelé aussi application). L’architecture distribuée et l’interconnexion massive sujette au non-déterminisme des interactions de l’Internet rend la conception et la gestion difficiles. Pour les réseaux de communication, notamment, l’autonomie est un défi clef de grande priorité, à la fois pour la communauté de recherche et pour les acteurs industriels et les groupes de travail internationaux qui les associent. On peut retrouver ce terme sous différentes nomenclatures comme le groupe de travail ETSI « Zero touch network & Service Management (ZSM)» [Sprecher'2018] ou le concept du self-driving networks [Jacobs'2018].

Dans ce contexte, les verrous que nous considérons sont liés à la prise en compte conjointement et de façon cohérente des propriétés (ou exigences) fonctionnelles (génériques pour différents domaines ou pour un domaine donné, ou spécifiques à la mission) et non-fonctionnelles (confidentialité, sécurité, qualité de service, coût en consommation d’énergie ou en budget) des systèmes. Les défis concernent la gestion de l’adaptation dynamique (en phase d’opération) des systèmes aux variations des exigences fonctionnelles et non fonctionnelles, et aux changements des contraintes de l’infrastructure de déploiement (comme pour les environnements hybrides de type IoT/M2M, Fog Computing, 5G, et satellite).

[Sprecher'2018] N. Sprecher, IEEE Softwarization, November 2018 ETSI ZSM Architectural Framework for End-to-End Service and Network Automation. https://sdn. ieee.org/newsletter.

[Jacobs'2018] A. Jacobs et al. Refining Network Intents for Self-Driving Networks. ACM SIGCOMM Computer Communication Review (CCR) 2018.

Systèmes répartis scalables

Avec cinq contributions différentes, l'axe système répartis couvre 2 équipes. Ces approches portent sur un large ensemble de modèles d'exécutions, allant du plus homogène (GPGPU) au plus hétérogène (cloud opaque). Une variété semblable existe au niveau des perspectives théoriques mobilisées : topologie, programmation linéaire, probabilités. Il convient d'y ajouter la simulation numérique et le déploiement expérimental pour compléter la boîte à outils du département.

Les problèmes visés sont eux aussi divers : parallélisation (i.e. contrôler comment répartir une tache), ordonnancement (ie comment répartir des tâches contraintes), monitoring (i.e. comment collecter de l'information sur l'état des unités de calcul et leurs conditions réseau). Un spectre applicatif est particulièrement dominant : l'IA et sa variante répartie, l'IA fédérée. Moins massivement représentées, certaines applications portent elles sur l'IoT et la planification.

Virtualisation de réseaux et services

La softwarisation de l'infrastructure et la virtualisation des réseaux (et des fonctions de réseaux) de communication est une direction stratégique pour atteindre les différentes exigences techniques et socio-économiques imposées par les systèmes émergents. Il s'agit d'une direction qui intéresse à la fois la communauté de recherche et les acteurs industriels regroupés dans des groupes de travail internationaux (ETSI, notamment en Europe et W3C). Les solutions technologiques actuelles vont dans le sens de la convergence entre le monde du traitement de l'information qui a connu l'avènement de la technologie "cloud computing" et "service computing" depuis plus d'une décennie, et le monde des télécommunications depuis quelques années qui promeut la softwarisation et la virtualisation des services et fonctions réseau (SDN/NFV).

IA de confiance

Les algorithmes d’intelligence artificielle (IA) et les modèles d’apprentissage basés sur des données sont de plus en plus utilisés dans tous les domaines. Un premier volet de nos travaux vise à tirer profit des dernières avancées en IA pour améliorer la résilience et la qualité de service des réseaux et des systèmes informatiques dans divers domaines (monitoring, détection et diagnostic d’anomalies et d’intrusion, test, etc.). Le deuxième volet s’attaque à des questions fondamentales liées à la confiance que l’on peut placer dans les systèmes utilisant ces algorithmes en prenant en compte les contraintes propres à ces algorithmes (opacité, non-déterminisme, sensibilité aux données d’apprentissage, etc.). Les défis sont relatifs à la recherche de solutions permettant d’améliorer l’explicabilité de ces algorithmes, leur vérification et test, leur protection vis-à-vis d’attaques visant à modifier leurs comportements, ou simplement à les reproduire de façon illégitime, et enfin la justification du niveau de confiance associé.

Sécurité, vie privée

Cybersécurité :

Nos travaux portent sur la sécurité de bout en bout des systèmes et couvrent la sécurité du matériel, la sécurité des noyaux des systèmes d’exploitation, la sécurité des applications, la sécurité des objets connectés et en particulier celles de leurs protocoles de communication, la sécurité des réseaux de future génération (notamment les réseaux cellulaires 5G et 6G) et le cloud qui se différencient des architectures de communication actuelles par une softwarization et une virtualisation générales.

Privacy :

Dans le contexte des travaux de transparence des algorithmes utilisés par les plateformes en ligne, nous nous intéressons à la façon dont ces algorithmes exploitent les données des usagers pour produire leurs décisions

Ingénierie système

Les questions abordées dans le cadre de l’ingénierie système (IS) portent sur :

  • La nécessité de maîtriser le processus de développement, faire coopérer les experts et parties prenantes, d’intégrer les pratiques, de concilier les points de vue, de faire dialoguer différents modèles, de trouver un optimum commun.
  • Cela nécessite un travail sur le produit et le process (analyse, méthodes, outils) : ingénierie des exigences, ingénierie des processus (élicitation des exigences, conception, V&V, certification, maintenance, retrait de service…), intégration/ mise en cohérence avec des standards (d’ingénierie système, de gestion de projet, de qualité, de safety…), modélisation (des produits, des process, de la qualité, de la safety…), intégration des modèles, mesure de performance, indicateurs, mesure de qualité, ingénierie des processus (techniques et projet/agilité), simulation et prototypage, design to X, déploiement de l’IS en PME …

Systèmes temps-réels

La notion de système temps réel est attachée à des systèmes réactifs, le plus souvent embarqués, pour lesquels la correction ne dépend pas simplement des résultats ou des messages qu’ils échangent, mais également du moment où ces résultats sont produits. Les aspects temporels ne sont pas les seuls à intervenir dans ce contexte. Il faut également considérer d’autres types de contraintes, telles que la prise en compte de la criticité du système (fiabilité, sécurité, etc.) ou son embarquabilité (c’est-à-dire sa capacité à être implanté en respectant des contraintes sur la puissance de calcul, l’utilisation mémoire ou énergétique, etc.). Enfin, nous cherchons également à concevoir des solutions permettant de rendre les systèmes plus robustes et plus prédictibles.

Les systèmes temps-réels représentent un domaine de recherche transverse au sein des équipes du département RISC. Nous abordons l’étude de ces systèmes selon plusieurs objectifs complémentaires: (1) la fiabilité, avec l’étude de techniques augmentant les capacités de résilience et d’adaptation, par exemple à travers des mécanismes spécifiques de reconfiguration ; (2) la sécurité, avec la conception de méthodes permettant de contrecarrer des attaques spécifiques aux systèmes temps-réels ; (3) et enfin la prédictibilité, avec l’étude de nouvelles méthodes d’ordonnancement et de nouvelles techniques d’analyses, visant en particulier des architectures multi-coeurs et/ou hétérogènes.

NOS DOMAINES DE

RECHERCHE ET APPLICATIONS

Nos recherches ciblent des systèmes et applications ayant des exigences fortes en termes de qualité de service, de contraintes temporelles, de sûreté de fonctionnement, de résilience ou de sécurité.

LES CHAMPS DISCIPLINAIRES

COUVERTS PAR NOTRE DÉPARTEMENT

LES ÉQUIPES DU DÉPARTEMENT

Les activités du département RISC sont menées au sein de quatre équipes dont les domaines de recherche sont complémentaires et couvrent les différents défis liés à l'hétérogénéité la dynamicité et la criticité des infrastructures et systèmes de traitement et de communication.

Simulation&PrototypageVirtuel

isi

Claude Baron

La complexité croissante des systèmes pose des contraintes nouvelles pour la maîtrise de leur cycle de vie. L'équipe ISI propose des solutions permettant de mettre en œuvre efficacement les processus définis dans le cadre de l’ingénierie système.

+

perimetre-SARA__resized

sara

Khalil Drira

Les travaux de l'équipe SARA concernent les réseaux et les systèmes de communication de nouvelle génération et leurs applications.

+

dependability_guidebook

tsf

Hélène Waeselynck

Les travaux de l'équipe portent sur la sûreté de fonctionnement des systèmes informatiques, définie comme l’aptitude d’un système à délivrer un service de confiance justifiée.

+

trust

Hélène Waeselynck

Texte à modifier dans l’interface d’édition: champ 'description' de la page Equipe.

+

Graphe de marquage affiché dans l'éditeur de Tina

vertics

Silvano Dal Zilio

*Les membres de l'équipe Vertics ont aujourd'hui rejoint la nouvelle équipe TRUST* L'équipe Vertics s'intéresse à la vérification formelle de systèmes critiques présentant de fortes exigences en termes de contraintes temporelles. Nos recherches portent principalement sur le model-checking, l'ordonnancement des …

+

Dernières Publications

2024

Articles dans une revue

Olivier Brun, Rachid El-Azouzi, Quang-Trung Luu, Francesco De Pellegrini, Balakrishna Prabhu, et al.. Weighted Scheduling of Time-Sensitive Coflows. IEEE Transactions on Cloud Computing, 2024, 12 (2), pp.644-658. ⟨10.1109/TCC.2024.3384514⟩. ⟨hal-04632943⟩

Abdel Kader Chabi Sika Boni, Hassan Hassan, Khalil Drira. Oneshot Deep Reinforcement Learning Approach to Network Slicing for Autonomous IoT Systems. IEEE Internet of Things Journal, 2024, 11 (10), pp.17034 - 17049. ⟨10.1109/jiot.2024.3356750⟩. ⟨hal-04474328⟩

Laurent Chasserat, Nicola Accettura, Pascal Berthou. LoRaSync: energy efficient synchronization for scalable LoRaWAN. Transactions on emerging telecommunications technologies, 2024, 35 (2), ⟨10.1002/ett.4940⟩. ⟨hal-03694383v3⟩

Raoua Chakroun, Thierry Villemur. Learning-Based Road Link Quality Estimation for Intelligent Alert-Message Dissemination. Journal of Communications Software and Systems, 2024, 20 (1), pp.47-57. ⟨10.24138/jcomss-2023-0171⟩. ⟨hal-04441317⟩

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. Confidence assessment in safety argument structure - Quantitative vs. qualitative approaches. International Journal of Approximate Reasoning, 2024, 165, pp.109100. ⟨10.1016/j.ijar.2023.109100⟩. ⟨hal-04342922⟩

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan. On the Complexity of Proving Polyhedral Reductions. Fundamenta Informaticae, 2024, 192 (3-4), pp.363-394. ⟨10.3233/FI-242197⟩. ⟨hal-04712076⟩

Murat Uzam, Ding Liu, Bernard Berthomieu, Gökhan Gelen, Zhaolong Zhang, et al.. On Deadlock/Livelock Studies Based on Reachability Graph of Petri Nets by Using TINA. IEEE Access, 2024, 12, pp.135506 - 135534. ⟨10.1109/ACCESS.2024.3461168⟩. ⟨hal-04708018⟩

Violeta Roizman, Matthieu Jonckheere, Frédéric Pascal. A Flexible EM-like Clustering Algorithm for Noisy Data. IEEE Transactions on Pattern Analysis and Machine Intelligence, 2024, 46 (5), pp.2709 - 2721. ⟨10.1109/TPAMI.2023.3337195⟩. ⟨hal-04366787⟩

Cyrius Nugier, Vincent Migliore. Acceleration of Classic McEliece Post-Quantum Cryptosystem with Cache Processing. IEEE Micro, 2024, 44 (1), pp.59 - 68. ⟨10.1109/MM.2023.3304425⟩. ⟨hal-04232870⟩

Frédéric Chazal, Laure Ferraris, Pablo Groisman, Matthieu Jonckheere, Frédéric Pascal, et al.. Choosing the parameter of the Fermat distance: navigating geometry and noise. Transactions on Machine Learning Research Journal, 2024, pp.2835-8856. ⟨10.48550/arXiv.2311.18663⟩. ⟨hal-04317396⟩

Livres

Vincent Mahout, Thierry Rocacher, Guillaume Auriol. Programmation des systèmes embarqués. ISTE Group, 312 p., 2024, 9781836120049. ⟨hal-04717102⟩

Communications dans un congrès

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan. Project and Conquer: Fast Quantifier Elimination for Checking Petri Net Reachability. Verification, Model Checking, and Abstract Interpretation. VMCAI 2024, Jan 2024, London, United Kingdom. pp.101-123, ⟨10.1007/978-3-031-50524-9_5⟩. ⟨hal-04375443⟩

Van-Tien Nguyen, Renzo Efrain Navas, Guillaume Doyen. Lightweight Security for IoT Systems leveraging Moving Target Defense and Intrusion Detection. NOMS 2024-2024 IEEE/IFIP Network Operations and Management Symposium, IEEE, May 2024, Seoul, South Korea. ⟨10.1109/NOMS59830.2024.10575913⟩. ⟨hal-04537696⟩

Stanislas Pedebearn, Slim Abdellatif, Pascal Berthou, Dariusz Nogalski, Dallal Belabed. Virtual Link Embedding in Collaborative Sliced Multi-Administrative Multi-Domain Networks. SIGAPP Symposium On Applied Computing, ACM, Apr 2024, Avila, Spain. ⟨hal-04502307v2⟩

Fahad Hilal, Patrick Sattler, Kevin Vermeulen, Oliver Gasser. A First Look At IPv6 Hypergiant Infrastructure. CoNEXT, ACM, Dec 2024, Los Angeles, United States. ⟨10.1145/3656300⟩. ⟨hal-04603936⟩

Hugo Rimlinger, Kevin Vermeulen, Timur Friedman, Olivier Fourmaux. GeoGiant: Vers une géolocalisation d'adresses IP à l'échelle grâce aux géants d'Internet. CoRes 2024: 9èmes Rencontres Francophones sur la Conception de Protocoles, l'Évaluation de Performance et l'Expérimentation des Réseaux de Communication, May 2024, Saint-Briac-sur-Mer, France. à paraître. ⟨hal-04566957⟩

Loqman Salamatian, Kevin Vermeulen, Italo Cunha, Vasilis Giotsas, Ethan Katz-Bassett. metAScritic: Reframing AS-Level Topology Discovery as a Recommendation System. ACM Internet Measurement Conference (IMC ’24), ACM, Nov 2024, Madrid, Spain. ⟨10.1145/3646547.3688429⟩. ⟨hal-04719057⟩

Stanislas Pedebearn, Slim Abdellatif, Pascal Berthou, Dariusz Nogalski, Dallal Belabed. Controllable virtual network service over a multiadministrative multi-domain network. 27th IEEE International Symposium On Real-Time Distributed Computing (ISORC 2024), May 2024, Carthage, Tunis, Tunisia. à paraître. ⟨hal-04502334v2⟩

Van-Tien Nguyen, Guillaume Doyen, Van-Tien Nguyen, Renzo E Navas, Eric Alata, et al.. Toward Context-aware Security for Individual Information Systems. Rendez-vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information (RESSI), May 2024, Eppe-Sauvage, France. ⟨hal-04602354⟩

Aude Jean-Baptiste, Philippe Owezarski, Pascal Berthou, Isabelle Silvain. Assessing the energetical cost of 5G softwarization. International Symposium on Local and Metropolitan Area Networks (LANMAN'2024), IEEE, Jul 2024, Boston (MA), United States. ⟨10.1109/LANMAN61958.2024.10621896⟩. ⟨hal-04602752⟩

Mamadou Lamine Ndao, Claude Baron, Einar Knudsen, Kelson Joao. Towards a systems engineering framework for CubeSats development. Annual International Systems Conference (SysCON 2024), IEEE, Apr 2024, Montréal, Canada. pp.1-8, ⟨10.1109/SysCon61195.2024.10553549⟩. ⟨hal-04573108⟩

Kokouvi Benoit Nougnanke, Justin Loye, Jean-François Baffier, Simone Ferlin, Marc Bruyère, et al.. gPerfIsol: GNN-based Rate-Limits Allocation for Performance Isolation in Multi-tenant Cloud. 27th Conference on Innovation in Clouds, Internet and Networks (ICIN), IEEE, Mar 2024, PARIS, France. ⟨10.1109/ICIN60470.2024.10494419⟩. ⟨hal-04522767⟩

Romain Cayre, Vincent Nicomette, Guillaume Auriol, Mohamed Kaâniche, Aurélien Francillon. OASIS: An Intrusion Detection System Embedded in Bluetooth Low Energy Controllers. 2024 ACM Asia conference on Computer and Communications Security (ASIACCS)., Jul 2024, Singapore, Singapore. ⟨hal-04488826⟩

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⟩

Ioana Livadariu, Kevin Vermeulen, Maxime Mouchet, Vasilis Giotsas. Geofeeds: Revolutionizing IP Geolocation or Illusionary Promises?. The 20th International Conference on emerging Networking EXperiments and Technologies (ACM CoNEXT 2024), Dec 2024, Los Angeles, CA, United States. ⟨hal-04663776⟩

Zacharie Hellouin de Cenival, Samir Medjiah, Christophe Chassot. Co-Designing Sociotechnical Systems for Workplace Communication Regulation: Technical Insights and Data Challenges. 22nd European Conference on Computer-Supported Cooperative Work (ECSCW): The International Venue on Practice-centered Computing on the Design of Cooperation Technologies, Jun 2024, Rimini, Italie, Italy. ⟨hal-04697264⟩

Khoi Tran Dang, Kevin Delmas, Jérémie Guiochet, Joris Guérin. Can we Defend Against the Unknown? An Empirical Study About Threshold Selection for Neural Network Monitoring. Uncertainty in Artificial Intelligence (UAI), PMLR, Jul 2024, Barcelona, Spain. ⟨hal-04579393⟩

Juan Francisco Chafla Altamirano, Mariem Guitouni, Hassan Hassan, Khalil Drira. Routing optimization based on DRL and Generative Adversarial Networks for SDN environments. IEEE/IFIP Network Operations and Management Symposium, IEEE, May 2024, Seoul, South Korea. ⟨hal-04549760⟩

Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa. Approche intégrée pour la modélisation et la simulation des systèmes à structure dynamique. Colloque National du GDR SoC2, Jun 2024, Toulouse, France. ⟨hal-04645089⟩

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⟩

Martijn de Vos, Akash Dhasade, Jade Garcia Bourrée, Anne- Marie Kermarrec, Erwan Le Merrer, et al.. Auditer l'équité : l'union fait-elle la force ?. AlgoTel 2024 – 26èmes Rencontres Francophones sur les Aspects Algorithmiques des Télécommunications, May 2024, Saint-Briac-sur-Mer, France. pp.1-4. ⟨hal-04565809⟩

Autres documents

Raphael Sala, Yasser Sami, Matthieu Jonckheere, Alain Estève, Carole Rossi. Adaptive sampling methodologies to guide the design of reactive materials towards user defined region of interest. 2024. ⟨hal-04694821⟩

Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa. Approche intégrée pour la modélisation et la simulation de systèmes à structure dynamique. Colloque National du GDR SoC2, Jun 2024, Toulouse, France. 2024. ⟨hal-04645069⟩

Comptes rendus de conférences

Apostolos Ampatzoglou, Jennifer Pérez, Barbora Buhnova, Valentina Lenarduzzi, Colin C. Venters, et al.. Software Architecture. ECSA 2024 Tracks and Workshops. Software Architecture. ECSA 2024 Tracks and Workshops, 2024. ⟨hal-04699999⟩

Mohamed Kaâniche, Philippe Cuenot, Kevin Delmas, Jean Marc Gabriel, Adrien Gauffriau, et al.. ERTS 2024 - 12th European Congress on Embedded Real Time Software and Systems. 12th European Congress on Embedded Real Time Software and Systems (ERTS 2024), pp.1--489, 2024. ⟨hal-04643654⟩

Rapports

Charbel Abdel Nour, Cédric Adjih, Karine Amis, Xavier Begaud, Matthieu Crussière, et al.. Deliverable D1 - Technical Report NF-PERSEUS 2023. CEA - Commissariat à l'énergie atomique et aux énergies alternatives. 2024, pp.1-86. ⟨cea-04564147⟩

Pré-publications, documents de travail

V. Hari Rohit, Akshay Mete, D. Manjunath, Jayakrishnan Nair, Balakrishna Prabhu. Partial Server Pooling in Delay Systems. 2024. ⟨hal-04443590⟩

Gurvan Richardeau, Erwan Le Merrer, Camilla Penzo, Gilles Trédan. THE 20 QUESTIONS GAME TO DISTINGUISH LARGE LANGUAGE MODELS. 2024. ⟨hal-04699271⟩

2023

Articles dans une revue

Jia Luo, Lei Shi, Rui Xue, Didier El Baz. Optimization models and solving approaches in relief distribution concerning victims’ satisfaction: A review. Applied Soft Computing, 2023, 143, pp.110398. ⟨10.1016/j.asoc.2023.110398⟩. ⟨hal-04255467⟩

Gaël Loubet, Eric Alata, Alexandru Takacs, Daniela Dragomirescu. A Survey on the Security Challenges of Low-Power Wireless Communication Protocols for Communicating Concrete in Civil Engineerings. Sensors, 2023, 23 (4), pp.1849. ⟨10.3390/s23041849⟩. ⟨hal-04154993⟩

Jia Luo, Daiyun Peng, Lei Shi, Didier El Baz, Xinran Liu. A Comparative Analysis of the COVID-19 Infodemic in English and Chinese: Insights from Social Media Textual Data. Frontiers in Public Health, 2023, 11, ⟨10.3389/fpubh.2023.1281259⟩. ⟨hal-04283683⟩

Claude Baron, Lorenzo Grenier, Vitalina Ostapenko, Rui Xue. Using the ARCADIA/Capella Systems Engineering Method and Tool to Design Manufacturing Systems—Case Study and Industrial Feedback. Systems, 2023, 11 (8), pp.429. ⟨10.3390/systems11080429⟩. ⟨hal-04528267⟩

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan. Leveraging polyhedral reductions for solving Petri net reachability problems. International Journal on Software Tools for Technology Transfer, 2023, 25, pp.95-114. ⟨10.1007/s10009-022-00694-8⟩. ⟨hal-03973463⟩

Armando Castañeda, Aurélie Hurault, Philippe Quéinnec, Matthieu Roy. Tasks in modular proofs of concurrent algorithms. Information and Computation, 2023, 292 (Selected papers from SSS’2019, the 21st International Symposium on Stabilization, Safety, and Security of Distributed Systems), pp.105040. ⟨10.1016/j.ic.2023.105040⟩. ⟨hal-04086420⟩

Maximiliano Altamirano, Roberto Cortez, Matthieu Jonckheere, Lasse Leskelä. Persistence in a large network of locally interacting neurons. Journal of Mathematical Biology, 2023, 86 (1), pp.16. ⟨10.1007/s00285-022-01844-x⟩. ⟨hal-03799712⟩

Jiyang Chen, Tomasz Kloda, Rohan Tabish, Ayoosh Bansal, Chien-Ying Chen, et al.. SchedGuard++: Protecting against Schedule Leaks Using Linux Containers on Multi-Core Processors. ACM Transactions on Cyber-Physical Systems, 2023, 7 (1), pp.1-25. ⟨10.1145/3565974⟩. ⟨hal-04235349⟩

R. Núñez-Queija, J.A.C. Resing, Balakrishna Prabhu. Markovian queues with Poisson control. Indagationes Mathematicae, 2023, 34 (5), pp.990-1013. ⟨10.1016/j.indag.2023.03.002⟩. ⟨hal-04064463⟩

Heithem Sliman, Imen Megdiche, Loay Ajramy, Adel Taweel, Sami Yangui, et al.. MedWGAN Based Synthetic Dataset Generation for Uveitis Pathology. Intelligent Systems with Applications, 2023, 18, pp.200223. ⟨10.1016/j.iswa.2023.200223⟩. ⟨hal-04067238⟩

Antonio Orgiu, Claude Baron, Marc Zolghadri, Jean Alinei. Obsolescence et perte des connaissances dans les organisations. Les Techniques de l'Ingenieur, 2023, g7022, ⟨10.51257/a-v1-g7022⟩. ⟨hal-04215242⟩

Imane Oussakel, Philippe Owezarski, Pascal Berthou, Laurent Houssin. Toward Radio Access Network Slicing Enforcement in Multi-Cell 5G System. Journal of Network and Systems Management, 2023, 31, pp.8. ⟨10.1007/s10922-022-09694-0⟩. ⟨hal-02633510v2⟩

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 (Artifact). Dagstuhl Artifacts Series, 2023, 9 (1), ⟨10.4230/DARTS.9.1.4⟩. ⟨hal-04254710⟩

Rui Xue, Jiaqi Zhang, Huizheng Liu, Keyu Li, Claude Baron. How does outward foreign direct investment influence manufacturing industry sustainable growth in China?. Applied Economics, 2023, 56 (23), pp.2752-2768. ⟨10.1080/00036846.2023.2200233⟩. ⟨hal-04259490⟩

Xiaoyong Qiao, Xingyao Li, Xin Ling, Rui Xue, Claude Baron, et al.. Value-Added Trade, Trade Barriers, and International Technology Spillover—Evidence from China’s Manufacturing Industry. Advances in Management and Applied Economics, 2023, 13 (2), pp.111-137. ⟨10.47260/amae/1326⟩. ⟨hal-04014489⟩

Pierre Siegel, Andrei Doncescu, Vincent Risch, Sylvain Sené. Representation of gene regulation networks by hypothesis logic-based Boolean systems. Journal of Supercomputing, 2023, 79 (4), pp.4556-4581. ⟨10.1007/s11227-022-04809-5⟩. ⟨hal-04022466⟩

Claude Baron, Vincent Louis. Framework and tooling proposals for Agile certification of safety-critical embedded software in avionic systems. Computers in Industry, 2023, 148, pp.103887. ⟨10.1016/j.compind.2023.103887⟩. ⟨hal-04043572⟩

Thi Thuy Nga Nguyen, Olivier Brun, Balakrishna Prabhu. A learning-based scheme for channel allocation to vehicular users in wireless networks. Performance Evaluation, 2023, 159, pp.102331. ⟨10.1016/j.peva.2023.102331⟩. ⟨hal-03952289⟩

Lamoussa Sanogo, Eric Alata, Alexandru Takacs, Daniela Dragomirescu. Intrusion Detection System for IoT: Analysis of PSD Robustness. Sensors, 2023, 23 (4), pp.2353. ⟨10.3390/s23042353⟩. ⟨hal-04154781⟩

Silvano Dal Zilio, Pierre-Emmanuel Hladik, Félix Ingrand, Anthony Mallet. A formal toolchain for offline and run-time verification of robotic systems. Robotics and Autonomous Systems, 2023, 159, pp.104301. ⟨10.1016/j.robot.2022.104301⟩. ⟨hal-03683044v2⟩

Didier El Baz. Can we Trust Chatbots for now? Accuracy, reproducibility, traceability; a Case Study on Leonardo da Vinci's Contribution to Astronomy. Advances in Artificial Intelligence and Machine Learning, 2023, 3 (2), pp.1094-1109. ⟨hal-04078350v2⟩

Omar Darwich, Ahmet-Sefa Ulucan, Quentin Bramas, Anissa Lamani, Anaïs Durand, et al.. Perpetual torus exploration by myopic luminous robots. Theoretical Computer Science, 2023, 976, pp.114143. ⟨10.1016/j.tcs.2023.114143⟩. ⟨hal-04323448⟩

Nicolas Amat, Pierre Bouvier, Hubert Garavel. A Toolchain to Compute Concurrent Places of Petri Nets. LNCS Transactions on Petri Nets and Other Models of Concurrency, 2023, Lecture Notes in Computer Science, 14150, pp.1-26. ⟨10.1007/978-3-662-68191-6_1⟩. ⟨hal-04392784⟩

Sahar Ghrab, Imene Lahyani, Sami Yangui, Mohamed Jmaiel. A core IoT ontology for automation support in edge computing. Service Oriented Computing and Applications, 2023, 17 (1), pp.25-37. ⟨10.1007/s11761-022-00356-2⟩. ⟨hal-04196731⟩

Armando Castañeda, Pierre Fraigniaud, Ami Paz, Sergio Rajsbaum, Matthieu Roy, et al.. Synchronous t-resilient consensus in arbitrary graphs. Information and Computation, 2023, 292, pp.105035. ⟨10.1016/j.ic.2023.105035⟩. ⟨hal-04287975⟩

Antonio Orgiu, Claude Baron, Marc Zolghadri, Jean Alinei. Obsolescence et perte des connaissances dans les organisations. Les Techniques de l'Ingenieur, 2023, pp.Réf : G7022 v1. ⟨10.51257/a-v1-g7022⟩. ⟨hal-04556289⟩

Erwan Le Merrer, Gilles Trédan, Ali Yesilkanat. Modeling Rabbit-Holes on YouTube. Social Network Analysis and Mining, 2023, 13 (1), pp.100. ⟨10.1007/s13278-023-01105-9⟩. ⟨hal-03620039v2⟩

Erwan Le Merrer, Ronan Pons, Gilles Trédan. Algorithmic audits of algorithms, and the law. AI and Ethics, 2023, pp.1-21. ⟨10.1007/s43681-023-00343-z⟩. ⟨hal-03583919v2⟩

Amira Benachour, Saïd Yahiaoui, Didier El Baz, Nadia Nouali-Taboudjemat, Hamamache Kheddouci. Fast parallel algorithms for finding elementary circuits of a directed graph: a GPU-based approach. Journal of Supercomputing, 2023, 79 (5), pp.4791-4819. ⟨10.1007/s11227-022-04835-3⟩. ⟨hal-03793115⟩

Xiaocui Li, Zhangbing Zhou, Qiang He, Zhensheng Shi, Walid Gaaloul, et al.. Re-scheduling IoT services in edge networks. IEEE Transactions on Network and Service Management, 2023, 20 (3), pp.3233-3246. ⟨10.1109/TNSM.2023.3242937⟩. ⟨hal-04376906⟩

Kassem Asfour, Roland Martin, Didier El Baz, Ludovic Bodet, Bastien Plazolles. Impact of source modeling and poroelastic models on numerical modeling of unconsolidated granular media: application at the laboratory scale. Surveys in Geophysics, In press, ⟨10.1007/s10712-023-09812-w⟩. ⟨hal-04255458⟩

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⟩

Bermolen Paola, Goicoechea Valeria, Matthieu Jonckheere. Large deviations for the greedy exploration process on configuration models. Electronic Communications in Probability, 2023, 28, pp.1-14. ⟨10.1214/23-ECP541⟩. ⟨hal-04253334⟩

Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, Sebastien Guilmeau, et al.. Toward an Operations-Dedicated Model for Space Systems. Journal of Aerospace Information Systems, 2023, 20 (4), pp.168-180. ⟨10.2514/1.I011093⟩. ⟨hal-04027880⟩

Livres

Erwan Le Merrer, Gilles Trédan. What is a black box algorithm?. 2023. ⟨hal-03940259⟩

Communications dans un congrès

Philippe Owezarski. Investigating adversarial attacks against Random Forest-based network attack detection systems. 8th IEEE/IFIP International Workshop On Analytics For Network And Service Management, IEEE/IFIP, May 2023, Miami (FL), United States. ⟨10.1109/NOMS56928.2023.10154328⟩. ⟨hal-04029130⟩

Pierre Houdouin, Matthieu Jonckheere, Frédéric Pascal. FEMDA: Une méthode de classification robuste et flexible. GRETSI 2023 - XXIXème Colloque Francophone de Traitement du Signal et des Images, Sep 2022, Nancy, France. ⟨hal-04254165⟩

Joris Guérin, Kevin Delmas, Raul Sena Ferreira, Jérémie Guiochet. Out-Of-Distribution Detection Is Not All You Need. The 37th AAAI conference on artificial intelligence (2023), Feb 2023, Washington DC, United States. ⟨hal-03870531v2⟩

Raul Sena Ferreira, Joris Guerin, Jeremie Guiochet, Hélène Waeselynck. SENA: Similarity-based Error-checking of Neural Activations. 27th European Conference on Artificial Intelligence - ECAI 2023, Sep 2023, Krakow, Poland. ⟨hal-04212952⟩

Zheng Zhou, Nicola Accettura, Raoul Prévost, Pascal Berthou. Lightweight synchronization to NB-IoT enabled LEO Satellites through Doppler prediction. The 19th International Conference on Wireless and Mobile Computing, Networking and Communications (IEEE WiMob 2023), Jun 2023, Montreal, Canada. ⟨10.1109/WiMob58348.2023.10187879⟩. ⟨hal-04054470v3⟩

Jean Alinei, Guillaume Arthaud, Luiz Fernando Lavado Villa, Antonio Orgiu, Sahar Karaani, et al.. Improving the repairability of technical systems, a methodological proposal based on collaborative documentation -Example/case of an open source power converter. SGE - Symposium de Génie Electrique 2023, Jul 2023, Lille, France. ⟨hal-04490872⟩

Mariem Bousaid, Safa Kaabi, Amine Dhraief, Khalil Drira. Unlocking the Power of Reinforcement Learning: Investigating Optimal Q-Learning Parameters for Routing in Flying Ad Hoc Networks. IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2023), IEEE, Dec 2023, Paris, France. pp.1-6, ⟨10.1109/WETICE57085.2023.10477807⟩. ⟨hal-04551041⟩

Céline Minh, Kevin Vermeulen, Cédric Lefebvre, Philippe Owezarski, William Ritchie. Un système d'apprentissage ensembliste explicable pour détecter des attaques réseau inconnues. Conference on Artificial Intelligence for Defense, DGA Maîtrise de l'Information, Nov 2023, Rennes, France. ⟨hal-04328482⟩

Claus Bossen, Christophe Chassot, Caroline Datchary, Sylvie Grosjean, Shion Guha, et al.. Collectively Improve the Quality of Life at Work. 21st European Conference on Computer-Supported Cooperative Work: The International Venue on Practice-centred Computing on the Design of Cooperation Technologies, Jun 2023, Trondheim ( Norvège), Norway. ⟨10.48340/ecscw2023_ws03⟩. ⟨hal-04455667⟩

Céline Minh, Kevin Vermeulen, Cédric Lefebvre, Philippe Owezarski, William Ritchie. An explainable-by-design ensemble learning system to detect unknown network attacks. 19th International Conference on Network and Service Management (CNSM 2023), Oct 2023, Niagara Falls, Canada. ⟨hal-04228893⟩

Thomas Boursac, Frédéric Camps, Ghada Gharbi, Khalil Drira, Romain Boyer. A Survey on Technologies, Standards and Open Challenges in Satellite IoT. 13th European CubeSat Symposium, Dec 2023, Leuven, Belgium. pp.1693 - 1720, ⟨10.1109/comst.2021.3078433⟩. ⟨hal-04320848⟩

Leila Bouchrit, Sajeh Zairi, Ikbal Msadaa, Amine Dhraief, Khalil Drira. Flying to the Rescue: UAV-Assisted Urgent Alert Transmission in VANET. IEEE International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE 2023 ), Dec 2023, Paris, France. pp.1-6, ⟨10.1109/WETICE57085.2023.10477830⟩. ⟨hal-04551024⟩

Jou Boris Tiomela, Haug Torleif, Holmes Justin, Pascal Berthou, Roland Gautier. Performance assessment framework and concept of operations in live satellite communication systems. International communications satellite systems conference, Oct 2023, Bradford, United Kingdom. ⟨hal-04210245⟩

Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, David Canu, et al.. Introducing Operational Diagnosis Models for Ground Station Architectures using Behaviour Trees. 17th International Conference on Space Operations (SpaceOps 2023), Mohammed Bin Rashid Space Centre (MBRSC), Mar 2023, Dubai, United Arab Emirates. pp.1--8. ⟨hal-04302310⟩

Luca Vittorio Sartori, Hélène Waeselynck, Jérémie Guiochet. Pairwise Testing Revisited for Structured Data With Constraints. IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), Apr 2023, Dublin, Ireland. ⟨10.1109/ICST57152.2023.00027⟩. ⟨hal-03938378v2⟩

Kevin Vermeulen, Loqman Salamatian, Sang Hoon Kim, Matt Calder, Ethan Katz-Bassett. The Central Problem with Distributed Content. HotNets : Twenty-Second ACM Workshop on Hot Topics in Networks, Nov 2023, Cambridge, United States. ⟨10.1145/3626111.3628213⟩. ⟨hal-04273837⟩

Romain Boyer, Frédéric Camps, Khalil Drira, Thomas Boursac, Ghada Gharbi. Conceptualization and Specification of the Machine-to-Machine Payload System on NIMPH Satellite for IoT-Based Medical Monitoring Applications. Cubesat Symposium 2023, Dec 2023, Louvain, Belgium. ⟨hal-04330654⟩

Alexandre Sabbadin, Abdel Kader Chabi Sika Boni, Hassan Hassan, Khalil Drira. Optimizing network slice placement using Deep Reinforcement Learning (DRL) on a real platform operated by Open Source MANO (OSM). Tunisian-Algerian Conference on Applied Computing (TACC 2023), Nov 2023, Sousse, Tunisia. ⟨hal-04265140⟩

Augustin Godinot, Erwan Le Merrer, Gilles Trédan, Camilla Penzo, François Taïani. Change-Relaxed Active Fairness Auditing. RJCIA 2023 - 21e Rencontres des Jeunes Chercheurs en Intelligence Artificiel, Association Française pour l'Intelligence Artificielle, Jul 2023, Strasbourg, France. pp.91-96. ⟨hal-04395914⟩

Heithem Sliman, Imen Megdiche, Sami Yangui, Aida Drira, Ines Drira, et al.. A Synthetic Dataset Generation for the Uveitis Pathology Based on MedWGAN Model. 38th ACM SIGAPP Symposium on Applied Computing (SAC 2023), ACM Special Interest Group on Applied Computing, Mar 2023, Tallinn, Estonia. pp.559-566, ⟨10.1145/3555776.3577648⟩. ⟨hal-04321072⟩

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⟩

Omar Darwich, Hugo Rimlinger, Milo Dreyfus, Matthieu Gouel, Kevin Vermeulen. Replication: Towards a Publicly Available Internet scale IP Geolocation Dataset. ACM Internet Measurement Conference (IMC 2023), ACM, Oct 2023, Montréal, Canada. ⟨10.1145/3618257.3624801⟩. ⟨hal-04215113v2⟩

Maria Laura Brzezinski Meyer, Hélène Waeselynck, Fernand Cuesta. A Case Study on the "Jungle" Search for Industry-Relevant Regression Testing. 23rd IEEE International Conference on Software Quality, Reliability & Security (QRS 2023), Oct 2023, Chiang Mai, Thailand. ⟨10.1109/QRS60937.2023.00045⟩. ⟨hal-04294958⟩

Florent Moriconi, Axel Ilmari Neergaard, Lucas Georget, Samuel Aubertin, Aurélien Francillon. Reflections on Trusting Docker: Invisible Malware in Continuous Integration Systems. 17th IEEE Workshop on Offensive Technologies (WOOT 2023), IEEE, May 2023, San Francisco (CA, USA), United States. ⟨10.1109/SPW59333.2023.00025⟩. ⟨hal-04087018⟩

Nicolas Amat, Silvano Dal Zilio, Didier Le Botlan. Automated Polyhedral Abstraction Proving. 44th International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2023), Jun 2023, Lisbon, Portugal. pp.324-345, ⟨10.1007/978-3-031-33620-1_18⟩. ⟨hal-04115006⟩

Nicolas Amat, Silvano Dal Zilio. SMPT: A Testbed for Reachability Methods in Generalized Petri Nets. 25th International Symposium on Formal Methods (FM 2023), Mar 2023, Lübeck, Germany. pp.445-453, ⟨10.1007/978-3-031-27481-7_25⟩. ⟨hal-04007410⟩

Matthieu Gouel, Kevin Vermeulen, Hugo Rimlinger, Olivier Fourmaux, Timur Friedman. Vers des mesures haute fréquence d'internet plus éthiques. 8èmes Rencontres Francophones sur la Conception de protocoles, l'évaluation de performances et l'expérimentation de Réseaux de communication, May 2023, Cargese, France. ⟨hal-04090683⟩

Julianna Devillers, Olivier Brun, Balakrishna Prabhu. Data Summarization for Federated Learning. Proceedings of the 6th International Conference on Machine Learning for Networking (MLN'2023), Nov 2023, Paris, France. ⟨hal-04295982⟩

Quentin Vacher, Philippe Owezarski. A controversial study on Random Forest Accuracy for Attack Detection. Future Technology Conference, Science and Information organization (SAI), Nov 2023, San Francisco (CA, USA), United States. ⟨hal-04089074⟩

Chrisson Awanyo, Nawal Guermouche. Deep Neural Network-based Approach for IoT Service QoS Predicti. 24th International Conference Web Information Systems Engineering (WISE 2023), Oct 2023, Melbourne, Australia. pp.397-406, ⟨10.1007/978-981-99-7254-8⟩. ⟨hal-04285558⟩

Alassane Sidibe, Gael Loubet, Alexandru Takacs, Lamoussa Sanogo, Daniela Dragomirescu. Battery-free Bluetooth Low Energy Wireless Sensor Powered by Radiative Wireless Power Transfer. NewCAS 2023, IEEE, Jun 2023, Edinburg,, United Kingdom. ⟨10.1109/NEWCAS57931.2023.10198088⟩. ⟨hal-04157047⟩

Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa. Benchmarking formalisms for dynamic structure system Modeling and Simulation. Modélisation des Systèmes Réactifs (MSR'23), CNRS, Nov 2023, Toulouse, France. ⟨hal-04397152v2⟩

Tanissia Djemai, Pascal Berthou, Olivier Gremillet, A. Al Sheikh, Youssouf Drif, et al.. Smart Management of Virtualized Network Service Chains in 5G Infrastructure. 11th European Congress on Embedded Real-Time Systems, Jun 2023, Toulouse, France. ⟨hal-04142606⟩

Pierre Houdouin, Matthieu Jonckheere, Frédéric Pascal, Esa Ollila. Algorithme EM régularisé. GRETSI 2023 - XXIXème Colloque Francophone de Traitement du Signal et des Images, Aug 2023, Grenoble, France. ⟨hal-04254186⟩

Romain Fontugne, Amreesh Phokeer, Cristel Pelsser, Kevin Vermeulen, Randy Bush. RPKI Time-of-Flight: Tracking Delays in the Management, Control, and Data Planes. Passive and Active Measurements, Springer, Mar 2023, Virtual, France. pp.429-457, ⟨10.1007/978-3-031-28486-1_18⟩. ⟨hal-04231026⟩

Raoua Chakroun, Thierry Villemur, Kokouvi Benoit Nougnanke. Learning-Based Infrastructure To Vehicle Link Quality Estimation. 31st International Conference on Software, Telecommunications and Computer Networks (SoftCOM 2023), University of Split, FESB and Croatian Communications and Information Society (CCIS), Sep 2023, Split, Croatia. ⟨hal-04194050⟩

Autres documents

Samir Medjiah, Thierry Monteil, Luigi Liquori, Marie-Agnès Peraldi-Frati, Bob Flynn. SmartM2M; Model for oneM2M Performance Evaluation. ETSI Technical Specification 103840, 2023, pp.29. ⟨hal-04229478⟩

Bob Flynn, Luigi Liquori, Marie-Agnès Peraldi-Frati, Samir Medjiah, Thierry Monteil. SmartM2M: Scenarios for evaluation of oneM2M deployments. ETSI Technical Report 103839, 2023, pp.34. ⟨hal-04229449⟩

Mamadou Lamine Ndao, Claude Baron, Einar Knudsen, Kelson Joao. Towards a Systems Engineering Framework Adapted to the NewSpace Industry. ESA CubeSat Industry Day, Sep 2023, Leiden (Netherlands), Netherlands. 2023. ⟨hal-04573088⟩

Matthieu Gouel, Omar Darwich, Maxime Mouchet, Kevin Vermeulen. Poster: Towards a Publicly Available Framework to Process Traceroutes with MetaTrace. ACM Internet Measurement Conference (IMC 2023), Oct 2023, Montreal (Canada), Canada. 2023. ⟨hal-04218315⟩

Romain Boyer, Frédéric Camps, Khalil Drira, Ghada Gharbi, Thomas Boursac. Poster Conceptualization and Specification of the Machine-to-Machine Payload System on NIMPH Satellite for IoT-Based Medical Monitoring Applications. Cubesat Symposium 2023, Dec 2023, Louvain (BE), Belgium. 2023. ⟨hal-04330659⟩

Claude Baron. C'est quoi une dashcam ? A quoi ça sert ?. 2023, pp.8. ⟨hal-04014494⟩

Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio, Didier Le Botlan. Polyhedral Reductions for Petri nets. Modélisation des Systèmes Réactifs (MSR'23), Nov 2023, Toulouse, France. , 2023. ⟨hal-04355257⟩

Rapports

Céline Minh, Kevin Vermeulen, Cédric Lefebvre, Philippe Owezarski, William Ritchie. An explainable-by-design ensemble learning system to detect unknown network attacks. Custocy; LAAS - CNRS. 2023. ⟨hal-04167635⟩

Pré-publications, documents de travail

Matthieu Jonckheere, Chiara Mignacco, Gilles Stoltz. Symphony of experts: orchestration with adversarial insights in reinforcement learning. 2023. ⟨hal-04256705⟩

Olivier Brun, Josu Doncel. On the Inefficiency of Atomic Routing Games over Parallel Links. 2023. ⟨hal-03863930v2⟩

Daniel Mastropietro, Urtzi Ayesta, Matthieu Jonckheere, Szymon Majewski. Efficient reinforcement learning with Fleming-Viot particle systems: application to stochastic networks with rarely observed rewards. 2023. ⟨hal-04129885⟩

Nahuel Soprano-Loto, Matthieu Jonckheere, Pascal Moyal. Online matching for the multiclass stochastic block model. 2023. ⟨hal-04149842⟩

Céline Comte, Matthieu Jonckheere, Jaron Sanders, Albert Senen-Cerda. Score-Aware Policy-Gradient Methods and Performance Guarantees using Local Lyapunov Conditions. 2024. ⟨hal-04329790v2⟩

Philippe Leleux, Christina Schwarz, Martin Joachim Kühn, Carola Kruse, Ulrich Rüde. Complexity analysis and scalability of a matrix-free extrapolated geometric multigrid solver for curvilinear coordinates representations from fusion plasma applications. 2023. ⟨hal-04356523⟩

Bermolen Paola, Goicoechea Valeria, Matthieu Jonckheere. Large deviations for the greedy exploration process on configuration models. 2022. ⟨hal-03799711⟩

Bernard Berthomieu, Dmitry A Zaitsev. Sleptsov Nets are Turing-complete. 2023. ⟨hal-04139308⟩

Matthieu Gouel, Maxime Mouchet, Omar Darwich, Kevin Vermeulen. Towards a Publicly Available Framework to Process Traceroutes with MetaTrace. 2023. ⟨hal-04198068⟩

Céline Comte, Fabien Mathieu, Ana Bušić. Stochastic dynamic matching: A mixed graph-theory and linear-algebra approach. 2023. ⟨hal-03502084v4⟩

Olivier Brun, Balakrishna Prabhu, Oumayma Haddaji. Prediction-based Coflow Scheduling. 2023. ⟨hal-04231370⟩

2022

Articles dans une revue

Bassem Sellami, Akram Hakiri, Sadok Ben Yahia, Pascal Berthou. Energy-aware task scheduling and offloading using deep reinforcement learning in SDN-enabled IoT network. Computer Networks, 2022, 210, pp.108957. ⟨10.1016/j.comnet.2022.108957⟩. ⟨hal-03648574v2⟩

Matthieu Jonckheere. From Erlang formula to robust control. Queueing Systems, 2022, 100 (3-4), pp.457-459. ⟨10.1007/s11134-022-09757-8⟩. ⟨hal-03799700⟩

Raoua Chakroun, Slim Abdellatif, Thierry Villemur. Q-Learning Relay Placement for Alert Message Dissemination in Vehicular Networks. Procedia Computer Science, 2022, 203, pp.222-230. ⟨10.1016/j.procs.2022.07.029⟩. ⟨hal-03752294⟩

Rudesindo Núñez-Queija, Balakrishna Prabhu, Jacques Resing. Queueing models with service speed adaptations at arrival instants of an external observer. Queueing Systems, 2022, 100 (3-4), pp.233-235. ⟨10.1007/s11134-022-09790-7⟩. ⟨hal-03871877⟩

Alexandre Albore, David Doose, Christophe Grand, Jérémie Guiochet, Charles Lesire, et al.. Skill-based design of dependable robotic architectures. Robotics and Autonomous Systems, 2022, 160, pp.104318. ⟨10.1016/j.robot.2022.104318⟩. ⟨hal-03927289⟩

Fernando Miguelez, Josu Doncel, Balakrishna Prabhu. Load-balancing for Multi-skilled Servers with Bernoulli Routing. Annals of Operations Research, 2022, 312 (2), pp.949-971. ⟨10.1007/s10479-022-04532-7⟩. ⟨hal-03084240⟩

Rémi Adelin, Cyrius Nugier, Éric Alata, Vincent Nicomette, Vincent Migliore, et al.. Facing Emerging Challenges in Connected Vehicles: A Formally Proven, Legislation Compliant, and Post-Quantum Ready Security Protocol. Journal of Computer Virology and Hacking Techniques, 2022, ⟨10.1007/s11416-022-00426-1⟩. ⟨hal-03756650⟩

Sophia Salas Cordero, Marc Zolghadri, Rob Vingerhoeds, Claude Baron. Identification and Assessment of Obsolescence in the Early Stages of System Design. Journal of Integrated Design and Process Science, 2022, 24 (3-4), pp.15-33. ⟨10.3233/JID-210018⟩. ⟨hal-03837386⟩

Thi Thuy Nga Nguyen, Olivier Brun, Balakrishna Prabhu. Using channel predictions for improved proportional-fair utility for vehicular users. Computer Networks, 2022, 208, ⟨10.1016/j.comnet.2022.108872⟩. ⟨hal-02892099v2⟩

Claude Baron, Yann Argotti, Zolghadri Marc, Sid-Ali Addouche, Mariem Besbes, et al.. Obsolescence des systèmes informatiques et du logiciel. Les Techniques de l'Ingenieur, 2022, pp.Réf : H7002 v2. ⟨10.51257/a-v2-h7002⟩. ⟨hal-04397581⟩

Karima Khadir, Nawal Guermouche, Amal Guittoum, Thierry Monteil. A genetic algorithm based approach for fluctuating QoS aware selection of IoT services. IEEE Access, 2022, 10, pp.17946-17965. ⟨10.1109/ACCESS.2022.3145853⟩. ⟨hal-03995231⟩

Antoine Boche, Clément Foucher, Luiz Fernando Lavado Villa. Understanding Microgrid Sustainability: A Systemic and Comprehensive Review. Energies, 2022, 15 (8), pp.2906. ⟨10.3390/en15082906⟩. ⟨hal-03642707⟩

Lei Shi, Jia Luo, Peiying Zhang, Hongqi Han, Didier El Baz, et al.. Understanding User Preferences in Location-Based Social Networks via a Novel Self-Attention Mechanism. Sustainability, 2022, 14 (24), pp.16414. ⟨10.3390/su142416414⟩. ⟨hal-04258231⟩

Nicolas Amat, Bernard Berthomieu, Silvano Dal Zilio. A Polyhedral Abstraction for Petri nets and its Application to SMT-Based Model Checking. Fundamenta Informaticae, 2022, 187 (2-4), pp.103-138. ⟨10.3233/FI-222134⟩. ⟨hal-03455697v2⟩

Raoua Chakroun, Slim Abdellatif, Thierry Villemur. LAMD: Location-based Alert Message Dissemination scheme for emerging infrastructure-based vehicular networks. Internet of Things, 2022, 19, pp.100510. ⟨10.1016/j.iot.2022.100510⟩. ⟨hal-03752292⟩

Ali El Amine, Jean-Paul Chaiban, Hussein Al Haj Hassan, Paolo Dini, Loutfi Nuaymi, et al.. Energy Optimization with Multi-Sleeping Control in 5G Heterogeneous Networks using Reinforcement Learning. IEEE Transactions on Network and Service Management, 2022, 19 (4), pp.4310 - 4322. ⟨10.1109/TNSM.2022.3157650⟩. ⟨hal-03614844⟩

Paola Bermolen, Valeria Goicoechea, Matthieu Jonckheere, Ernesto Mordecki. Large Deviation Principle for the Greedy Exploration Algorithm over Erdös-Rényi Graphs. ALEA : Latin American Journal of Probability and Mathematical Statistics, 2022, 19 (1), pp.439-456. ⟨10.30757/ALEA.v19-16⟩. ⟨hal-03625698⟩

Clovis Anicet Ouedraogo, Samir Medjiah, Christophe Chassot, Khalil Drira, Jose Aguilar. Adaptive Performance Analysis in IoT Platforms. IEEE Transactions on Network and Service Management, 2022, 19 (4), pp.4764 - 4778. ⟨10.1109/TNSM.2022.3193750⟩. ⟨hal-03739208⟩

Matthieu Gouel, Kevin Vermeulen, Maxime Mouchet, Justin Rohrer, Olivier Fourmaux, et al.. Zeph & Iris map the internet: A resilient reinforcement learning approach to distributed IP route tracing. Computer Communication Review, 2022, 52 (1), pp.2-9. ⟨10.1145/3523230.3523232⟩. ⟨hal-03597580⟩

Josué Castañeda Cisneros, Saúl Eduardo Pomares Hernández, Pérez Sansalvador, Lil M Rodríguez Henríquez, Sami Yangui, et al.. Coordination-free Multi-domain NFV Orchestration for Consistent VNF Forwarding Graph Reconfiguration. IEEE Transactions on Network and Service Management, 2022, 19 (4), pp.5133 - 5151. ⟨10.1109/TNSM.2022.3192328⟩. ⟨hal-03762327⟩

Yandika Sirgabsou, Claude Baron, Laurent Pahun, Philippe Esteban. Model-driven engineering to ensure automotive embedded software safety. Methodological proposal and case study. Computers in Industry, 2022, 2022-02, 138, pp.103636. ⟨10.1016/j.compind.2022.103636⟩. ⟨hal-03590899⟩

Rui Xue, Claude Baron, Rob A. Vingerhoeds, Philippe Esteban. Enhancing engineering project management through process alignment. Engineering Management Journal, 2022, 34 (2), pp.230-248. ⟨10.1080/10429247.2020.1865002⟩. ⟨hal-03147353⟩

Yuxiao Mao, Vincent Migliore, Vincent Nicomette. MATANA: A Reconfigurable Framework for Runtime Attack Detection Based on the Analysis of Microarchitectural Signals. Applied Sciences, 2022, 12 (3), pp.1452. ⟨10.3390/app12031452⟩. ⟨hal-03571995⟩

Josué Castañeda Cisneros, Sami Yangui, Saúl Eduardo Pomares Hernández, Khalil Drira. A survey on distributed NFV multi-domain orchestration from an algorithmic functional perspective. IEEE Communications Magazine, 2022, 60 (8), pp.60-65. ⟨10.1109/MCOM.002.2100950⟩. ⟨hal-03762580⟩

Rui Xue, Huizheng Liu, Claude Baron, Xinyue Miao, Muhammad Afaq Haider Jafri. Insight of the Chinese enterprises’ investment performance along ‘one belt one road’. Journal of the Asia Pacific Economy, 2022, 34 (2), pp.1-24. ⟨10.1080/13547860.2022.2035094⟩. ⟨hal-04397551⟩

Didier El Baz, Bilal Fakih, Romeo Sanchez Nigenda, Vincent Boyer. Parallel best-first search algorithms for planning problems on multi-core processors. Journal of Supercomputing, 2022, 78 (3), p. 3122-3151. ⟨10.1007/s11227-021-03986-z⟩. ⟨hal-03380578⟩

Klaus-Tycho Foerster, Andrzej Kamisinski, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Trédan. Improved Fast Rerouting Using Postprocessing. IEEE Transactions on Dependable and Secure Computing, 2022, 19 (1), pp.537-550. ⟨10.1109/TDSC.2020.2998019⟩. ⟨hal-03048830⟩

Livres

Nesrine Khabou, Ismael Bouassida Rodriguez, Khalil Drira (Dir.). Introduction to the Special Issue on Software-Intensive Autonomous Systems: methods and applications. In press. ⟨hal-03788575⟩

Chapitres d’ouvrages

Mohamed Kaâniche, Karama Kanoun. System dependability assessment -Interplay between research and practice. System Dependability and Analytics. Approaching System Dependability from Data, System and Analytics Perspectives, Springer, pp.393-404, 2022, Springer Series in Reliability Engineering, 978-3-031-02062-9. ⟨10.1007/978-3-031-02063-6_23⟩. ⟨hal-03739141⟩

Zheng Zhou, Mohammad Afhamisis, Maria Rita Palattella, Nicola Accettura, Pascal Berthou. Pervasive LPWAN connectivity through LEO Satellites: trading off reliability, throughput, latency, and energy efficiency. Ismail Butun; Ian F. Akyildiz. Low-Power Wide-Area Networks: Opportunities, Challenges, Risks and Threats, Springer, In press, 978-3-031-32934-0. ⟨hal-03844534v2⟩

Communications dans un congrès

Frédéric Lerasle, Joris Guérin, Kimberley Gaume. Optimisation conjointe du contenu sémantique et du temps d'exécution pour une tâche robotisée de saisie d'objet. Reconnaissance des Formes, Images, Apprentissage et Perception (RFIAP), Jul 2022, Vannes (Bretagne), France. ⟨hal-04490461⟩

Laurent Chasserat, Nicola Accettura, Pascal Berthou. Experimental throughput models for LoRa networks with capture effect. The 18th International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob), Oct 2022, Thessaloniki, Greece. ⟨10.1109/WiMob55322.2022.9941715⟩. ⟨hal-03766766v2⟩

Aléxis Génèrès, Michaël Lauer. Experimental Platform for Testing Cache Allocation Policies to Improve Linux Real-Time Behaviour. CARS - Critical Automotive applications: Robustness & Safety, Sep 2022, Zaragoza, Spain. ⟨hal-03782727v2⟩

Nicolas Amat, Silvano Dal Zilio, Thomas Hujsa. Property Directed Reachability for Generalized Petri Nets. Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2022, Apr 2022, Munich, Germany. ⟨10.1007/978-3-030-99524-9_28⟩. ⟨hal-03545594⟩

Sofien Resifi, Hassan Hassan, Khalil Drira. Adapting Deep Learning models to IoT environments. 5th Conference on Cloud and Internet of Things (CIoT 2022), Mar 2022, Marrakech, Morocco. ⟨10.1109/CIoT53061.2022.9766636⟩. ⟨hal-03622723⟩

Matthieu Gouel, Kevin Vermeulen, Maxime Mouchet, Justin Rohrer, Olivier Fourmaux, et al.. Zeph & Iris cartographient l'internet. CORES 2022 – 7ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2022, Saint-Rémy-Lès-Chevreuse, France. ⟨hal-03656974⟩

Yandika Sirgabsou, Claude Baron, Laurent Pahun, Philippe Esteban. Software fault propagation patterns for model-based safety assessment in autonomous cars. 11th European Congress on Embedded Real Time Systems (ERTS), Jun 2022, Toulouse, France. ⟨hal-03699226⟩

Nikolena Christofi, Xavier Pucel. A Novel Methodology to Construct Digital Twin Models for Spacecraft Operations Using Fault and Behaviour Trees. ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems (MODELS 22), Oct 2022, Montréal, Canada. ⟨10.1145/3550356.3561550⟩. ⟨hal-03834006⟩

Luca Vittorio Sartori, Jérémie Guiochet, Hélène Waeselynck, Aizar Antonio Berlanga Galvan, Simon Hébert-Vernhes, et al.. Integration of Test Generation Into Simulation-Based Platforms: An Experience Report. 3rd ACM/IEEE International Conference on Automation of Software Test, May 2022, Pittsburgh, United States. ⟨10.1145/3524481.3527236⟩. ⟨hal-03623613⟩

Clément Cassé, Pascal Berthou, Philippe Owezarski, Sebastien Josset. A Tracing Based Model to Identify Bottlenecks in Physically Distributed Applications. 2022 International Conference on Information Networking (ICOIN), Jan 2022, Jeju-si, South Korea. pp.226-231, ⟨10.1109/ICOIN53446.2022.9687217⟩. ⟨hal-03562064⟩

Klaus-Tycho Foerster, Juho Hirvonen, Yvonne-Anne Pignolet, Stefan Schmid, Gilles Tredan. On the Price of Locality in Static Fast Rerouting. 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Jun 2022, Baltimore, United States. pp.215-226, ⟨10.1109/dsn53405.2022.00032⟩. ⟨hal-03859648⟩

Abdel Kader Chabi Sika Boni, Youssef Hablatou, Hassan Hassan, Khalil Drira. Resilient deep reinforcement learning architecture for task offloading in autonomous IoT systems. The 12th International Conference on the Internet of Things (IoT 2022), Nov 2022, Delft, Netherlands. ⟨10.1145/3567445.3567454⟩. ⟨hal-03763258⟩

Ali El Amine, Olivier Brun. Application de la théorie des jeux à l'optimisation du placement et chaînage des VNFs. CORES 2022 – 7ème Rencontres Francophones sur la Conception de Protocoles, l’Évaluation de Performance et l’Expérimentation des Réseaux de Communication, May 2022, Saint-Rémy-Lès-Chevreuse, France. ⟨hal-03649945⟩

Esteban Perrotin, Matthieu Roy, Ariane Herbulot, Michel Devy, Fabrice Bousquet. Towards the certification of vision based systems: modular architecture for airport line detection. 11th European Congress on Embedded Real-Time Systems, Jun 2022, Toulouse, France. ⟨hal-03717993⟩

Gabriela Medina, Jérémie Guiochet, Charles Lesire, Augustin Manecy. A skill fault model for autonomous systems. 4th International Workshop on Robotics Software Engineering (RoSE’22), Co-located with ICSE 2022, May 2022, Pittsburg (virtual), United States. ⟨10.1145/3526071.3527513⟩. ⟨hal-03609377v2⟩

Daniel Mastropietro, Szymon Majewski, Urtzi Ayesta, Matthieu Jonckheere. Boosting reinforcement learning with sparse and rare rewards using Fleming-Viot particle systems. 15th European Workshop on Reinforcement Learning (EWRL 2022), Sep 2022, Milano, Italy. ⟨hal-03772025⟩

Deng Zhao, Zhangbing Zhou, Zhipeng Cai, Teng Long, Sami Yangui, et al.. ASTL: accumulative signal temporal logic for IoT service monitoring. IEEE International Conference on Web Services (ICWS 2022), Jul 2022, Barcelona, Spain. pp.256-265, ⟨10.1109/ICWS55610.2022.00047⟩. ⟨hal-04030781⟩

Quentin Douarre, El-Mehdi Djelloul, Pascal Berthou, Daniela Dragomirescu, Philippe Owezarski. Design of a 5G experimental platform based on OpenAirInterface. TridentCom'2022 - 17th EAI International Conference on Tools for Design, Implementation and Verification of Emerging Information Technologies, Nov 2022, Melbourne, Australia. ⟨hal-03855794⟩

Santiago Pantano-Calderón, Claude Baron, Jean-Charles Chaudemar, Élise Vareilles, Rob Vingerhoeds. Regarding the COVID-19 crisis from a systems engineering perspective. 19th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2022), ISCRAM, May 2022, Tarbes, France. ⟨hal-03725493⟩

Eric Razafimahazo, Pierre De Saqui-Sannes, Rob A. Vingerhoeds, Julien Soula, Romain Mège, et al.. Towards a Customizable Architecture for Indoor Multi-Usages Drones. 33rd Congress of the International Council of the Aeronautical Sciences (ICAS), Sep 2022, Stockholm (Suède), Sweden. ⟨hal-04493777⟩

Sophia Salas-Cordero, Rob Vingerhoeds, Claude Baron, Zolghadri Marc. Can Proactive Obsolescence Management and Innovation go hand in hand during the Conceptual Design Phase of Complex Systems?. 18th IFIP International Conference on Product Lifecycle Management (PLM), Jul 2021, Curitiba, Brazil. pp.40-54, ⟨10.1007/978-3-030-94399-8_4⟩. ⟨hal-03344919⟩

Mohamed El Mostadi, Hélène Waeselynck, Jean-Marc Gabriel. Virtual Test Scenarios for ADAS: Distance to Real Scenarios Matters!. 33nd IEEE Intelligent Vehicles Symposium (IV 2022), Jun 2022, Aachen, Germany. ⟨10.1109/IV51971.2022.9827170⟩. ⟨hal-03770653⟩

Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, Sébastien Guilmeau, et al.. Towards an agile, model-based multidisciplinary process to improve operational diagnosis in complex systems. 11th European Congress on Embedded real time systems (ERTS 2022), https://www.erts2022.org/, Jun 2022, Toulouse, France. ⟨hal-03699979⟩

Pierre Houdouin, Andrew Wang, M Jonckheere, Frédéric Pascal. Robust classification with flexible discriminant analysis in heterogeneous data. 2022 IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2022), May 2022, Singapour, Singapore. ⟨10.1109/ICASSP43922.2022.9747576⟩. ⟨hal-03620144⟩

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. A qualitative counterpart of belief functions with application to uncertainty propagation in safety cases. 7th International Conference on Belief Functions (BELIEF 2022), Oct 2022, Paris, France. ⟨10.1007/978-3-031-17801-6_22⟩. ⟨hal-03709837⟩

Quang-Trung Luu, Olivier Brun, Rachid El-Azouzi, Francesco de Pellegrini, Balakrishna Prabhu, et al.. DCoflow: Deadline-Aware Scheduling Algorithm for Coflows in Datacenter Networks. IFIP Networking Conference, Jun 2022, Catania, Italy. ⟨10.23919/IFIPNetworking55013.2022.9829789⟩. ⟨hal-03657370⟩

Joris Guerin, Kevin Delmas, Jérémie Guiochet. Evaluation of Runtime Monitoring for UAV Emergency Landing. International Conference on Robotics and Automation (ICRA), May 2022, Philadelphia, United States. ⟨hal-03600856⟩

Romain Cayre, Clement Chaine, Guillaume Auriol, Vincent Nicomette, Geraldine Marconato. OASIS: un framework pour la détection d'intrusion embarquée dans les contrôleurs Bluetooth Low Energy. Symposium sur la sécurité des technologies de l'information et des communications (SSTIC 2022), Jun 2022, Rennes, France. ⟨hal-03898224⟩

Anvitha Nandigam, Suraj Jog, D Manjunath, Jayakrishnan Nair, Balakrishna Prabhu. Partial resource pooling in loss systems with two players. 23ème congrès annuel de la Société Française de Recherche Opérationnelle et d'Aide à la Décision, INSA Lyon, Feb 2022, Villeurbanne - Lyon, France. ⟨hal-03596216⟩

Yassir Idmessaoud, Didier Dubois, Jérémie Guiochet. Uncertainty Elicitation and Propagation in GSN Models of Assurance Cases. 41st International Conference on Computer Safety, Reliability and Security (SAFECOMP 2022), Sep 2022, Munich, Germany. pp.1-14, ⟨10.1007/978-3-031-14835-4_8⟩. ⟨hal-03704505⟩

Esteban Perrotin, Matthieu Roy, Ariane Herbulot, Michel Devy, Fabrice Bousquet. Détection des lignes aéroportuaires par méthode hybride de filtrage particulaire et de réseaux de neurones. Congrès Reconnaissance des Formes, Image, Apprentissage et Perception (RFIAP 2022), Jul 2022, Vannes, France. ⟨hal-03788203⟩

Juan Francisco Chafla Altamirano, Mohamd Amine Slimane, Hassan Hassan, Khalil Drira. QoS-aware Network Self-management Architecture based on DRL and SDN for remote areas. The 11th IFIP/IEEE International Conference on Performance Evaluation and Modeling in Wired and Wireless Networks, Nov 2022, Rome, Italy. ⟨10.23919/PEMWN56085.2022.9963841⟩. ⟨hal-03763252⟩

K. Boissie, S.-A. Addouche, C. Baron, Zolghadri Marc. Obsolescence management practices overview in Automotive Industry. 11th IFAC Symposium on Intelligent Autonomous Vehicles, IAV 2022, Jun 2022, Prague, Czech Republic. pp.52-58, ⟨10.1016/j.ifacol.2022.07.582⟩. ⟨hal-03994417⟩

Antoine Boche, Clément Foucher, Luiz Fernando Lavado Villa. A Systemic and Multi-disciplinary Diagnosis Model for Microgrids Sustainability Studies. International Conference on Innovations in Energy Engineering & Cleaner Production (IEE CP 2022), IEEE, Jul 2022, Oxford, United Kingdom. ⟨hal-03778769⟩

Carlos Aguilar-Melchor, Jean-Christophe Deneuville, Arnaud Dion, James Howe, Romain Malmain, et al.. Towards Automating Cryptographic Hardware Implementations: a Case Study of HQC. International Workshop on Code-Based Cryptography, CBCrypto 2022, May 2022, Trondheim, Norway. pp.0. ⟨hal-04116827⟩

Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre. Experimenting with Dynamic Cache Allocation to Improve Linux Real-Time Behaviour. 11th European Congress of Embedded Real Time Software and Systems, Jun 2022, Toulouse, France. ⟨hal-04044944⟩

Raul Sena Ferreira, Joris Guérin, Jérémie Guiochet, Hélène Waeselynck. SiMOOD: Evolutionary Testing Simulation with Out-Of-Distribution Images. 27th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2022), Nov 2022, Beijing, China. ⟨10.1109/PRDC55274.2022.00021⟩. ⟨hal-03779723⟩

Santiago Pantano-Calderón, Claude Baron, Jean-Charles Chaudemar, Elise Vareilles, Rob A. Vingerhoeds. Regarding the COVID-19 crisis from a systems engineering perspective. 19th International Conference on Information Systems for Crisis Response and Management (ISCRAM 2022), May 2022, Tarbes, France. pp.0. ⟨hal-04096456⟩

Nicolas Amat, Louis Chauvet. Kong: a Tool to Squash Concurrent Places. 43rd International Conference on Application and Theory of Petri Nets and Concurrency (Petri Nets 2022), Jun 2022, Bergen, Norway. ⟨10.1007/978-3-031-06653-5_6⟩. ⟨hal-03614426⟩

Kevin Vermeulen, Ege Gurmericliler, Ítalo Cunha, Dave Choffnes, Ethan Katz-Bassett. Internet Scale Reverse Traceroute. ACM SIGCOMM Internet Measurement Conference, Oct 2022, Nice, France. ⟨10.1145/3517745.3561422⟩. ⟨hal-03788618⟩

Jiangchen Zhu, Kevin Vermeulen, Italo Cunha, Ethan Katz-Bassett, Matt Calder. The best of both worlds: High Availability CDN Routing Without Compromising Control. IMC '22: ACM Internet Measurement Conference, Oct 2022, Nice, France. pp.655-663, ⟨10.1145/3517745.3561421⟩. ⟨hal-03869072⟩

Joris Guérin, Raul Sena Ferreira, Kevin Delmas, Jérémie Guiochet. Unifying Evaluation of Machine Learning Safety Monitors. 33rd IEEE International Symposium on Software Reliability Engineering (ISSRE 2022), Oct 2022, Charlotte, United States. ⟨10.1109/ISSRE55969.2022.00047⟩. ⟨hal-03765273⟩

Pierre Houdouin, Matthieu Jonckheere, Frédéric Pascal. FEMDA : une méthode de classification robuste et flexible. GRETSI 2022 - XXIIXème Colloque Francophone de Traitement du Signal et des Images, Aug 2022, Nancy, France. ⟨hal-04288999⟩

Ali El Amine, Olivier Brun. A Game-Theoretic Algorithm for the Joint Routing and VNF Placement Problem. NOMS 2022-2022 IEEE/IFIP Network Operations and Management Symposium (NOMS 2022), Apr 2022, Budapest, Hungary. ⟨10.1109/NOMS54207.2022.9789859⟩. ⟨hal-03649739⟩

Didier El Baz. On Parallel or Distributed Asynchronous Iterations with Unbounded Delays and Possible Out of Order Messages or Flexible Communication for Convex Optimization Problems and Machine Learning. 2022 IEEE International Parallel and Distributed Processing Symposium Workshops (IPDPSW), May 2022, Lyon, France. pp.807-813, ⟨10.1109/IPDPSW55747.2022.00135⟩. ⟨hal-03793141⟩

Autres documents

Yassir Idmessaoud, Jérémie Guiochet, Didier Dubois. Questionnaire for estimating uncertainties in assurance cases. Rapport LAAS n° 22142. 2022. ⟨hal-03649068⟩

Comptes rendus de conférences

Philippe Cuenot, Marie de Roquemaurel, Kevin Delmas, Jean-Marc Gabriel, Adrien Gauffriau, et al.. ERTS 2022 proceedings. 2022. ⟨hal-03704287⟩

Rapports

Céline Minh, Kevin Vermeulen, Cédric Lefebvre, Philippe Owezarski, William Ritchie. An explainable-by-design ensemble learning system to detect unknown network attacks. Cyblex Technologies; LAAS-CNRS. 2022. ⟨hal-03868401⟩

Erwan Le Merrer, Gilles Trédan, Ali Yesilkanat. YouTube Recommendations Do Predict Polls: A note on the 2022 French presidential election. [Research Report] Rapport LAAS n° 22136, Inria. 2022. ⟨hal-03655608⟩

Yasser Sami, Elliott Pollice, Emilian Tichtchenko, Matthieu Jonckheere, Nicolas Richard, et al.. Exploration des techniques d'intelligence artificielle pour calibrer les modèles physiques. LAAS - CNRS. 2022. ⟨hal-03908969⟩

Pré-publications, documents de travail

Harry Sevi, Matthieu Jonckheere, Argyris Kalogeratos. Generalized Spectral Clustering for Directed and Undirected Graphs. 2022. ⟨hal-03799706⟩

Erwan Le Merrer, Gilles Trédan. Qu’est ce qu’un algorithme en boîte noire ? Tractatus des décisions algorithmiques. 2022. ⟨hal-03851597⟩

Harry Sevi, Matthieu Jonckheere, Argyris Kalogeratos. Clustering for directed graphs using parametrized random walk diffusion kernels. 2023. ⟨hal-04148608⟩

Matthieu Jonckheere, Manuel Sáenz. Exact asymptotic characterisation of running time for approximate gradient descent on random graphs. 2022. ⟨hal-03799715⟩

Didier El Baz. On Graphs, Geometry, Motion and Turbulences in Leonardo's Virgin and Child with Saint Anne. 2022. ⟨hal-03767784⟩

Thèses / HDR soutenues

2023

Nicolas Amat, Thèse: Un cadre polyédrique pour les problèmes d'accessibilité dans les réseaux de Petri

Clément Cassé, Thèse: Prévision des performances des services Web en environnement Cloud

Laurent Chasserat, Thèse: Trading-off throughput and energy-efficiency in long range wide area networks

Antoine Boche, Thèse: Étude de la durabilité des micro-réseaux par un modèle systémique basé sur la théorie de la modélisation et de la simulation

Rémi Adelin, Thèse: Protection des données des véhicules connectés : une approche cryptographique reposant sur le chiffrement basé attributs

Cyrius Nugier, Thèse: Adaptation d'Outils Cryptographiques pour un Contexte Post-Quantique

Raul Sena Ferreira, Thèse: Développement d'un cadre générique pour surveiller et gérer la sécurité des systèmes autonomes pendant l'exécution

Florent Galtier, Thèse: Sécurité des réseaux sans-fil à courte et longue portée basée sur des mécanismes de monitoring de la couche physique

Yandika Sirgabsou, Thèse: Proposition d’une approche dirigée par les modèles pour la sûreté de fonctionnement logicielle - Application à l'architecture logicielle des véhicules connectés et autonomes

Nikolena Christofi, Thèse: Améliorer le diagnostic en opération par une approche de modélisation interdisciplinaire

Nikolena Christofi, Thèse: Améliorer le diagnostic en opération par une approche de modélisation interdisciplinaire

Nikolena Christofi, Thèse: Améliorer le diagnostic en opération par une approche de modélisation interdisciplinaire

2022

Yassir Idmessaoud, Thèse: Évaluation de l'incertitude dans des argumentaires de sûreté : une approche basée sur la théorie de Dempster-Shafer

Raoua Chakroun, Thèse: un schéma efficace de dissémination des informations urgentes pour les réseaux véhiculaires émergents

Yuxiao Mao, Thèse: Détection dynamique d'attaques logicielles et matérielles basée sur l'analyse de signaux microarchitecturaux

Daniel Loche, Thèse: Prévention des fautes temporelles sur architectures multicoeur pour les systèmes à criticité mixte

Romain Cayre, Thèse: Approches offensives et défensives pour la sécurité des protocoles de communication sans fil de l'IoT

Romain Cayre, Thèse: Approches offensives et défensives pour la sécurité des protocoles de communication sans fil de l'IoT

Nour El Houda Nouar, Thèse: Une approche centrée-coût pour la gestion du cycle-de-vie des Services Réseaux Virtualisés

2021

Jean Ibarz, Thèse: Equilibrage de charge efficace et adaptatif avec contraintes temporelles pour les véhicules connectés

Josué Castañeda Cisneros, Thèse: Vers une approche de l'orchestration sans coordination pour gérerla reconfiguration cohérente des services dans les environnements NFV multi-domaines

Eric Lubat, Thèse: Produit Synchrone de Réseaux de Petri temporel et ses Applications au Diagnostic de Fautes

Kassem Asfour, Thèse: Modélisation numérique de la propagation d'ondes en milieux complexes : application aux milieux granulaires non consolidés

Clément Robert, Thèse: Génération et analyse de tests pour les systèmes autonomes

Kokouvi Benoit Nougnanke, Thèse: Vers un management basé ML des Réseaux SDNs

Clovis Anicet Ouedraogo, Thèse: Sur la gestion de la QoS dans les plates-formes IoT compatibles NFV

Malcolm Bourdon, Thèse: Détection d'intrusion basée sur l'analyse de compteurs matériels pour des objets connectés

Yann Argotti, Thèse: Etude des caractères essentiels de la qualimétrie appliqués au développement du logiciel embarqué

Xin Yi, Thèse: Améliorer l'innovation en conception conceptuelle

Tanissia Djemai, Thèse: Placement optimisé de services dans les architectures fog computing et internet of things sous contraintes d'énergie, de QoS et de mobilité

El-Fadel Bonfoh, Thèse: VTL : Une Architecture Stable pour la Conception, l'Implémentation, et le Déploiement de Protocoles de Communication d'Internet

2020

Thi Thuy Nga Nguyen, Thèse: Ordonnancement garantissant l’équité proportionnelle des utilisateurs mobiles basé sur une connaissance partielle des conditions futures des canaux

Soufian Toufga, Thèse: Vers des réseaux véhiculaires (VANET) programmables grâce à la technologie SDN (software defined network)

Quentin Ricard, Thèse: Détection autonome de trafic malveillant dans les réseaux véhiculaires

Imane Oussakel, Thèse: Métrologie et management des réseaux cellulaires 4G/5G

Christophe Bertero, Thèse: Perception de l'environnement urbain à l'aide d'une flotte de capteurs sur des vélos : application à la pollution de l'air

Aliénor Damien, Thèse: Sécurité par analyse comportementale de fonctions embarquées sur plateformes avioniques modulaires intégrées

Santiago Duran, Thèse: Allocation de ressources avec environnements observables et non-observables

Matthieu Amy, Thèse: Systèmes résilients pour l'automobile : d'une approche à composants à une approche à objets de la tolérance aux fautes adaptative sur ROS

2019

Guillaume Averlant, Thèse: Contrôle d'accès dynamique et architecture de sécurité pour la protection des applications sous Android

Yassine Motie, Thèse: Interopérabilité entre dispositifs hétérogènes en environnement ouvert pour la mise en œuvre de co-simulation

Gilles Trédan, Habilitation à diriger des recherches: Capturer des graphes binaires

Lola Masson, Thèse: Moniteurs de sécurité pour des systèmes autonomes : élicitation interactive des règles de sécurité

2018

Julien Duchene, Thèse: Développement et évaluation d'obfuscations de protocoles basées sur la spécification

Pascal Berthou, Habilitation à diriger des recherches: Vers la Dématérialisation des Réseaux Hybrides Satellites et Terrestres

Guillaume Garzone, Thèse: Approche de gestion orientée service pour l'Internet des objets (IoT) considérant la Qualité de Service (QoS)

François Aïssaoui, Thèse: Approche autonome basée sur la sémantique et le point de contrôle pour la gestion de système IoT

Nicolas Seydoux, Thèse: Vers une gestion intelligente des données de l'Internet des Objets

Min Zhu, Thèse: Simulation de systèmes à structure dynamique dans une approche d’ingénierie système basée modèles appliquée au matériel reconfigurable

Gilles Roudiere, Thèse: Détection d'attaques sur les équipements d'accès à Internet

Armel Francklin Simo Tegueu, Thèse: Vers les réseaux guidés par et pour les applications hautement dynamiques

Matthieu Roy, Habilitation à diriger des recherches: Adaptation dans les systèmes dynamiques : une vision informatique de la résilience

William Excoffon, Thèse: Résilience des systèmes informatiques adaptatifs : modélisation, analyse et quantification

Rui Wang, Thèse: Confiance dans un argumentaire de sécurité - un cadre d'évaluation basé sur la théorie des fonctions de croyance

Li Zheng, Thèse: Améliorer la mesure de performance dans les projets d'ingénierie : méthodes pour développer des indicateurs

2017

Mohamed Oulmahdi, Thèse: Architecture Autonome et Extensible pour une Couche de Transport Évolutive. Application aux Communications Aéronautique par Satellites

Imen Mahjri, Thèse: Localisation distribuée et détection des conflits dans les réseaux mobiles sans fil

2016

Emna Mezghani, Thèse: Vers les systèmes IoT autonomiques et cognitifs, application pour la gestion des traitements des patients

Joris Barrier, Thèse: Chiffrement homomorphe appliqué au retrait d'information privé

Carla Sauvanaud, Thèse: Monitoring et détection d'anomalie par apprentissage dans les infrastructures virtualisées

Benoît Morgan, Thèse: Protection des systèmes informatiques vis-à-vis des malveillances : un hyperviseur de sécurité assisté par le matériel

Pierre-Emmanuel Hladik, Habilitation à diriger des recherches: Contribution à la conception et à la vérification de systèmes temps réel — Focus sur l'ordonnancement temps réel

Roberto Pasqua, Thèse: Inférence et modèles de données personnelles : mobilité sociale, proximité spatiale

Sangeeth Saagar Ponnusamy, Thèse: Fidélité de produit de simulation : un approche d'ingénierie de système qualitatif et quantitatif

Marc Bruyère, Thèse: Une approche pure et simple open source pour l'échange Internet simple et pragmatique

Amina Chaabane, Thèse: MULUS : un réseau social distribué pour une consommation sélective de contenus composites

Ikbel Guidara, Thèse: Choix efficace du temps et du QoS pour la composition du service

Rui Xue, Thèse: Amélioration de la coopération entre les ingénieurs Système et les managers dans les projets d'Ingénierie - Vers un processus intégré obtenu par l'alignement des standards et guides de l'Ingénierie Système et de la Gestion de Projet

2015

Emma Fki, Thèse: Sélection et composition flexible basée services abstraits pour une meilleure adaptation aux intentions des utilisateurs

Imene Lahyani Abdennadher, Thèse: Gestion de la qualité de service des systèmes publier/souscrire déployés sur un réseau mobile ad hoc

Jérémie Guiochet, Habilitation à diriger des recherches: Vers des robots collaboratifs autonomes sûrs de fonctionnement

Pierre-Alain Bourdil, Thèse: Contribution à la modélisation et la vérification formelle par model checking - Symétries pour les Réseaux de Petri temporels

Thibaut Probst, Thèse: Evaluation et analyse des mécanismes de sécurité des réseaux dans les infrastructures virtuelles de cloud computing

Maialen Larrañaga, Thèse: Contrôle dynamique des systèmes stochastiques et fluides de partage de ressources

Ivan Studnia, Thèse: Détection d'intrusion pour des réseaux embarqués automobiles : une approche orientée langage

Yann Bachy, Thèse: Sécurité des équipements grand public connectés à Internet : évaluation des liens de communication

Moussa Traoré, Thèse: Protocoles de sécurité pour établir les distances et authentifier la position pour les appareils mobiles

Damien Foures, Thèse: Validation de modèles de simulation

Cédric Eichler, Thèse: Modélisation formelle de systèmes dynamiques autonomes : graphe, réécriture et grammaire

Ludovic Pintard, Thèse: Des analyses de sécurité à la validation expérimentale par injection de fautes - Le cas des systèmes embarqués automobile

Sami Baraketi, Thèse: Ingénierie des réseaux optiques SDH et WDM et étude multicouche IP/MPLS sur OTN sur DWDM

Quynh Anh Do Hoang, Thèse: Analyse et justification de la sécurité de systèmes robotiques en interaction physique avec l’humain

2014

Maxime Chéramy, Thèse: Étude et évaluation des politiques d'ordonnancement temps réel multiprocesseur

Hélène Martorell, Thèse: Architecture et processus de développement permettant la mise à jour dynamique de systèmes embarqués automobiles

Tatiana Seregina, Thèse: Applications de la théorie des jeux à routage distribuée et mise en réseau à tolérance de retard

Aymen Kamoun, Thèse: Adaptation d’architectures logicielles de contrôle d’accès dans les environnements collaboratifs ubiquitaires

Olivier Baldellon, Thèse: Supervision en ligne de propriétés temporelles dans les systèmes distribués temps-réel

Guillaume Dugué, Thèse: Modélisation d’une architecture orientée service et basée composant pour une couche de Transport autonome, dynamique et hautement configurable