Publications

Conference or Workshop Item

Apvrille, Ludovic and Sultan, Bastien and Hotescu, Oana Andreea and Saqui-Sannes, Pierre de and Coudert, Sophie. Mutation of Formally Verified SysML Models. ( In Press: 2023) In: MODELSWARDS 2023 : 11th International Conference on Model-Based Software and Systems Engineering, 19 February 2023 - 21 February 2023 (Lisbon, Portugal).

Grislain, Paul and Pelissier, Nicolas and Lamothe, François and Hotescu, Oana Andreea and Lacan, Jérôme and Lochin, Emmanuel and Radzik, José. Rethinking LEO Constellations Routing with the Unsplittable Multi-Commodity Flows Problem. (2022) In: 11th Advanced Satellite Multimedia Conference 17th Signal Processing for Space Communications Workshop (ASMS/SPSC 2022), 6 September 2022 - 8 September 2022 (Graz, Austria).

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Hotescu, Oana Andreea and Tempia Calvino, Alessandro. SysML Models Verification Relying on Dependency Graphs. (2022) In: MODELSWARD 2022 : 10th International Conference on Model-Driven Engineering and Software Development, 6 February 2022 - 8 February 2022 (Virtual, Vienna, Austria).

Auddino, Alexia and Barraqué, Anna and Hotescu, Oana Andreea and Lacan, Jérôme and Radzik, José and Lochin, Emmanuel. The Nearest Is Not The Fastest : On The Importance Of Selecting In/Out Routing Hops Over A Satellite LEO Constellation. (2022) In: VTC2022-Fall, 26 September 2022 - 29 September 2022 (London, United Kingdom).

Hotescu, Oana Andreea and Saqui-Sannes, Pierre de. Qualitative and Quantitative Analysis of Avionics Full DupleX Network Models. (2021) In: The 35th annual European Simulation and Modelling Conference - ESM'2021, 27 October 2021 - 29 October 2021 (Rome, Italy).

Hotescu, Oana Andreea and Jaffrès-Runser, Katia and Van den Bossche, Adrien and Val, Thierry. Synchronizing Tiny Sensors with SISP: a Convergence Study. (2017) In: MSWiM '17: 20th ACM Int'l Conference on Modelling, Analysis and Simulation of Wireless and Mobile Systems, 21 November 2017 - 25 November 2017 (Miami, United States).

Hotescu, Oana Andreea and Jaffrès-Runser, Katia and Scharbarg, Jean-Luc and Fraboul, Christian. Towards Quality of Service Provision with Avionics Full Duplex Switching. (2017) In: 29th Euromicro Conference on Real-Time Systems (ECRTS 2017), 27 June 2017 - 30 June 2017 (Dubrovnik, Croatia).

Van den Bossche, Adrien and Dalce, Rejane and Despaux Rossi, François and Fofana, Nezo Ibrahim and Hotescu, Oana Andreea and Jaffrès-Runser, Katia and El Jammal, Farid and Val, Thierry. Utilisation des noeuds DecaWiNo pour la localisation indoor précise d'objets communicants en UWB. (2016) In: Journées Nationales des Communications Terrestres (JNCT 2016), 1 September 2016 - 2 September 2016 (Montbéliard, France). (Unpublished)

Book Section

Apvrille, Ludovic and Saqui-Sannes, Pierre de and Hotescu, Oana Andreea and Tempia Calvino, Alessandro. Dependency Graphs to Boost the Verification of SysML Models. (2022) In: Dependency Graphs to Boost the Verification of SysML Models. Springer.

Thesis

Hotescu, Oana Andreea. Vers la convergence de réseaux dans l'avionique. PhD, Réseaux, Télécommunications, Systèmes et Architecture, Institut National Polytechnique de Toulouse, 2020