Publication de la collection HAL LS2N-AELOS pour 2020
Nombre de publications retournées : 10Revues internationales avec comité de lecture (ART_INT)
- [1] 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-01973808
- [2] Ã. 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-02154775
- [3] 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-02941612
- [4] 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-02539195
- [5] 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-02940826
- [6] 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-02477641
- [7] A. Bah, P. André, C. Attiogbé, J. Konate. Service Promotion in a Federation of Security Domains. In Colloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées, octobre 2020, Thiès, Sénégal.https://hal.science/hal-02909605
- [8] B. Delahaye. Modeling and Verification of Systems with Uncertainties. https://hal.science/tel-03636882
- [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-02890410
- [10] D. Antakly. Machine Learning and Statistical Verification for Security. Thèses : Université de Nantes (UN), FRA.. https://hal.science/tel-02891862