Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-STR  pour  2018

Nombre de publications retournées : 20


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

Revues internationales avec comité de lecture (ART_INT)

    • [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.archives-ouvertes.fr/hal-01818945
    • [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.archives-ouvertes.fr/hal-01917092

Conférences internationales avec comité de lecture et actes (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.archives-ouvertes.fr/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://hal.inria.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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://hal.inria.fr/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.archives-ouvertes.fr/hal-01766530

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

    • [17] F. Kordon, H. Garavel, L. Hillah, E. Paviot-Adet, L. Jezequel, F. Hulin-Hubard, E. Amparore, M. Beccuti, B. Berthomieu, H. Evrard, P. Jensen, D. Le Botlan, T. Liebke, J. Meijer, J. Srba, Y. Thierry-Mieg, J. van de Pol, K. Wolf. MCC’2017 - The Seventh Model Checking Contest. In Transactions on Petri Nets and Other Models of Concurrency XIII. 11-2018
      https://hal.inria.fr/hal-01917492
    • [18] O. Roux, V. Khomenko. 39th International Conference on Application and Theory of Petri Nets and Concurrency - PETRI NETS 2018, Bratislava, Slovakia, June 24-29, 2018. Lecture Notes in Computer Science. n. 10877. 24-06-2018
      https://hal.archives-ouvertes.fr/hal-02611715

Theses et HDR (THESE)

Autres publications (AUTRES)

    • [20] 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.archives-ouvertes.fr/hal-01935298
Copyright : LS2N 2017 - Mentions Légales - 
 -