Publications for the collection HAL LS2N-VELO for 2022
Total of the publications found : 15International journals with reviewing committee (ART_INT)
- [1] A. Menasria, M. Oussalah, A. Abdelkrim, H. Bahi. Software Connector as Software Process. In International Journal of Simulation and Process Modelling ; éd. Inderscience, 2022, vol. Vol. 16.https://nantes-universite.hal.science/hal-03361036v1
- [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
- [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
- [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
- [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