Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-AELOS  pour  2019

Nombre de publications retournées : 18

Récapitulatif du nombre de publications de la collection par types
ART_INT
COMM_INT
OUV
AUTRES
5931

Revues internationales avec comité de lecture (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.
      https://hal.science/hal-01973735v1
    • [2] M. Aouadhi, B. Delahaye, A. Lanoix. Introducing Probabilistic Reasoning within Event-B. In Software and Systems Modeling ; éd. Springer Verlag, 2019.
      https://hal.science/hal-01610778v1
    • [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.
      https://hal.science/hal-01973773v1
    • [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, vol. 17, num. 1.
      https://hal.science/hal-02468473v1
    • [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.
      https://hal.science/hal-02075980v1

Conférences internationales avec comité de lecture et actes (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.
      https://hal.science/hal-02129161v1
    • [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.
      https://hal.science/hal-01961497v1
    • [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.
      https://hal.science/hal-02468440v1
    • [9] A. Bah, P. Andre, 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.
      https://hal.science/hal-02468264v1
    • [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.
      https://hal.science/hal-02434955v1
    • [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.
      https://hal.science/hal-02431942v1
    • [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.
      https://hal.science/hal-02432687v1
    • [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.
      https://hal.science/hal-02419697v1
    • [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.
      https://inria.hal.science/hal-02313737v1

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (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
      https://hal.science/hal-02090263v1
    • [16] A. Hakim, A. Amirat, M. Oussalah. On dynamically reconfiguring IoT architectures. In Novel Approaches to Information Systems Design. 2019
      https://hal.science/hal-02307463v1
    • [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.
      https://hal.science/hal-02382463v1

Autres publications (AUTRES)

    • [18] A. Bah, P. André, C. Attiogbé, J. Konaté. Federated Access Control in Service Oriented Architecture. Rapport technique, 2019 ; LS2N, Université de Nantes.
      https://hal.science/hal-02103825v1
Copyright : LS2N 2017 - Mentions Légales - 
 -