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.

perimetre-SARA__resized

sara

Khalil Drira

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

+

dependability_guidebook

trust

Hélène Waeselynck

A computing system is said to be "trustworthy" if it delivers a service in which users can have justified confidence. The TRUST team is interested in the methods, tools and processes that enable trust to be justified. *TRUST was created …

+

Latest publications

2025

Journal articles

Pierre Ayoub, Aurélien Hernandez, Romain Cayre, Aurélien Francillon, Clémentine Maurice. PhaseSCA: Exploiting Phase-Modulated Emanations in Side Channels. IACR Transactions on Cryptographic Hardware and Embedded Systems, In press. ⟨hal-04726109⟩

Book sections

Nikolena Christofi, Xavier Pucel, Claude Baron, Marc Pantel, David Canu, et al.. On Operational Diagnosis for Ground Stations: A Model-Based Approach. Space Operations: Invest in space to serve Earth and Beyond, , pp.235-251, 2025, 9783031604072. ⟨10.1007/978-3-031-60408-9_11⟩. ⟨hal-04797145⟩

Preprints, Working Papers, ...

Omar Darwich, Cristel Pelsser, Kevin Vermeulen. Detecting Traffic Engineering from public BGP data. 2024. ⟨hal-04840370⟩

2024

Journal articles

Binqi Sun, Tomasz Kloda, Sergio Arribas Garcia, Giovani Gracioli, Marco Caccamo. Minimizing cache usage with fixed-priority and earliest deadline first scheduling. Real-Time Systems, 2024, 60, pp.625-664. ⟨10.1007/s11241-024-09423-7⟩. ⟨hal-04803808⟩

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, 2024, 45, pp.489-524. ⟨10.1007/s10712-023-09812-w⟩. ⟨hal-04255458⟩

Bernard Berthomieu, Dmitry A Zaitsev. Sleptsov Nets are Turing-complete. Theoretical Computer Science, 2024, 986, pp.114346. ⟨10.1016/j.tcs.2023.114346⟩. ⟨hal-04139308v2⟩

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⟩

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

Rui Xue, Keyu Li, Huizheng Liu, Claude Baron. Exploring the impact of industrial environment uncertainty on export sophistication. Journal of the Asia Pacific Economy, 2024, pp.1-24. ⟨10.1080/13547860.2024.2417497⟩. ⟨hal-04797168⟩

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⟩

Yann Argotti, Yasmine Kenfaoui, Claude Baron, Alain Abran, Philippe Esteban. An Operational Quality Model of Embedded Software Aligned with ISO 25000. ACM Transactions on Embedded Computing Systems (TECS), 2024, 24 (1), pp.1-41. ⟨10.1145/3691642⟩. ⟨hal-04797166⟩

Vivek Jadhav, Roberto Pasqua, Christophe Zanon, Matthieu Roy, Gilles Trédan, et al.. Collective responses of flocking sheep (Ovis aries) to a herding dog (border collie). Communications Biology, 2024, 7 (1), pp.1543. ⟨10.1038/s42003-024-07245-8⟩. ⟨hal-04794402v2⟩

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

Vincent Louis, Claude Baron. Adopter une démarche DevOps pour développer des logiciels embarqués critiques dans le domaine avionique. Technologies logicielles Architectures des systèmes, 2024, ⟨10.51257/a-v1-h8061⟩. ⟨hal-04797169⟩

Rui Xue, Claude Baron, Rob Vingerhoeds, Philippe Esteban. Fostering the progressive deployment and standardisation of engineering processes – proposal of a dedicated framework for manufacturing SMEs. Journal of Engineering Design, 2024, 35 (5), pp.570-596. ⟨10.1080/09544828.2024.2327914⟩. ⟨hal-04797163⟩

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⟩

Augustin Bricout, Philippe Leleux, Pascal Acco, Christophe Escriba, Jean-Yves Fourniols, et al.. Bee together: Joining bee audio datasets for hive extrapolation in AI-based monitoring. Sensors, 2024, 24 (18), pp.6067. ⟨10.3390/s24186067⟩. ⟨hal-04800976⟩

