Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-VELO  pour  2022

Nombre de publications retournées : 13

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

Revues internationales avec comité de lecture (ART_INT)

    • [2] G. Cantin, C. Silva. Complex network near-synchronization for non-identical predator-prey systems. In AIMS Mathematics ; éd. AIMS Press, 2022, vol. 7, num. 11.
      https://hal.science/hal-03778221
    • [3] I. Mouakher, F. Dhaou, J. Attiogbé. Event-Based Semantics of UML 2.X Concurrent Sequence Diagrams for Formal Verification. In Journal of Computer Science and Technology ; éd. Springer Verlag, 2022, vol. 37, num. 1.
      https://hal.science/hal-04093645
    • [4] G. Cantin, C. J. Silva, A. Banos. Mathematical analysis of a hybrid model: Impacts of individual behaviors on the spreading of an epidemic. In Networks and Heterogeneous Media ; éd. American Institute of Mathematical Sciences, 2022, vol. 17, num. 3.
      https://hal.science/hal-03618929
    • [5] P. André, O. Cardin. Aggregation Patterns in Holonic Manufacturing Systems. In Studies in Computational Intelligence ; éd. Springer Verlag, 2022, vol. 1034.
      https://hal.science/hal-03904851
    • [6] G. Cantin. How hysteresis produces discontinuous patterns in degenerate reaction–diffusion systems. In Asymptotic Analysis ; éd. IOS Press, 2022.
      https://hal.science/hal-03893910

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

    • [7] D. Julien, G. Cantin, B. Delahaye. End-to-End Statistical Model Checking for Parametric ODE Models. In QEST: International Conference on Quantitative Evaluation of Systems, septembre 2022, Warsaw, Pologne.
      https://hal.science/hal-03824899
    • [8] W. Derigent, M. David, P. André, O. Cardin. Generic aggregation model for reconfigurable holonic control architecture – The GARCIA framework. In 12th International Workshop on Service Oriented, Holonic and Multi-Agent Manufacturing Systems for Industry of the Future, SOHOMA’22, septembre 2022, Bucarest, Roumanie.
      https://hal.science/hal-03970710
    • [9] M. Tebib, M. Graa, O. Aktouf, P. Andre. IDE Plugins for Secure Android Applications Development: Analysis & Classification Study. In SECURWARE 2022 : The Sixteenth International Conference on Emerging Security Information, Systems and Technologies, octobre 2022, Lisbonne, Portugal.
      https://hal.science/hal-03865020
    • [10] C. Attiogbé, J. Rocheteau. Architectural Invariants and Correctness of IoT-Based Systems. In Model and Data Engineering (MEDI'2022), novembre 2022, Cairo, égypte.
      https://hal.science/hal-04093777

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

    • [11] G. Bacci, B. Delahaye, K. Larsen, A. Mariegaard. Quantitative Analysis of Interval Markov Chains. In Model Checking, Synthesis, and Learning. 01-01-2022
      https://hal.science/hal-03536947

Autres publications (AUTRES)

    • [12] E. Desmontils. Premières réflexions sur la didactique des bases de données Rapport de recherche. Rapport technique, 2022 ; LS2N, Université de Nantes, IREM des Pays de Loire, .
      https://hal.science/hal-03827720v2
    • [13] M. Tebib, P. Andre, M. Graa, O. Aktouf. PermDroid: Handling over-privileged Android applications based on the minimum permissions set identification. In RESSI (Rendez-Vous de la Recherche et de l'Enseignement de la Sécurité des Systèmes d'Information), mai 2022, Chambon-sur-Lac, France.
      https://hal.science/hal-03864899
Copyright : LS2N 2017 - Mentions Légales - 
 -