Home » Team publications

Publications  for  the  collection  HAL LS2N-VELO  for  2022

Total of the publications found : 8

Overview of LS2N-VELO publications by types

International journals with reviewing committee (ART_INT)

    • [1] 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.
    • [2] 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 & Heterogeneous Media ; éd. American Institute of Mathematical Sciences, 2022, vol. 17, num. 3.
    • [3] P. André, O. Cardin. Aggregation Patterns in Holonic Manufacturing Systems. In Studies in Computational Intelligence ; éd. Springer Verlag, 2022, vol. 1034.

International conferences with reviewing committee (COMM_INT)

    • [5] 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.
    • [6] M. Tebib, M. Graa, O. Aktouf, P. Andre. 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.

Books - books sections - directions of work or proceedings (OUV)

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

Other publications (AUTRES)

    • [8] 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 - Legal notices -