Qiao Zhao, Wu Xiao-Xue, Rui Xue, Claude Baron, Shen Huang-Nan, et al.. Simulation of the Cascading Effect of Anti-dumping Embedded in Global Production Network. Journal of Management Sciences in China, 2024, 27 (8). ⟨hal-04797184⟩

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

V Hari Rohit, Akshay Mete, D. Manjunath, Jayakrishnan Nair, Balakrishna Prabhu. Partial Server Pooling in Delay Systems. ACM Transactions on Modeling and Performance Evaluation of Computing Systems, 2024, 9 (3), pp.1-32. ⟨10.1145/3648569⟩. ⟨hal-04443590⟩

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

Henda Sfaxi, Imene Lahyani, Sami Yangui, Mouna Torjmen. Latency-aware and proactive service placement for edge computing. IEEE Transactions on Network and Service Management, 2024, 21 (4), pp.4243-4254. ⟨10.1109/tnsm.2024.3375970⟩. ⟨hal-04844095⟩

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

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

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⟩

Books

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

Book sections

Erwan Le Merrer, Camilla Penzo, Gilles Tredan, Lucas Verney. Challenges in archiving the personalized web. Firenze University Press. Exploring the Archived Web during Transformative Age, , pp.1-16, 2024, 979-12-215-0412-5. ⟨10.36253/fup_best_practice⟩. ⟨hal-04881990⟩

Conference papers

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

G Loubet, Alassane Sidibé, Taki Eddine Djidjekh, Lamoussa Sanogo, Alexandre Rumeau, et al.. Réseau de capteurs Bluetooth Low Energy, sans fil et sans batterie, télé-alimentés par transfert de puissance électromagnétique rayonnée. XXIIIèmes Journées Nationales Microondes, Jun 2024, Antibes Juan-Les-Pins, France. pp.503-506. ⟨hal-04740194⟩

Gabin Noblet, Cédric Lefebvre, Philippe Owezarski, William Ritchie. NetGlyph: Representation Learning to generate Network Traffic with Transformers. 20th International Conference on Network and Service Management (CNSM 2024), Oct 2024, Prague, Czech Republic. ⟨hal-04797964⟩

Lamoussa Sanogo, Eric Alata, Taki E Djidjekh, Gael Loubet, Alexandru Takacs, et al.. Polarization Shift Keying for Device Authentication in Wireless Sensor Network. 2024 54th European Microwave Conference (EuMC), Sep 2024, Paris, France. pp.296-299, ⟨10.23919/EuMC61614.2024.10732078⟩. ⟨hal-04742060⟩

Binqi Sun, Tomasz Kloda, Chu-Ge Wu, Marco Caccamo. Partitioned Scheduling and Parallelism Assignment for Real-Time DNN Inference Tasks on Multi-TPU. 61st ACM/IEEE Design Automation Conference (DAC), Jul 2024, San Francisco, United States. pp.1 - 6, ⟨10.1145/3649329.3655979⟩. ⟨hal-04803800⟩

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

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

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⟩

Bohua Zou, Binqi Sun, Yigong Hu, Tomasz Kloda, Marco Caccamo, et al.. A Performance Prediction-based DNN Partitioner for Edge TPU Pipelining. MILCOM 2024 - 2024 IEEE Military Communications Conference (MILCOM), Oct 2024, Washington, United States. pp.1-6, ⟨10.1109/MILCOM61039.2024.10773756⟩. ⟨hal-04844549⟩

Lamoussa Sanogo, Eric Alata, Gaël Loubet, Taki E Djidjekh, Alexandru Takacs, et al.. Circular Polarization Shift Keying for IoT Communications Security: A Proof of Concept. IEEE 31st International Conference on Electronics Circuits and Systems (ICECS 2024), IEEE, Nov 2024, Nancy, France. ⟨hal-04798844⟩

