Home » Team publications


Publications  for  the  collection  HAL LS2N-STR  for  2020

Total of the publications found : 16

Overview of LS2N-STR publications by types
ART_INT
COMM_INT
OUV
THESE
5821

International journals with reviewing committee (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

International conferences with reviewing committee (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.
      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

Books - books sections - directions of work or proceedings (OUV)

PhD Thesis (THESE)

    • [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
Copyright : LS2N 2017 - Legal notices - 
 -