Home » Team publications

Publications  for  the  collection  HAL LS2N-AELOS  for  2019

Total of the publications found : 18

Overview of LS2N-AELOS publications by types

International journals with reviewing committee (ART_INT)

    • [1] K. Kessi, M. Oussalah, Z. Alimazighi. An approach oriented viewpoints for cooperative information system eliciting requirements. In International Journal of Intelligent Information and Database Systems ; éd. Inderscience, 2019, vol. vol 12, num. 3.
    • [3] N. Gasmallah, M. Oussalah, A. Amirat. Developing an Evolution Software Architecture Framework Based on Six Dimensions. In International Journal of Simulation and Process Modelling ; éd. Inderscience, 2019, vol. vol 14, num. 4.
    • [4] P. Andre, C. Attiogbé, A. Lanoix. A tool-assisted method for the systematic construction of critical embedded systems using Event-B. In Computer Science and Information Systems ; éd. ComSIS Consortium, 2019, num. 00.
    • [5] D. Sferruzza, J. Rocheteau, C. Attiogbé, A. Lanoix. A Model-Driven Method for Fast Building Consistent Web Services from OpenAPI-Compatible Models. In Model-Driven Engineering and Software Development ; éd. Springer, 2019.

International conferences with reviewing committee (COMM_INT)

    • [6] D. Antakly, B. Delahaye, P. Leray. Graphical event model learning and verification for security assessment. In 32th International Conference on Industrial, Engineering, Other Applications of Applied Intelligent Systems (IEA/AIE 2019), 2019, Graz, Autriche.
    • [7] . André, B. Delahaye, P. Fournier, D. Lime. Parametric Timed Broadcast Protocols. In 20th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2019), janvier 2019, Lisboa, Portugal.
    • [8] P. Andre. Case Studies in Model-Driven Reverse Engineering. In 7th International Conference on Model-Driven Engineering and Software Development, février 2019, Prague, République tchèque.
    • [9] A. Bah, P. André, C. Attiogbé, J. Konaté. Federation of Services from Autonomous Domains with Heterogeneous Access Control Models. In 18th International Information Security for South Africa Conference, août 2019, Johanesbourg, Afrique du Sud.
    • [10] J. Mottu, P. Andre, M. Coutant, T. Le Berre. Shall We Test Service-Based Models or Generated Code?. In 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C), septembre 2019, Munich, Allemagne.
    • [11] P. Andre, Y. Le Bars. Conception assistée de contrôleurs d'automates depuis des modèles UML. In MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, novembre 2019, Angers, France.
    • [12] R. Bao, C. Attiogbe, P. Fournier, D. Lime. Model checking paramétrique statistique du plan de vol de drone civil. In MSR 2019 - 12ème Colloque sur la Modélisation des Systèmes Réactifs, Nov 2019, Angers, France, novembre 2019, Angers, France.
    • [13] H. Khemissa, M. Oussalah. Quality Model to the Adaptive Guidance. In 6th International Conference on Computer Science, Engineering and Information Technology,, novembre 2019, Zurich, Suisse.
    • [14] R. Bao, C. Attiogbe, B. Delahaye, P. Fournier, D. Lime. Parametric Statistical Model Checking of UAV Flight Plan. In 39th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE), juin 2019, Copenhagen, Danemark.In Jorge A. Pérez (éds.), . Springer International Publishing, 2019.

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

    • [15] P. Andre, J. Pepin, C. Attiogbé, E. Breton. Definition and Visualization of Virtual Meta-model Extensions with a Facet Framework. In Model-Driven Engineering and Software Development - 6th International Conference, {MODELSWARD} 2018, Funchal, Madeira, Portugal, January 22-24, 2018, Revised Selected Papers. 01-02-2019
    • [17] P. Andre, F. Azzi, O. Cardin. Heterogeneous Communication Middleware for Digital Twin Based Cyber Manufacturing Systems. In 9th Workshop on Service Oriented, Holonic and Multi-agent Manufacturing Systems for Industry of the Future, octobre 2019, Valencia, Espagne.

Other publications (AUTRES)

Copyright : LS2N 2017 - Legal notices -