Publication de la collection HAL LS2N-STR pour 2020
Revues internationales avec comité de lecture (ART_INT)
- [1] F. Khenfri, K. Chaaban, M. Chetto. Efficient mapping of runnables to tasks for embedded AUTOSAR applications. In Journal of Systems Architecture ; éd. Elsevier, 2020, vol. 110.https://hal.science/hal-02867311v1
- [2] . André, D. Lime, N. Markey. Language Preservation Problems in Parametric Timed Automata. In Logical Methods in Computer Science ; éd. Logical Methods in Computer Science Association, 2020, vol. 16, num. 1.https://hal.science/hal-02498022v1
- [3] L. Jezequel, A. Madalinski, S. Schwoon. Distributed computation of vector clocks in Petri net unfoldings for test selection. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2020.https://hal.science/hal-02560296v1
- [4] R. El Osta, M. Chetto, H. El Ghor. Optimal Slack Stealing Servicing for Real-Time Energy Harvesting Systems. In The Computer Journal ; éd. Oxford University Press (UK), 2020.https://hal.science/hal-02899452v1
- [5] H. Zahaf, Z. Houssam-Eddine, N. Capodieci, R. Cavicchioli, G. Lipari, M. Bertogna. The HPC-DAG Task Model for Heterogeneous Real-Time Systems. In IEEE Transactions on Computers ; éd. Institute of Electrical and Electronics Engineers, 2020.https://hal.science/hal-02961516v1
- [6] A. Quillet, A. Queudet, D. Lime. Analysis of Polka Contention Manager for use in Multicore Hard Real-Time Systems. In International Conference on Real-Time Networks and Systems (RTNS’20), juin 2020, Paris, France.https://hal.science/hal-02566657v1
- [7] M. Chetto, A. Queudet. EDF-based real-time scheduling for self-powered sensors: a survey of main theoretical results. In 2020 International Conference on Intelligent Systems and Computer Vision (ISCV), juin 2020, Fez, Maroc.https://hal.science/hal-02948028v1
- [8] K. Boukir, J. Béchennec, A. Déplanche. Requirement specification and model-checking of a real-time scheduler implementation. In 28th International Conference on Real-Time and Network Systems (RTNS 2020), juin 2020, Paris, France.https://hal.science/hal-02941350v1
- [9] M. Chetto, A. Queudet. EDF-based real-time scheduling for self-powered sensors : a survey of main theoretical results. In IEEE International Conference on Intelligent Systems and Computer Vision, juin 2020, Fez, Maroc.https://hal.science/hal-02940328v1
- [10] R. El Osta, H. El Ghor, M. Chetto. Scheduling mixed task sets in energy harvesting embedded systems. In First IEEE International Conference on Emerging Frontiers in Electrical and Electronic Technologies, juillet 2020, Patna, Inde.https://hal.science/hal-02947880v1
- [11] R. Parrot, D. Lime. Backward Symbolic Optimal Reachability in Weighted Timed Automata. In 18th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2020), septembre 2020, Vienna, Autriche.https://hal.science/hal-02939596v1
- [12] J. Lagha, J. Béchennec, S. Faucou, O. Roux. Toward an Exact Simulation Interval for Multiprocessor Real-Time Systems Validation. In VALID 2020, The Twelfth International Conference on Advances in System Testing and Validation Lifecycle, octobre 2020, Lisbon, Portugal.https://cnrs.hal.science/hal-03006791v1
- [13] A. Queudet, M. Chetto. Energy-aware Aperiodic Task Servers for Firm Real-time Energy harvesting Systems. In IEEE International Conference on Green Computing and Communications, novembre 2020, Rhodes Island, Grèce.https://hal.science/hal-02940294v1
- [14] M. Chetto, A. Queudet. Sistemas de tiempo real autónomos en energı́a. 01-02-2020 https://hal.science/hal-03221519v1
- [15] M. Chetto, R. El Osta, H. El Ghor. Energy management and real-time scheduling for the Internet of Things. 08-04-2020 https://hal.science/hal-02876745v1
- [16] F. Khenfri. Optimisation holistique pour la configuration d’une architecture logicielle embarquée : application au standard AUTOSAR. Thèses : UNiversité de Nantes. https://hal.science/tel-02943311v1
