Oana Hotescu

According to our database, Oana Hotescu authored at least 13 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Incremental and Formal Verification of SysML Models.

Sophie Coudert, Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes

SN Comput. Sci., August, 2024

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

2023

Mutation of Formally Verified SysML Models.

Ludovic Apvrille, Bastien Sultan, Oana Hotescu, Pierre de Saqui-Sannes, Sophie Coudert

Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

A Unified Model for Integrated Modular Architecture-TSN based Systems.

Matthias Houssin, Oana Hotescu, Frédéric Boniol

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

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

Proceedings of the 96th Vehicular Technology Conference, 2022

Dependency Graphs to Boost the Verification of SysML Models.

Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino

Proceedings of the Model-Driven Engineering and Software Development, 2022

SysML Models Verification Relying on Dependency Graphs.

Ludovic Apvrille, Pierre de Saqui-Sannes, Oana Hotescu, Alessandro Tempia Calvino

Proceedings of the 10th International Conference on Model-Driven Engineering and Software Development, 2022

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

Proceedings of the 11th Advanced Satellite Multimedia Systems Conference and the 17th Signal Processing for Space Communications Workshop, 2022

2021

Scheduling Rate Constrained traffic in End Systems of Time-Aware Networks.

Oana Hotescu, Anaïs Finzi

Proceedings of the 26th IEEE International Conference on Emerging Technologies and Factory Automation, 2021

2020

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

Oana Hotescu

PhD thesis, 2020

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

Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Multiplexing Avionics and additional flows on a QoS-aware AFDX network.

Oana Hotescu, Katia Jaffrès-Runser, Jean-Luc Scharbarg, Christian Fraboul

Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2017

Synchronizing Tiny Sensors with SISP: A Convergence Study.

Oana Hotescu, Katia Jaffrès-Runser, Adrien van den Bossche, Thierry Val

Proceedings of the 20th ACM International Conference on Modelling, 2017