Oana Hotescu

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 12

Top Topics

Modular Architecture

Service Selection

Dependency Graphs

Miller Tucker Zemlin

Top Venues

Publications

Oana Hotescu, Katia Jaffrès-Runser, Jean-Luc Scharbarg
Time-triggered scheduling of mixed-critical flows at end-system in asynchronous AFDX avionic network. Comput. Networks 246 (2024)
Sophie Coudert, Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes
Incremental and Formal Verification of SysML Models. SN Comput. Sci. 5 (6) (2024)
Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert
Mutation of Formally Verified SysML Models. MODELSWARD (2023)
Matthias Houssin, Oana Hotescu, Frédéric Boniol
A Unified Model for Integrated Modular Architecture-TSN based Systems. ETFA (2023)
Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino
SysML Models Verification Relying on Dependency Graphs. MODELSWARD (2022)
Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino
Dependency Graphs to Boost the Verification of SysML Models. MODELSWARD (Revised Selected Papers) (2022)
Alexia Auddino, Anna Barraqué, Oana Hotescu, Jérôme Lacan, José Radzik, Emmanuel Lochin
The Nearest Is Not The Fastest: On The Importance Of Selecting In/Out Routing Hops Over A Satellite LEO Constellation. VTC Fall (2022)
Paul Grislain, Nicolas Pelissier, François Lamothe, Oana Hotescu, Jérôme Lacan, Emmanuel Lochin, José Radzik
Rethinking LEO Constellations Routing with the Unsplittable Multi-Commodity Flows Problem. ASMS/SPSC (2022)
Oana Hotescu, Anaïs Finzi
Scheduling Rate Constrained traffic in End Systems of Time-Aware Networks. ETFA (2021)
Oana Hotescu, Katia Jaffrès-Runser, Jean-Luc Scharbarg, Christian Fraboul
Multiplexing Avionics and additional flows on a QoS-aware AFDX network. ETFA (2019)
Oana Hotescu, Katia Jaffrès-Runser, Jean-Luc Scharbarg, Christian Fraboul
Impact of source scheduling on end-to-end latencies in a QoS-aware avionics network. SAC (2019)
Oana Hotescu, Katia Jaffrès-Runser, Adrien van den Bossche, Thierry Val
Synchronizing Tiny Sensors with SISP: A Convergence Study. MSWiM (2017)