Home » Team publications


Publications  for  the  collection  HAL LS2N-VELO  for  2022

Total of the publications found : 15


Overview of LS2N-VELO publications by types
ART_INT
COMM_INT
OUV
AUTRES
7413

International journals with reviewing committee (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.
      https://hal.science/hal-04132517v1
    • [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.
      https://hal.science/hal-03778221v1
    • [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.
      https://hal.science/hal-04093645v1
    • [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.
      https://hal.science/hal-03618929v1
    • [6] 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-03904851v1
    • [7] G. Cantin. How hysteresis produces discontinuous patterns in degenerate reaction–diffusion systems. In Asymptotic Analysis ; éd. IOS Press, 2022.
      https://hal.science/hal-03893910v1

International conferences with reviewing committee (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.
      https://hal.science/hal-03824899v1
    • [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.
      https://hal.science/hal-03970710v1
    • [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-04093777v1
    • [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.
      https://hal.science/hal-03865020v1

Books - books sections - directions of work or proceedings (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
      https://hal.science/hal-03536947v1

Other 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, .
      https://hal.science/hal-04556748v1
    • [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, .
      https://hal.science/hal-03827720v2
    • [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.
      https://hal.science/hal-03864899v1
Copyright : LS2N 2017 - Legal notices - 
 -