Department risc

Trustworthy Computing Systems and Networks

The RISC "Réseaux, Informatique, Systèmes de Confiance" department aims to develop innovative solutions for the design, dimensioning, architecture, analysis, supervision and operational deployment of complex communicating networks and systems and associated applications. Our aim is to contribute to the advancement of knowledge both in terms of theoretical foundations and methodological approaches based on formal and experimental methods, as well as their practical implementation.


head

Matthieu Jonckheere

Research challenges, themes and objectives :

Adaptation and Autonomy

Computer systems are being designed to interact with other systems, to be deployed on a virtualized infrastructure, to be used on a very large scale and in an open, connected environment. Operators need to consider resource sharing and cooperation to meet real-time service demands. Criticality needs to be considered both at the mission or outsourced business process level, and at the deployment infrastructure level.

Players in this field have to cope with increasing complexity linked to heterogeneity, both at infrastructure and process (also called application) levels. The Internet's distributed architecture and massive interconnection, subject to the non-determinism of interactions, makes design and management difficult. For communication networks in particular, autonomy is a key challenge of the highest priority, both for the research community and for industrial players and the international working groups that bring them together. This term can be found under various nomenclatures such as the ETSI working group "Zero touch network & Service Management (ZSM)" [Sprecher'2018] or the concept of self-driving networks [Jacobs'2018].

In this context, the locks we are considering are related to the joint and consistent consideration of functional (generic for different domains or for a given domain, or mission-specific) and non-functional (confidentiality, security, quality of service, cost in energy consumption or budget) properties (or requirements) of systems. Challenges concern the management of dynamic adaptation (in the operational phase) of systems to variations in functional and non-functional requirements, and to changes in deployment infrastructure constraints (such as for hybrid environments like IoT/M2M, Fog Computing, 5G, and 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.

Scalable distributed systems

With five different contributions, the distributed systems axis covers 2 teams. These approaches cover a wide range of execution models, from the most homogeneous (GPGPU) to the most heterogeneous (opaque cloud). There is a similar variety of theoretical perspectives: topology, linear programming, probability. Numerical simulation and experimental deployment complete the department's toolbox.

The problems targeted are equally diverse: parallelization (i.e. controlling how to distribute a task), scheduling (i.e. how to distribute constrained tasks), monitoring (i.e. how to collect information on the state of computing units and their network conditions). One application spectrum is particularly dominant: AI and its distributed variant, federated AI. Less massively represented, certain applications focus on IoT and planning.

Network and service virtualization

The softwarization of infrastructure and the virtualization of communication networks (and network functions) is a strategic direction for meeting the various technical and socio-economic requirements imposed by emerging systems. It's a direction that interests both the research community and industrial players grouped together in international working groups (ETSI, notably in Europe, and W3C). Current technological solutions are moving in the direction of convergence between the world of information processing, which has seen the advent of "cloud computing" and "service computing" technology for over a decade, and the world of telecommunications, which in recent years has been promoting the softwarization and virtualization of network services and functions (SDN/NFV).

Trusted AI

Artificial intelligence (AI) algorithms and data-driven learning models are increasingly used in all fields. A first strand of our work aims to take advantage of the latest advances in AI to improve the resilience and quality of service of networks and IT systems in various fields (monitoring, anomaly and intrusion detection and diagnosis, testing, etc.). The second part tackles fundamental questions linked to the trust that can be placed in systems using these algorithms, taking into account the constraints specific to these algorithms (opacity, non-determinism, sensitivity to training data, etc.). The challenges lie in finding solutions to improve the explicability of these algorithms, their verification and testing, their protection against attacks aimed at modifying their behavior, or simply at reproducing them illegitimately, and finally the justification of the associated level of trust.

Security, privacy

Cybersecurity :

Our work focuses on end-to-end system security, and covers hardware security, operating system kernel security, application security, the security of connected objects and in particular those of their communication protocols, the security of future-generation networks (in particular 5G and 6G cellular networks) and the cloud, which differ from current communication architectures through general softwarization and virtualization.

Privacy:

In the context of work on the transparency of algorithms used by online platforms, we are interested in how these algorithms exploit user data to produce their decisions.

Systems engineering

The questions addressed in the context of systems engineering (SE) concern:

  • The need to master the development process, get experts and stakeholders to cooperate, integrate practices, reconcile points of view, get different models to talk to each other, find a common optimum.
  • This requires work on the product and the process (analysis, methods, tools): requirements engineering, process engineering (requirements elicitation, design, V&V, certification, maintenance, service withdrawal, etc.), integration/alignment with standards (system engineering, project management, quality, safety, etc.), modeling (product, process, quality, safety, etc.), model integration, performance measurement, indicators, quality measurement, process engineering (technical and project/agility), simulation and prototyping, design to X, SI deployment in SMEs, etc.

Real-time systems

The notion of real-time system is attached to reactive systems, most often embedded, for which correction does not simply depend on the results or messages they exchange, but also on the moment when these results are produced. Temporal aspects are not the only ones involved in this context. Other types of constraints also need to be considered, such as the system's criticality (reliability, security, etc.) or its embeddability (i.e. its ability to be implemented within constraints on computing power, memory or energy use, etc.). Finally, we also seek to design solutions that make systems more robust and predictable.

Real-time systems represent a cross-disciplinary area of research within the RISC department. We approach the study of these systems according to several complementary objectives: (1) reliability, with the study of techniques increasing resilience and adaptation capacities, for example through specific reconfiguration mechanisms; (2) security, with the design of methods to counter attacks specific to real-time systems; (3) and finally predictability, with the study of new scheduling methods and new analysis techniques, targeting in particular multi-core and/or heterogeneous architectures.

AREAS OF

RESEARCH AND APPLICATIONS

Our research targets systems and applications with demanding requirements in terms of quality of service, time constraints, dependability, resilience or security.

DISCIPLINARY FIELDS

COVERED IN OUR DEPARTMENT

DEPARTMENT TEAMS

The RISC department's activities are carried out by four teams whose research fields are complementary and cover the various challenges linked to the heterogeneity, dynamicity and criticality of processing and communication infrastructures and systems.

dependability_guidebook

tsf

Hélène Waeselynck

The work of the team focuses on the dependability of computing systems, i.e., the ability to deliver a service that can be justifiably trusted.

+

Simulation&PrototypageVirtuel

isi

Claude Baron

The growing complexity of systems issues major constraints regarding their life cycle management. The ISI team provides solutions in order to efficiently implement processes defined by System Engineering.

+

perimetre-SARA__resized

sara

Khalil Drira

The SARA team works on new-generation networks and communication systems.

+

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

vertics

Silvano Dal Zilio

The Vertics team focuses on the formal verification of time-critical systems. Our research focuses on enhancing model-checking techniques, scheduling real-time systems, and integrating our methods into existing engineering processes.

+

Latest publications

2024

Journal articles

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⟩

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, In press, ⟨10.1109/jiot.2024.3356750⟩. ⟨hal-04474328⟩

Mamadou Lamine Ndao, Claude Baron, Einar Knudsen, Kelson Henrique Joao. Towards a systems engineering framework for CubeSats development. SysCon2024, In press. ⟨hal-04573108⟩

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⟩

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⟩

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⟩

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⟩

Conference papers

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⟩

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 (ES), Spain. ⟨hal-04502307v2⟩

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⟩

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, PMLR, Jul 2024, Barcelona, Spain. ⟨hal-04579393⟩

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⟩

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 (Korea), South Korea. ⟨hal-04549760⟩

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⟩

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⟩

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⟩

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

Reports

Charbel Abdel Nour, Cédric Adjih, Karine Amis, Xavier Begaud, Matthieu Crussière, et al.. Deliverable D1 - Technical Report NF-PERSEUS 2023: Power-Efficient Radio interface for Sub-7GHz distributEd massive MIMO infrastrUctureS. CEA - Commissariat à l'énergie atomique et aux énergies alternatives. 2024, pp.1-86. ⟨cea-04564147⟩

Preprints, Working Papers, ...

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

2023

Journal articles

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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, 1–13, pp.1098-1241. ⟨10.1002/sys.21740⟩. ⟨hal-04397558⟩

Books

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

Conference papers

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

Claus Bossen, Christophe Chassot, Caroline Datchary, Sylvie Grosjean, Shion Guha, et al.. Collectively Improve the Quality of Life at Work: How and Which Data to Collect and Analyze?. 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⟩

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⟩

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⟩

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⟩

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⟩

Other documents

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

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⟩

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⟩

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⟩

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⟩

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⟩

Reports

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⟩

Preprints, Working Papers, ...

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

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

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

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⟩

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

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

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⟩

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

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

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⟩

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

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⟩

2022

Journal articles

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

Books

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⟩

Book sections

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⟩

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⟩

Conference papers

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

Other documents

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

Proceedings

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

Reports

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⟩

Preprints, Working Papers, ...

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

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

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

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⟩

THESIS / HDR

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

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