Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-STR  pour  2021

Nombre de publications retournées : 26

Récapitulatif du nombre de publications de la collection par types
ART_INT
COMM_INT
COMM_NAT
OUV
THESE
AUTRES
7142111

Revues internationales avec comité de lecture (ART_INT)

    • [1] H. El Ghor, M. Chetto. Optimal Real-Time Scheduling Algorithm for Wireless Sensors with Regenerative Energy. In The Computer Journal ; éd. Oxford University Press (UK), 2021, vol. 65, num. 8.
      https://hal.science/hal-03225276v1
    • [2] J. Béchennec, D. Lime, O. Roux. Logical time control of concurrent DES. In Discrete Event Dynamic Systems ; éd. Springer Verlag, 2021.
      https://hal.science/hal-03103458v1
    • [3] Ã. André, D. Lime, M. Ramparison. Parametric updates in parametric timed automata. In Logical Methods in Computer Science ; éd. Logical Methods in Computer Science Association, 2021, vol. 17, num. 2.
      https://hal.science/hal-03340905v1
    • [4] F. Kordon, L. Hillah, F. Hulin-Hubard, L. Jezequel, E. Paviot-Adet. Study of the efficiency of model checking techniques using results of the MCC from 2015 To 2019. In International Journal on Software Tools for Technology Transfer ; éd. Springer Verlag, 2021.
      https://hal.sorbonne-universite.fr/hal-03251314v1
    • [5] Ã. André, D. Lime, M. Ramparison, M. Stoelinga. Parametric Analyses of Attack-fault Trees. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2021, vol. 182, num. 1.
      https://hal.science/hal-03483440v1
    • [6] R. El Osta, M. Chetto, H. El Ghor. An optimal energy aware aperiodic task server for autonomous IoT sensors. In International Journal of Electrical and Computer Engineering Research, vol. 1, num. 2. 15-12-2021
      https://hal.science/hal-03485614v1
    • [7] D. Lime, C. Seidner, O. Roux. Cost Problems for Parametric Time Petri Nets. In Fundamenta Informaticae ; éd. Polskie Towarzystwo Matematyczne, 2021.
      https://hal.science/hal-03561426v1

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

    • [8] H. Zahaf, I. Olmedo, J. Singh, N. Capodieci, S. Faucou. Contention-Aware GPU Partitioning and Task-to-Partition Allocation for Real-Time Workloads. In RTNS'2021: 29th International Conference on Real-Time Networks and Systems, avril 2021, Nantes, France.
      https://hal.science/hal-03641750v1
    • [9] I. Haur, J. Béchennec, O. Roux. Formal schedulability analysis based on multi-core RTOS model. In RTNS '2021. The 29th International Conference on Real-Time Networks and Systems, avril 2021, Nantes, France.
      https://hal.science/hal-03454818v1
    • [10] R. El Osta, M. Chetto, H. El Ghor. Energy Management and Real-Time Scheduling for Self-Powered Sensors. In The 2021 International Symposium on Electrical and Electronics Engineering (ISEE 2021), avril 2021, Ho Chi Minh City, Viêt Nam.
      https://hal.science/hal-03216352v1
    • [11] M. Mohamed Abdulla, M. Chetto, A. Queudet, L. Belouaer. On designing cyber-physical-social systems with energy-neutrality and real-time capabilities. In the 4th IEEE International Conference on Industrial Cyber-Physical Systems (ICPS), mai 2021, Victoria (on line), Canada.
      https://hal.science/hal-03222080v1
    • [12] L. Jezequel, D. Lime, B. Sérée. A Lazy Query Scheme for Reachability Analysis in Petri Nets. In International Conference on Applications and Theory of Petri Nets and Concurrency, juin 2021, Paris, France.
      https://hal.science/hal-03561703v1
    • [13] R. Parrot, M. Briday, O. Roux. Pipeline Optimization using a Cost Extension of Timed Petri Nets. In 2021 IEEE 28th Symposium on Computer Arithmetic (ARITH), juin 2021, Lyngby, Danemark.
      https://hal.science/hal-03464317v1
    • [14] S. Haddad, D. Lime, O. Roux. A Turn-Based Approach for Qualitative Time Concurrent Games. In PETRI NETS 2021 - 42nd International Conference on Applications and Theory of Petri Nets and Concurrency, juin 2021, Paris, France.
      https://hal.science/hal-03561748v1
    • [15] R. Parrot, M. Briday, O. Roux. Timed Petri Nets with Reset for Pipelined Synchronous Circuit Design. In 42nd International Conference on Application and Theory of Petri Nets and Concurrency, juin 2021, Paris, France.
      https://hal.science/hal-03266806v1
    • [16] M. Chetto, L. George. O(1)-online approximation of the slack for periodic task sets under EDF scheduling. In The 4th IFAC Conference on Embedded Systems, Computational Intelligence and Telematics in Control (CESCIT 2021), juillet 2021, Valenciennes, France.
      https://hal.science/hal-03222093v1
    • [17] M. Chetto. Dynamic power management for fixed priority real-time systems with regenerative energy. In The 8th International Conference on Future Internet of Things and Cloud (FiCloud 2021), août 2021, Virtual, Italie.
      https://hal.science/hal-03272351v1
    • [18] B. Sérée, L. Jezequel, D. Lime. An Algorithm for Single-Source Shortest Paths Enumeration in Parameterized Weighted Graphs. In Language and Automata Theory and Applications, septembre 2021, Milan, Italie.
      https://hal.science/hal-03561972v1
    • [19] V. Lostanlen, A. Bernabeu, J. Béchennec, M. Briday, S. Faucou, M. Lagrange. Energy Efficiency is Not Enough: Towards a Batteryless Internet of Sounds. In Proceedings of the International Workshop on the Internet of Sounds (IWIS), septembre 2021, Trento, Italie.
      https://hal.science/hal-03324622v1
    • [20] R. El Osta, M. Chetto. Online Admission of Hard Aperiodic Tasks in Real-Time Energy Harvesting Systems. In 6 th International Conference on Smart and Sustainable Technologies, septembre 2021, Split, Croatie.
      https://hal.science/hal-03339286v1
    • [21] M. Comlan, D. Delfieu, N. Assogba. Grafcet to Arduino: Edit and Upload Grafcets on an Arduino Boards. In The International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME), octobre 2021, Mauritius, Maurice.In International Conference on Electrical, Computer, Communications and Mechatronics Engineering (ICECCME). 07-10-2021
      https://hal.science/hal-03562309v2

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [22] A. Bernabeu, J. Béchennec, M. Briday, S. Faucou, O. Roux. Synthèse de traces temporisées à coût optimal pour l'ordonnancement de systèmes embarqués intermittents. In Modélisation des Systèmes Réactifs (MSR'21), novembre 2021, Paris, France.
      https://hal.science/hal-03449539v1
    • [23] R. Parrot, M. Briday, O. Roux. Réseaux de Petri temporisés pour la conception et vérification de circuits pipelinés. In Modélisation des Systèmes Réactifs (MSR'21), novembre 2021, Paris, France.
      https://hal.science/hal-03587736v1

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

    • [24] O. Sarumi, O. Aouedi, L. Muhammad. Potential of Deep Learning Algorithms in Mitigating the Spread of COVID-19. In Understanding COVID-19: The Role of Computational Intelligence. 28-07-2021
      https://hal.science/hal-03704755v1

Theses et HDR (THESE)

Autres publications (AUTRES)

    • [26] J. Béchennec, A. Bernabeu, M. Briday, S. Faucou. Support d'exécution pour le calcul intermittent. In COMPAS 2021, juillet 2021, Lyon, France.
      https://hal.science/hal-03446983v1
Copyright : LS2N 2017 - Mentions Légales - 
 -