Home » Publications Equipe

Publication  de  la  collection  HAL LS2N-VELO  pour  2022

Nombre de publications retournées : 15

Récapitulatif du nombre de publications de la collection par types

Revues internationales avec comité de lecture (ART_INT)

    • [2] A. Saadi, Y. Hammal, M. Oussalah. Automata-Based Approach to Manage Self-Adaptive Component-Based. In International Journal of Software Innovation ; éd. IGI Global, 2022, vol. 10, num. 22.
    • [3] 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.
    • [4] 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.
    • [5] 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.
    • [6] P. André, O. Cardin. Aggregation Patterns in Holonic Manufacturing Systems. In Studies in Computational Intelligence ; éd. Springer Verlag, 2022, vol. 1034.
    • [7] G. Cantin. How hysteresis produces discontinuous patterns in degenerate reaction–diffusion systems. In Asymptotic Analysis ; éd. IOS Press, 2022.

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

    • [8] 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.
    • [9] 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.
    • [10] C. Attiogbé, J. Rocheteau. Architectural Invariants and Correctness of IoT-Based Systems. In Model and Data Engineering (MEDI'2022), novembre 2022, Cairo, égypte.
    • [11] M. Tebib, P. Andre, M. Graa, O. Aktouf. 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.In IARIA (éds.), . IARIA, 2022.

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

    • [12] G. Bacci, B. Delahaye, K. Larsen, A. Mariegaard. Quantitative Analysis of Interval Markov Chains. In Model Checking, Synthesis, and Learning. 01-01-2022

Autres publications (AUTRES)

    • [13] J. Attiogbé, F. Zaïdi. Proceedings ”Approches formelles dans l’assistance au développement du logiciel (AFADL)", Vannes, 2022. Rapport technique, 2022 ; LS2N-Nantes Université, LMF-Univesité Paris Saclay, .
    • [14] 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, .
    • [15] 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.
Copyright : LS2N 2017 - Mentions Légales -