Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-AELOS  pour  2016

Nombre de publications retournées : 20


Récapitulatif du nombre de publications de la collection par types
ART_INT
COMM_INT
COMM_NAT
OUV
THESE
710111

Revues internationales avec comité de lecture (ART_INT)

    • [1] A. Kheir, H. Naja, M. Oussalah. Introducing a Multiview Software Architecture Process by Example. In European Journal of Computer Science and Information technology ; éd. EA-journals United Kingdom, 2016, vol. 4, num. 1.
      https://hal.archives-ouvertes.fr/hal-01684497
    • [3] L. Ait Oubelli, M. Oussalah. Design and Development of Business Rules Management System (BRMS) Using ATL and Eclipse Sirius. In International journal of computer science & information technology (IJCSIT). 2016
      https://hal.archives-ouvertes.fr/hal-01684442
    • [4] M. Abboud, H. Naja, M. Oussalah, M. Dbouk. SArEM: A SPEM extension for software architecture extraction process. In International Journal of Computer Systems Science & Engineering ; éd. CRL Publishing Ltd, 2016, vol. 8, num. 4.
      https://hal.archives-ouvertes.fr/hal-01684472
    • [5] M. Smatti, M. Oussalah, A. Mohamed. Supporting deviations on software processes : A literature overview, in Software technologies. In Communications in Computer and Information Science ; éd. Springer Verlag, 2016.
      https://hal.archives-ouvertes.fr/hal-01684563
    • [6] S. Boukhedouma, M. Oussalah, Z. Alimazighi. Restructuration and Interconnection for Adaptation and Evolution Support: the “Loosely Coupled” Architecture’. In International Journal of Information Systems and Change Management ; éd. Inderscience, 2016, vol. 8.
      https://hal.archives-ouvertes.fr/hal-01684449

Conférences internationales avec comité de lecture et actes (COMM_INT)

    • [8] A. Hassan, A. Queudet, M. Oussalah. Evolution style: framework for modeling dynamic evolution of real-time software architecture. In 10TH EUROPEAN CONFERENCE ON SOFTWARE ARCHITECTURE (ECSA 2016), 2016, Copenhague, Danemark.
      https://hal.archives-ouvertes.fr/hal-01685155
    • [9] A. Hassan, M. Oussalah. Meta-Evolution Style for Software Architecture Evolution. In SOFSEM 42th International Conference on Current Trends in Theory and Practice of Computer Science-LNCS, 2016, Harrachov, République tchèque.
      https://hal.archives-ouvertes.fr/hal-01685168
    • [10] G. Noureddine, M. Oussalah, A. Abdelkrim. Evolution taxonomy for software architecture evolution. In ENASE 11th Evaluation of Novel Approaches to Software Engineering, 2016, Rome, Italie.
      https://hal.archives-ouvertes.fr/hal-01685164
    • [11] G. Noureddine, M. Oussalah, A. Amirat. Towards a classification for software architecture evolution studies. In CAL (Conference sur les Architectures Logicielles), 2016, Besançon, France.
      https://hal.archives-ouvertes.fr/hal-01685175
    • [13] B. Delahaye, D. Lime, L. Petrucci. Parameter Synthesis for Parametric Interval Markov Chains. In 17th International Conference on Verification, Model Checking, and Abstract Interpretation, janvier 2016, Saint Petersburg, Forida, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01590884
    • [14] Y. Emzivat, B. Delahaye, D. Lime, O. Roux. Probabilistic Time Petri Nets. In 37th INTERNATIONAL CONFERENCE ON APPLICATIONS AND THEORY OF PETRI NETS AND CONCURRENCY, juin 2016, Torun, Pologne.
      https://hal.archives-ouvertes.fr/hal-01590900
    • [15] P. Andre, J. Mottu, G. Sunyé. COSTOTest: a tool for building and running test harness for service-based component models (demo). In ISSTA 2016 Proceedings of the 25th International Symposium on Software Testing and Analysis, juillet 2016, Saarbrücken, Allemagne.
      https://hal.archives-ouvertes.fr/hal-01436067
    • [16] C. Attiogbe. Mapping Component Models on Distributed Architectures: Correctness Checking. In 13th Workshop on Model-Driven Engineering, Verification and Validation co-located with MODELS-2016, octobre 2016, Saint-Malo, France.
      https://hal.archives-ouvertes.fr/hal-01686376
    • [17] E. André, B. Delahaye. Consistency in Parametric Interval Probabilistic Timed Automata. In 23rd International Symposium on Temporal Representation and Reasoning, octobre 2016, Copenhagen, Danemark.
      https://hal.archives-ouvertes.fr/hal-01590892

Conférences nationales avec comité de lecture et actes (COMM_NAT)

    • [18] M. Abboud, H. Naja, M. Oussalah, M. Dbouk. SArEM: Un méta-modèle pour la spécification des processus d'extraction d'architectures logicielles. In 16ème Journées Francophones Extraction et Gestion des Connaissances, EGC, 2016, Reims, France.
      https://hal.archives-ouvertes.fr/hal-01685172

Ouvrages - Chapitres d‘ouvrages et directions d‘ouvrages (OUV)

    • [19] T. Brihaye, B. Delahaye, L. Jezequel, N. Markey, J. Srba. Proceedings Cassting Workshop on Games for the Synthesis of Complex Systems and 3rd International Workshop on Synthesis of Complex Parameters. In Electronic Proceedings in Theoretical Computer Science ; éd. EPTCS, 2016, vol. 220. 31-07-2016
      https://hal.archives-ouvertes.fr/hal-02942556

Theses et HDR (THESE)

Copyright : LS2N 2017 - Mentions Légales - 
 -