Home » Team publications


Publications  for  the  collection  HAL LS2N-STR  for  2018

Total of the publications found : 18


Overview of LS2N-STR publications by types
ART_INT
COMM_INT
THESE
AUTRES
51111

International journals with reviewing committee (ART_INT)

    • [1] J. Béchennec, M. Brun, S. Faucou, L. Givel, O. Roux. Testing real-time systems with runtime enforcement. In IEEE Design & Test ; éd. IEEE, 2018.
      https://hal.science/hal-01713193
    • [2] A. Jovanović, D. Lime, O. Roux. A game approach to the parametric control of real-time systems. In International Journal of Control ; éd. Taylor & Francis, 2018.
      https://hal.science/hal-02010912
    • [3] W. Housseyni, O. Mosbahi, M. Khalgui, Z. Li, M. Chetto, L. Yin. Multiagent Architecture for Distributed Adaptive Scheduling of Reconfigurable Real-Time Tasks With Energy Harvesting Constraints. In IEEE Access ; éd. IEEE, 2018.
      https://hal.science/hal-01818945
    • [4] S. Faucou, L. Pinho. Guest editorial: real-time networks and systems. In Real-Time Systems ; éd. Springer Verlag, 2018, vol. 54, num. 4.
      https://hal.science/hal-01902125
    • [5] A. Bart, B. Delahaye, P. Fournier, D. Lime, E. Monfroy, C. Truchet. Reachability in parametric Interval Markov Chains using constraints. In Theoretical Computer Science ; éd. Elsevier, 2018, vol. 747.
      https://hal.science/hal-01917092

International conferences with reviewing committee (COMM_INT)

    • [6] M. Taha, S. El Assad, A. Queudet. Parallel Generator of Discrete Sequences using Multi-Threading Approach. In International Conference on Future Information Technology, avril 2018, Salerno, Italie.
      https://hal.science/hal-02184688
    • [7] L. Jezequel, A. Madalinski, S. Schwoon. Distributed computation of vector clocks in Petri nets unfolding for test selection. In Workshop on Discrete Event Systems (WODES), mai 2018, Sorrento, Italie.
      https://inria.hal.science/hal-01735406
    • [8] H. Boucheneb, D. Lime, O. Roux, C. Seidner. Optimal-Cost Reachability Analysis Based on Time Petri Nets. In 18th International Conference on Application of Concurrency to System Design (ACSD 2018), juin 2018, Bratislava, Slovaquie.
      https://hal.science/hal-01957173
    • [9] . André, D. Lime, M. Ramparison. Timed Automata with Parametric Updates. In 18th International Conference on Application of Concurrency to System Design (ACSD 2018), juin 2018, Bratislava, Slovaquie.
      https://hal.science/hal-01957157
    • [10] D. Solet, J. Béchennec, M. Briday, S. Faucou, S. Pillement. HW-based Architecture for Runtime Verification of Embedded Software on SOPC systems. In 2018 NASA/ESA Conference on Adaptive Hardware and Systems (AHS), août 2018, Edinburgh, Royaume-Uni.
      https://hal.science/hal-01804096
    • [11] E. André, D. Lime, M. Ramparison. TCTL Model Checking Lower/Upper-Bound Parametric Timed Automata Without Invariants. In 16th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2018), septembre 2018, Beijing, Chine.
      https://hal.science/hal-01957138
    • [12] D. Solet, M. Briday, J. Béchennec, S. Faucou, S. Pillement. Hardware Runtime Verification of a RTOS Kernel: Evaluation Using Fault Injection. In 14th European Dependable Computing Conference (EDCC), septembre 2018, Iasi, Roumanie.
      https://hal.science/hal-01874233
    • [13] K. Boukir, J. Béchennec, A. Déplanche. Formal approach for a verified implementation of Global EDF in Trampoline. In 26th International Conference on Real-Time Networks and Systems, octobre 2018, Chasseneuil-du-Poitou, France.
      https://hal.science/hal-02004671
    • [14] H. El Ghor, M. Chetto, R. El Osta. Multiprocessor Real-Time Scheduling for WirelessSensors Powered by Renewable Energy Sources. In 15th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2018), octobre 2018, Aqaba, Jordanie.
      https://hal.science/hal-01935282
    • [15] Y. Emzivat, J. Ibañez-Guzmán, H. Illy, P. Martinet, O. Roux. A Formal Approach for the Design of a Dependable Perception System for Autonomous Vehicles. In ITSC 2018 - 21st IEEE International Conference on Intelligent Transportation Systems, novembre 2018, Maui, états-Unis.
      https://inria.hal.science/hal-01966844
    • [16] L. Jezequel, T. Chatain, M. Comlan, D. Delfieu, O. Roux. Pomsets and Unfolding of Reset Petri Nets. In LATA 2018 - 12th International Conference on Language and Automata Theory and Applications, avril 2018, Ramat Gan, Israël.In Shmuel Tomi Klein (éds.), . Springer, 2018.
      https://hal.science/hal-01766530

PhD Thesis (THESE)

Other publications (AUTRES)

    • [18] R. El Osta, M. Chetto, H. El Ghor. An optimal approach for minimizing aperiodic response times in Real-time Energy Harvesting Systems. In 15th ACS/IEEE International Conference on Computer Systems and Applications (AICCSA 2018), octobre 2018, Aqaba, France.
      https://hal.science/hal-01935298
Copyright : LS2N 2017 - Legal notices - 
 -