Sahar Karaani, Mariem Besbes, Zolghadri Marc, Claude Baron, Manel Barkallah. Do Obsolescence and Shortages have an impact on Reliability, Maintainability and Availability ?. 6th IFAC Workshop on Advanced Maintenance Engineering, Services and Technologies (AMEST 2024), Jun 2024, Cagliari, Italy. ⟨hal-04797207⟩

Louis Leconte, Matthieu Jonckheere, Sergey Samsonov, Eric Moulines. Queuing dynamics of asynchronous Federated Learning. AISTAT, PMLR, May 2024, Valencia (Espagne), Spain. ⟨hal-04743850⟩

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

Paul-Antoine Le Tolguenec, Emmanuel Rachelson, Yann Besse, Florent Teichteil-Koenigsbuch, Nicolas Schneider, et al.. Exploration-Driven Reinforcement Learning for Avionic System Fault Detection (Experience Paper). ISSTA '24: 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, Sep 2024, Vienne, Austria. pp.920-931, ⟨10.1145/3650212.3680331⟩. ⟨hal-04774965⟩

Dariusz Nogalski, Dallal Belabed, Alexandre Triollet, Konstanty Junosza-Szaniawski, Slim Abdellatif, et al.. Federated SFC Placement in Sliced Collaborative Multi-Administrative Multi-Domain Networks. 2024 International Conference on Software, Telecommunications and Computer Networks (SoftCOM), Sep 2024, Split, Croatia. pp.1-6, ⟨10.23919/SoftCOM62040.2024.10721844⟩. ⟨hal-04866703⟩

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⟩

Taki Djidjekh, Gaël Loubet, Lamoussa Sanogo, Alassane Sidibé, Guillaume Delai, et al.. Backscattering Rectifier for Security and Identification in the context of Simultaneous Wireless Information and Power Transfer. 2024 54th European Microwave Conference (EuMC), Sep 2024, Paris, France. pp.300-303, ⟨10.23919/EuMC61614.2024.10732847⟩. ⟨hal-04763660⟩

Aya Attia, Clément Foucher, Luiz Fernando Lavado Villa. Modélisation et simulation de systèmes à structure dynamique basés sur des équations différentielles avec DEVS statique. Journées Francophones de la Modélisation et de la Simulation, Nov 2024, Cargese (Corse), France. ⟨hal-04769752⟩

Mamadou Lamine Ndao, Claude Baron. An adaptation of the ISO/IEC/IEEE 29110 system engineering process for CubeSats development. 34th Annual INCOSE International Symposium, INCOSE, Jul 2024, Dublin, Ireland. ⟨hal-04798057⟩

S Mokraoui, Mariem Besbes, Zolghadri Marc, Claude Baron. Obsolescence Management: Criteria related to its Context and its Mitigation Techniques. 18th IFAC Symposium on Information Control Problems in Manufacturing (INCOM),, Aug 2024, Vienne, Austria. ⟨hal-04797215⟩

Binqi Sun, Tomasz Kloda, Marco Caccamo. Strict Partitioning for Sporadic Rigid Gang Tasks. IEEE 30th Real-Time and Embedded Technology and Applications Symposium (RTAS 2024), May 2024, Hong Kong, China. pp.252-264, ⟨10.1109/RTAS61025.2024.00028⟩. ⟨hal-04803805⟩

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

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

Augustin Godinot, Erwan Le Merrer, Gilles Trédan, Camilla Penzo, François Taïani. Under manipulations, are some AI models harder to audit?. 2nd IEEE Conference on Secure and Trustworthy Machine Learning (SaTML 2024), Apr 2024, Toronto ( CA ), Canada. pp.1-21. ⟨hal-04800332⟩

Martijn de Vos, Akash Dhasade, Jade Garcia Bourrée, Anne-Marie Kermarrec, Erwan Le Merrer, et al.. Fairness Auditing with Multi-Agent Collaboration. 27th European Conference on Artificial Intelligence (ECAI 2024), Oct 2024, Santiago de Compostela, Spain. pp.1-14, ⟨10.3233/FAIA240604⟩. ⟨hal-04800328⟩

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

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

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⟩

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

