Flux publications Open Science ISAE-SUPAERO

Sultan Bastien, Apvrille Ludovic, Hotescu Oana Andreea, Saqui-Sannes Pierre de, Enabling Incremental SysML Model Verification : Managing Variability and Complexity through Tagging and Model Reduction : MODELSWARDS 2025. 2025, 13th International Conference on Model-Based Software and Systems Engineering, 2025-02-28 - 2025-02-26 (2025-02-26, Porto)

Enabling Incremental SysML Model Verification: Managing Variability and Complexity through Tagging and Model Reduction : MODELSWARDS 2025

Grislain Paul, Auddino Alexia, Barraqué Anna, Lamothe François - 261609556, Hotescu Oana Andreea, Lacan Jérôme, Radzik José, Lochin Emmanuel - 08943174X, Rethinking LEO constellations routing. 2024, International Journal of Satellite Communications and Networking. ISSN 1542-0973

Rethinking LEO constellations routing

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

Auddino Alexia, Barraqué Anna, Hotescu Oana Andreea, Lacan Jérôme, Radzik José, Lochin Emmanuel - 08943174X, 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 - 261609556, Hotescu Oana Andreea, Lacan Jérôme, Lochin Emmanuel - 08943174X, 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

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

Hotescu Oana Andreea, Finzi Anaïs - 223697753, 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, 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

Hotescu Oana Andreea, Jaffrès-Runser Katia, Scharbarg Jean-Luc, Fraboul Christian - 085596337, 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

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