Home » Publications Equipe

Publication  de  la  collection  HAL LS2N-STR  pour  2020

Nombre de publications retournées : 16

Récapitulatif du nombre de publications de la collection par types

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.
    • [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.
    • [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.
    • [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.
    • [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.

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [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.
    • [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.
    • [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.
    • [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.
    • [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.
    • [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.
    • [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.
    • [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.

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

Theses et HDR (THESE)

    • [16] F. Khenfri. Optimisation holistique pour la configuration d’une architecture logicielle embarquée : application au standard AUTOSAR. Thèses : UNiversité de Nantes.
Copyright : LS2N 2017 - Mentions Légales -