Grégor Quétel, Eric Alata, Pierre-François Gimenez, Laurent Pautet, Thomas Robert. A Parser-Based Data Collector for Intrusion Detection. RESSI 2024 - Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information, May 2024, Eppe-Sauvage, France. pp.1-2. ⟨hal-04871463⟩

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

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

Lamoussa Sanogo, Eric Alata, Gaël Loubet, Taki E Djidjekh, Alexandru Takacs, et al.. A Hardware Add-On for IoT Secure Communications: Polarization Shift Keying Smart Antenna System. IEEE 10th World Forum on Internet of Things (WF-IoT 2024), IEEE, Nov 2024, Ottawa, Canada. pp.811-816. ⟨hal-04787064⟩

Aléxis Génèrès, Michaël Lauer, Jean-Charles Fabre. An experimental approach for evaluating cache allocation policies in multicore for real-time mixed-criticality systems. 2024 19th European Dependable Computing Conference (EDCC), KU leuven, Apr 2024, Leuven (BE), Belgium. ⟨10.1109/EDCC61798.2024.00033⟩. ⟨hal-04627006⟩

Pierre Ayoub, Romain Cayre, Aurélien Francillon, Clémentine Maurice. BlueScream: Screaming Channels on Bluetooth Low Energy. 40th Annual Computer Security Applications Conference (ACSAC '24), Dec 2024, Waikiki, Honolulu, Hawaii, United States. ⟨hal-04725668v2⟩

Samir Medjiah, Thierry Monteil, Marie-Agnès Peraldi-Frati, Luigi Liquori. Multi-layered Model for Performance Evaluation of oneM2M-based IoT Solution. IFIP-IoT Conference 2024 - 7th IFIP WG 5.5 International Cross-Domain Conference on Internet of Things, Université Côte d'Azur; IFIP, Nov 2024, Nice, France. ⟨hal-04749511⟩

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⟩

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

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

Dia Jean Cédric Sanou, Sami Yangui, Noura Faci. A Running Prototype for Dynamic QoS Management in the Cloud Continuum (Best demo paper Award). International Conference on Service-Oriented Computing, Dec 2024, Tunis, Tunisia. 5p. ⟨hal-04824904⟩

Florent Galtier, Guillaume Auriol, Vincent Nicomette, Paul L R Olivier, Romain Cayre, et al.. Wireless Modulation Identification: filling the gap in IoT networks security audit. 21st Conference on Detection of Intrusions and Malware & Vulnerability Assessment (DIMVA '24), Jul 2024, Lausanne, Switzerland. ⟨hal-04675669⟩

Binqi Sun, Tomasz Kloda, Marco Caccamo. Response Time Analysis for Fixed-Priority Preemptive Uniform Multiprocessor Systems. Euromicro Conference on Real-Time Systems (ECRTS 2024), Jul 2024, Lille, France. ⟨10.4230/LIPIcs.ECRTS.2024.17⟩. ⟨hal-04803812⟩

Other documents

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

Florent Galtier, Paul L R Olivier, Guillaume Auriol, Vincent Nicomette, Romain Cayre. Experimentation platform for repeatable security analysis in IoT heterogeneous environments. 17th ACM Conference on Security and Privacy in Wireless and Mobile Networks (WiSec 2024), May 2024, Seoul, South Korea. 2024, ⟨10.1145/xxxxxxx.⟩. ⟨hal-04725617⟩

Samir Medjiah, Thierry Monteil, Luigi Liquori, Marie-Agnès Peraldi-Frati, Bob Flynn. SmartM2M; oneM2M Performances Evaluation Tool. ETSI Technical Specification, 2024, pp.26. ⟨hal-04753193⟩

Thierry Monteil, Samir Medjiah, Marie-Agnès Peraldi-Frati, Luigi Liquori, Bob Flynn. SmartM2M; Demonstration of Performance Evaluation and Analysis for oneM2M Planning and Deployment. ETSI Technical Report, 2024, pp.34. ⟨hal-04753228⟩

Bob Flynn, Luigi Liquori, Samir Medjiah, Thierry Monteil, Marie-Agnès Peraldi-Frati. SmartM2M; oneM2M deployment guidelines and good practices. ETSI Technical Report, 2024. ⟨hal-04753246⟩

Proceedings

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

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

Reports

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

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

Preprints, Working Papers, ...

Raul Sena Ferreira, Joris Guérin, Kevin Delmas, Jérémie Guiochet, Hélène Waeselynck. Safety Monitoring of Machine Learning Perception Functions: a Survey. 2024. ⟨hal-04830599⟩

Zheng Zhou, Nicola Accettura, Pascal Berthou. A wake-up strategy enabling GNSS-free NB-IoT links to sparse LEO satellite constellations. 2024. ⟨hal-04748785⟩

Albert Senen-Cerda. The suboptimality ratio of projective measurements restricted to low-rank subspaces. 2024. ⟨hal-04834816⟩

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

Santiago M Henn, Juan Andrés A Fraire, Nicola Accettura, Sandra Céspedes, Holger Hermanns. Multi-Gateway LoRaWAN Throughput Modeling in Direct-to-Satellite IoT Constellations. 2024. ⟨hal-04749023⟩

2023

Journal articles

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

Lucas Matheus dos Santos, Giovani Gracioli, Tomasz Kloda, Marco Caccamo. Supporting single and multi-core resource access protocols on object-oriented RTOSes. Design Automation for Embedded Systems, 2023, 27 (1-2), pp.31-50. ⟨10.1007/s10617-023-09268-6⟩. ⟨hal-04803541⟩

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⟩

Nikolena Christofi, Claude Baron, Xavier Pucel, Marc Pantel, David Canu, et al.. How to early integrate operational diagnosis objectives in model‐driven engineering processes: A methodological proposal based on fault and behavior trees. Systems Engineering, 2023, 27 (3), pp.585--597. ⟨10.1002/sys.21740⟩. ⟨hal-04397558⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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⟩

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

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⟩

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⟩

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

Tomasz Kloda, Giovani Gracioli, Rohan Tabish, Reza Mirosanlou, Renato Mancuso, et al.. Lazy Load Scheduling for Mixed-criticality Applications in Heterogeneous MPSoCs. ACM Transactions on Embedded Computing Systems (TECS), 2023, 22 (3), pp.1-26. ⟨10.1145/3587694⟩. ⟨hal-04803508⟩

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⟩

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⟩

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⟩

Books

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

Conference papers

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⟩

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⟩

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⟩

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⟩

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⟩

Binqi Sun, Debayan Roy, Tomasz Kloda, Andrea Bastoni, Rodolfo Pellizzoni, et al.. Co-Optimizing Cache Partitioning and Multi-Core Task Scheduling: Exploit Cache Sensitivity or Not?. IEEE Real-Time Systems Symposium (RTSS 2023), Dec 2023, Taipei, Taiwan. pp.224-236, ⟨10.1109/RTSS59052.2023.00028⟩. ⟨hal-04803790⟩

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⟩

Sebastian Altmeyer, Étienne André, Silvano Dal Zilio, Loïc Fejoz, Michael González Harbour, et al.. From FMTV to WATERS: Lessons Learned from the First Verification Challenge at ECRTS (invited). 35th Euromicro Conference on Real-Time Systems (ECRTS 2023), Jul 2023, Vienne, Austria. pp.19:1--19:18, ⟨10.4230/LIPIcs.ECRTS.2023.19⟩. ⟨hal-04654624⟩

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⟩

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⟩

Sergio Arribas García, Giovani Gracioli, Denis Hoornaert, Tomasz Kloda, Marco Caccamo. Improving the Execution Time of Industrial Applications through Planned Cache Eviction Policy Selection. IEEE 32nd International Symposium on Industrial Electronics (ISIE 2023), Jun 2023, Helsinki, Finland. pp.1-6, ⟨10.1109/ISIE51358.2023.10228033⟩. ⟨hal-04803562⟩

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⟩

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⟩

Binqi Sun, Tomasz Kloda, Sergio Arribas Garcia, Giovani Gracioli, Marco Caccamo. Minimizing Cache Usage for Real-time Systems. 31st International Conference on Real-Time Networks and Systems, Jul 2023, Dortmund, Germany. pp.200 - 211, ⟨10.1145/3575757.3593651⟩. ⟨hal-04803571⟩

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⟩

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

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⟩

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⟩

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⟩

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

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⟩

Joris Guérin, Kevin Delmas, Raul 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. pp.14829-14837, ⟨10.1609/aaai.v37i12.26732⟩. ⟨hal-03870531v2⟩

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

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⟩

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⟩

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

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

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⟩

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⟩

Jean Alinei, Guillaume Arthaud, Luiz Fernando Lavado Villa, Antonio Orgiu, Claude Baron. Améliorer la réparabilité des systèmes techniques, une proposition méthodologique basée sur la documentation collaborative - Exemple/cas d’un convertisseur de puissance open source. Symposium de Génie Electrique, Jul 2023, Lille, France. ⟨hal-04798159⟩

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⟩

Binqi Sun, Tomasz Kloda, Jiyang Chen, Cen Lu, Marco Caccamo. Schedulability Analysis of Non-preemptive Sporadic Gang Tasks on Hardware Accelerators. IEEE 29th Real-Time and Embedded Technology and Applications Symposium (RTAS 2023), May 2023, San Antonio, United States. pp.147-160, ⟨10.1109/RTAS58335.2023.00019⟩. ⟨hal-04803556⟩

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⟩

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

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

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⟩

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⟩

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⟩

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⟩

Other documents

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

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

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

Claudia Raibulet, Khalil Drira, Claudio Fornaro, Mariagrazia Fugini. Introduction to special issue on software architectures for smart and adaptive systems (SASAS). Information and Software Technology, 157, pp.107158, 2023, ⟨10.1016/j.infsof.2023.107158⟩. ⟨hal-04737413⟩

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⟩

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⟩

Nesrine Khabou, Ismael Bouassida Rodriguez, Khalil Drira, Paris Avgeriou, David Shepherd, et al.. Introduction to the Special Issue on Software-Intensive Autonomous Systems: Methods and applications. Journal of Systems and Software, 195, pp.111511, 2023, ⟨10.1016/j.jss.2022.111511⟩. ⟨hal-04737420⟩

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⟩

Claude Baron. Caractérisation et gestion de l’obsolescence. pp.réf. Internet 42713, 2023, rubrique Environnement. ⟨hal-04797142⟩

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). 2023, ⟨10.4230/DARTS.9.1.4⟩. ⟨hal-04254710⟩

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⟩

Proceedings

Claude Baron. Building a sustainable & resilient world thanks to a collaborative eco-system with virtual playgrounds. 13th International Conference on Complex Systems Design & Management (CSD&M 2022), 2023. ⟨hal-04797140⟩

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

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

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

Céline Comte, Fabien Mathieu, Sushil Mahavir Varma, Ana Bušić. Online Stochastic Matching: A Polytope Perspective. 2024. ⟨hal-03502084v5⟩

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

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

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⟩

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

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

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⟩

THESIS / HDR

2024

Zheng Zhou, Thèse: IoT omniprésent grâce aux communications spatiales

Sami Yangui, Habilitation à diriger des recherches: Service Lifecycle Management in the Cloud Continuum

2023

Balakrishna Prabhu, Habilitation à diriger des recherches: Some applications of asymptotic analysis in communication networks

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

2022

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

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

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

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

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

Karima Khadir, Thèse: Vers une approche de découverte et de sélection distribuées des services IoT basées sur des avatars autonomes

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

Ioanna Stypsanelli, Thèse: Conception Optimale et Gestion des Ressources des Infrastructures Fog pour des Réseaux Véhiculaires

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

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

2019

Karla Gomez Sotelo, Thèse: Méthodologie d'assurance de la qualité pendant la définition des exigences d'un système

Lunde Chen, Thèse: Allocation de ressources dans des réseaux définis par logiciels sans-fil multi-domaines

2018

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

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

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

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

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

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

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

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