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

Khalil Drira

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.

+

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

vertics

Silvano Dal Zilio

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 systèmes temps réel, ainsi que sur l'intégration de ces techniques.

+

Dernières publications

2024

Articles dans une revue

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⟩

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⟩

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⟩

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⟩

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⟩

2023

Articles dans une revue

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⟩

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⟩

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⟩

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⟩

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-04397555⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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, ⟨10.1002/sys.21740⟩. ⟨hal-04397558⟩

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⟩

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⟩

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⟩

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, In press, pp.1-17. ⟨10.1080/00036846.2023.2200233⟩. ⟨hal-04259490⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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, pp.1-13. ⟨10.2514/1.I011093⟩. ⟨hal-04027880⟩

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⟩

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, In press, pp.1-14. ⟨10.1109/TPAMI.2023.3337195⟩. ⟨hal-04366787⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

Livres

Erwan Le Merrer, Gilles Trédan. What is a black box algorithm?: Tractatus of algorithmic decision-making. 2023. ⟨hal-03940259⟩

Communications dans un congrès

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⟩

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⟩

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

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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-04054470v2⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

Aya Attia, Clément Foucher, Luiz 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-04465223⟩

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⟩

Autres documents

Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa. Benchmarking formalisms for dynamic structure system Modeling and Simulation. 2023. ⟨hal-04397152⟩

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⟩

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⟩

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⟩

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⟩

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

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

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

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

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

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

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. 2023. ⟨hal-04317396⟩

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

Céline Comte, Matthieu Jonckheere, Jaron Sanders, Albert Senen-Cerda. Score-Aware Policy-Gradient Methods and Performance Guarantees using Local Lyapunov Conditions: Applications to Product-Form Stochastic Networks and Queueing Systems. 2023. ⟨hal-04329790⟩

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⟩

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

Ismael Torres-Romero, Bertrand Légeret, Marie Huleux, Damien Sorigue, Alicia Damm, et al.. The α/β hydrolase domain-containing protein 1 (ABHD1) acts as a lysolipid lipase and is involved in lipid droplet formation. 2024. ⟨hal-04463737⟩

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

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⟩

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

2022

Articles dans une revue

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⟩

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⟩

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⟩

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. 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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

Sophia Salas Cordero, Zolghadri Marc, 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⟩

Claude Baron, Yann Argotti, Marc Zolghadri, Sid-Ali Addouche, Mariem Besbes, et al.. Obsolescence des systèmes informatiques et du logiciel. Technologies logicielles Architectures des systèmes, 2022, ⟨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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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, 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⟩

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⟩

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⟩

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⟩

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

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⟩

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⟩

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⟩

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, 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⟩

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⟩

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⟩

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. ⟨hal-03704505⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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. 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. ⟨hal-03649739⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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

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

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⟩

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

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

Thèses / HDR soutenues

2023

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

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

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

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

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 adaptatives 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