Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-STR  pour  2020

Nombre de publications retournées : 14


Récapitulatif du nombre de publications de la collection par types
ART_INT
COMM_INT
OUV
THESE
4721

Chiffres en cours de consolidation

Revues internationales avec comité de lecture (ART_INT)

    • [1] . 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.archives-ouvertes.fr/hal-02498022
    • [2] 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.archives-ouvertes.fr/hal-02560296
    • [3] 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.archives-ouvertes.fr/hal-02899452
    • [4] 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.archives-ouvertes.fr/hal-02867311

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

    • [5] 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.archives-ouvertes.fr/hal-02566657
    • [6] 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.archives-ouvertes.fr/hal-02948028
    • [7] 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.archives-ouvertes.fr/hal-02941350
    • [8] 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.archives-ouvertes.fr/hal-02940328
    • [9] 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.archives-ouvertes.fr/hal-02947880
    • [10] 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.archives-ouvertes.fr/hal-02939596
    • [11] 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.archives-ouvertes.fr/hal-02940294

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

Theses et HDR (THESE)

Copyright : LS2N 2017 - Mentions Légales - 
 -