Publications for the collection HAL LS2N-AELOS for 2020
Total of the publications found : 10International journals with reviewing committee (ART_INT)
- [1] A. Bah, P. André, C. Attiogbé, J. Konate. Service Promotion in a Federation of Security Domains. In Revue Africaine de Recherche en Informatique et Mathématiques Appliquées ; éd. African Society in Digital Science, 2020, vol. 34, num. Spécial CARI 2020-2021.https://hal.science/hal-02909605v2
- [2] A. Hakim, A. Amirat, M. Oussalah. Non-Intrusive Contextual Dynamic Reconfiguration of Ambient Intelligent IoT Systems. In Journal of Ambient Intelligence and Humanized Computing ; éd. Springer, 2020, vol. 11.https://hal.science/hal-01973808v1
- [3] Ã. André, B. Delahaye, P. Fournier. Consistency in Parametric Interval Probabilistic Timed Automata. In Journal of Logical and Algebraic Methods in Programming ; éd. Elsevier, 2020.https://hal.science/hal-02154775v1
- [4] D. Kadidiatou, M. Oussalah, J. Konate. Modelling and Planning Evolution Styles in Software Architecture. In Modelling ; éd. MDPI, 2020, vol. 1, num. 1.https://hal.science/hal-02941612v1
- [5] S. Ramondenc, D. Eveillard, L. Guidi, F. Lombard, B. Delahaye. Probabilistic modeling to estimate jellyfish ecophysiological properties and size distributions. In Scientific Reports ; éd. Nature Publishing Group, 2020, vol. 10, num. 1.https://hal.science/hal-02539195v1
- [6] P. Andre, M. Tebib. Refining Automation System Control with MDE. In 8th International Conference on Model-Driven Engineering and Software Development, février 2020, Valletta, Malte.https://hal.science/hal-02940826v1
- [7] D. Kadidiatou, M. Oussalah, J. Konate. Evolution style Mining in software architecture. In 15th ENASE (Evaluation of Novel Approaches to Software Engineering), springer ed, mai 2020, Prague, Slovaquie.https://hal.science/hal-02477641v1
- [8] B. Delahaye. Modeling and Verification of Systems with Uncertainties. https://hal.science/tel-03636882v1
- [9] R. Bao. Modélisation formelle de systèmes de drones civils à l'aide de méthodes probabilistes paramétrées. Thèses : Université de Nantes. https://hal.science/tel-02890410v1
- [10] D. Antakly. Machine Learning and Statistical Verification for Security. Thèses : Université de Nantes (UN), FRA.. https://hal.science/tel-02891862v1