Oana Hotescu

Orcid: 0000-0001-6612-8574

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Incremental and Formal Verification of SysML Models.
SN Comput. Sci., August, 2024

Time-triggered scheduling of mixed-critical flows at end-system in asynchronous AFDX avionic network.
Comput. Networks, 2024

2023
Mutation of Formally Verified SysML Models.
Proceedings of the 11th International Conference on Model-Based Software and Systems Engineering, 2023

A Unified Model for Integrated Modular Architecture-TSN based Systems.
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.
Proceedings of the 96th Vehicular Technology Conference, 2022

Dependency Graphs to Boost the Verification of SysML Models.
Proceedings of the Model-Driven Engineering and Software Development, 2022

SysML Models Verification Relying on Dependency Graphs.
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.
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.
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).
PhD thesis, 2020

2019
Impact of source scheduling on end-to-end latencies in a QoS-aware avionics network.
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2019

Multiplexing Avionics and additional flows on a QoS-aware AFDX network.
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019

2017
Synchronizing Tiny Sensors with SISP: A Convergence Study.
Proceedings of the 20th ACM International Conference on Modelling, 2017


  Loading...