Home » Team publications


Publications  for  the  collection  HAL LS2N-VELO  for  2023

Total of the publications found : 12

Overview of LS2N-VELO publications by types
ART_INT
COMM_INT
COMM_NAT
561

International journals with reviewing committee (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-2023
      https://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

International conferences with reviewing committee (COMM_INT)

    • [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

National conferences with reviewing committee (COMM_NAT)

    • [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
Copyright : LS2N 2017 - Legal notices - 
 -