Publication de la collection HAL LS2N-VELO pour 2023
Nombre de publications retournées : 12Revues internationales avec comité de lecture (ART_INT)
- [1] I. Mouakher, F. Dhaou, J. Attiogbé. Validating and verifying LwM2M clients with event-B. In International Journal of Internet Protocol Technology ; éd. Inderscience, 2023, vol. 16, num. 2.https://hal.science/hal-04240195v1
- [2] M. Tebib, M. Graa, P. Andre, O. Aktouf. A Survey on Secure Android Apps Development Life-Cycle: Vulnerabilities and Tools. In International Journal On Advances in Security ; éd. IARIA, 2023, vol. 16, num. 1 & 2.https://hal.science/hal-04181107v1
- [3] G. Cantin, B. Delahaye, B. Funatsu. On the degradation of forest ecosystems by extreme events: Statistical Model Checking of a hybrid model. In Ecological Complexity. 02-04-2023https://hal.science/hal-04069502v1
- [4] J. Kaiser, D. Mcfarlane, G. Hawkridge, P. André, P. Leitão. A review of reference architectures for digital manufacturing: Classification, applicability and open issues. In Computers in Industry ; éd. Elsevier, 2023, vol. 149.https://nantes-universite.hal.science/hal-04085152v1
- [5] C. Attiogbé, J. Rocheteau. Correctness of IoT-based systems: From a DSL to a mechanised analysis. In Journal of Computer Languages ; éd. Elsevier, 2023, vol. 77.https://hal.science/hal-04240187v1
- [6] E. Desmontils, L. Monceaux. Enseigner SQL en NSI. In 11éme Conférence Environnements Informatiques pour l’Apprentissage Humain (EIAH 2023 ) -Atelier "Apprentissage de la pensée informatique de la maternelle à l'Université : mise à l'épreuve des dispositifs et outils", juin 2023, Brest, France.https://hal.science/hal-04108258v2
- [7] D. Kadidiatou, M. Oussalah, J. Konaté. Architectural evolution style representation model,. In ICSOFT 2023, 18th International Conference on Software Technologies, juillet 2023, Rome (Italia), Italie.https://hal.science/hal-04097386v1
- [8] H. Khelfat, M. Oussalah, C. Azzedine. ADM: An agile template for requirements documentation. In ICSOFT 2023, 18th International Conference on Software Technologies, juillet 2023, Rome (Italia), Italie.https://hal.science/hal-04097404v1
- [9] P. Andre, D. Tamzalit, A. Benjilany, H. Bruneliere. A Review of Core Operational Business-IT Alignment. In 31st International Conference on Information Systems Development (ISD 2023), août 2023, Lisbon, Portugal.https://hal.science/hal-04140806v1
- [10] I. Baheux, O. Aktouf, M. Tebib, M. Graa, P. Andre, Y. Ledru. DroidSecTester: Towards context-driven modelling and detection of Android application vulnerabilities. In 2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW), octobre 2023, Florence, France.https://hal.science/hal-04402402v1
- [11] F. Abdmeziem, S. Boukhedouma, M. Oussalah. Hybrid security approach for behavioural privacy of business processes in a Cloud environment. In 23rd International Conference on Computational Science and Its Applications,LNCS, juillet 2023, Athens, Grèce.In LNCS (éds.), . , 2023.https://hal.science/hal-04094501v1
- [12] E. Desmontils, L. Monceaux. Enseigner SQL en NSI. In Atelier « Apprendre la Pensée Informatique de la Maternelle à l'Université », dans le cadre de la conférence Environnements Informatiques pour l'Apprentissage Humain (EIAH), juin 2023, Brest, France.In Broisin, Julien (éds.), . , 2023.https://hal.science/hal-04144210v1