Synchronizing Tiny Sensors with SISP: A Convergence Study. - Oana Hotescu; Katia Jaffrès-Runser; Adrien van den Bossche; Thierry Val (MSWiM, 2017)

Multiplexing Avionics and additional flows on a QoS-aware AFDX network. - Oana Hotescu; Katia Jaffrès-Runser; Jean-Luc Scharbarg; Christian Fraboul (ETFA, 2019)

Impact of source scheduling on end-to-end latencies in a QoS-aware avionics network. - Oana Hotescu; Katia Jaffrès-Runser; Jean-Luc Scharbarg; Christian Fraboul (SAC, 2019)

Vers la convergence de réseaux dans l'avionique. (Towards networks convergence in avionics). - Oana Hotescu (2020)

Scheduling Rate Constrained traffic in End Systems of Time-Aware Networks. - Oana Hotescu; Anaïs Finzi (ETFA, 2021)

Rethinking LEO Constellations Routing with the Unsplittable Multi-Commodity Flows Problem. - Paul Grislain; Nicolas Pelissier; François Lamothe; Oana Hotescu; Jérôme Lacan; Emmanuel Lochin; José Radzik (ASMS/SPSC, 2022)

SysML Models Verification Relying on Dependency Graphs. - Ludovic Apvrille; Pierre de Saqui-Sannes; Oana Hotescu; Alessandro Tempia Calvino (MODELSWARD, 2022)

Dependency Graphs to Boost the Verification of SysML Models. - Ludovic Apvrille; Pierre de Saqui-Sannes; Oana Hotescu; Alessandro Tempia Calvino (MODELSWARD (Revised Selected Papers), 2022)

The Nearest Is Not The Fastest: On The Importance Of Selecting In/Out Routing Hops Over A Satellite LEO Constellation. - Alexia Auddino; Anna Barraqué; Oana Hotescu; Jérôme Lacan; José Radzik; Emmanuel Lochin (VTC Fall, 2022)

A Unified Model for Integrated Modular Architecture-TSN based Systems. - Matthias Houssin; Oana Hotescu; Frédéric Boniol (ETFA, 2023)

Mutation of Formally Verified SysML Models. - Ludovic Apvrille; Bastien Sultan; Oana Hotescu; Pierre de Saqui-Sannes; Sophie Coudert (MODELSWARD, 2023)

Time-triggered scheduling of mixed-critical flows at end-system in asynchronous AFDX avionic network. - Oana Hotescu; Katia Jaffrès-Runser; Jean-Luc Scharbarg (Comput. Networks, 2024)

Incremental and Formal Verification of SysML Models. - Sophie Coudert; Ludovic Apvrille; Bastien Sultan; Oana Hotescu; Pierre de Saqui-Sannes (SN Comput. Sci., 2024)

Enabling Incremental SysML Model Verification: Managing Variability and Complexity Through Tagging and Model Reduction. - Bastien Sultan; Ludovic Apvrille; Oana Hotescu; Pierre de Saqui-Sannes (MODELSWARD, 2025)