Flux publications Open Science ISAE-SUPAERO

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

Mutation of Formally Verified SysML Models

Houssin Matthias, Hotescu Oana Andreea, Boniol Frédéric, Functional Latency Optimization for networked IMA system. 2023, RTNS - Junior Researcher Workshop on Real-Time Computing, 2023-06-08 - 2023-06-07 (2023-06-07, Dortmund)

Functional Latency Optimization for networked IMA system

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

Dependency Graphs to Boost the Verification of SysML Models : Dependency Graphs to Boost the Verification of SysML Models

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

SysML Models Verification Relying on Dependency Graphs

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

The Nearest Is Not The Fastest : On The Importance Of Selecting In/Out Routing Hops Over A Satellite LEO Constellation

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

Rethinking LEO Constellations Routing with the Unsplittable Multi-Commodity Flows Problem : 2022 11th Advanced Satellite Multimedia Systems Conference

Hotescu Oana Andreea, Finzi Anaïs, Scheduling Rate Constrained traffic in End Systems of Time-Aware Networks : 2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA ). 2021, 2021 IEEE 26th International Conference on Emerging Technologies and Factory Automation (ETFA), 2021-09-07 - 2021-09-10 (2021-09-10, Västeras)

Scheduling Rate Constrained traffic in End Systems of Time-Aware Networks : 2021 26th IEEE International Conference on Emerging Technologies and Facto

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

Qualitative and Quantitative Analysis of Avionics Full DupleX Network Models

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

Towards Quality of Service Provision with Avionics Full Duplex Switching : Proceedings of ECRTS 2017

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

Synchronizing Tiny Sensors with SISP: a Convergence Study : MSWiM '17: Proceedings of the 20th ACM International Conference on Modelling, Analysis and

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

Utilisation des noeuds DecaWiNo pour la localisation indoor précise d'objets communicants en UWB