Home » Team publications


Publications  for  the  collection  HAL LS2N-AELOS  for  2016

Total of the publications found : 20

Overview of LS2N-AELOS publications by types
ART_INT
COMM_INT
COMM_NAT
THESE
AUTRES
710111

International journals with reviewing committee (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.science/hal-01684497v1
    • [2] H. Khemissa, M. Oussalah. Adaptive Configuration Meta-Model of a Guidance Process. In International Journal of Computer Science and Information Technology ; éd. AIRCC Publishing Corporation, 2016.
      https://hal.science/hal-01684425v1
    • [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 and Information Technology ; éd. AIRCC Publishing Corporation, 2016.
      https://hal.science/hal-01684442v1
    • [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.science/hal-01684472v1
    • [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.science/hal-01684563v1
    • [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.science/hal-01684449v1
    • [7] J. Pepin, P. Andre, C. Attiogbé, E. Breton. An Improved Model Facet Method to Support EA Alignment. In Complex Systems Informatics and Modeling Quarterly ; éd. Royal Institute of Technology, 2016, num. 9.
      https://hal.science/hal-01686322v1

International conferences with reviewing committee (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.science/hal-01685155v1
    • [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.science/hal-01685168v1
    • [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.science/hal-01685164v1
    • [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.science/hal-01685175v1
    • [12] S. Boukhedouma, M. Oussalah, Z. Alimazighi. Evolution of Inter-OrganizationalWorkflows: The Case-Transfer Pattern. In 4th IEEE CIST, 2016, Tanger, Maroc.
      https://hal.science/hal-01685159v1
    • [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.science/hal-01590884v1
    • [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.science/hal-01590900v1
    • [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.science/hal-01436067v1
    • [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.science/hal-01686376v1
    • [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.science/hal-01590892v1

National conferences with reviewing committee (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.science/hal-01685172v1

PhD Thesis (THESE)

    • [19] J. Pepin. Architecture d'entreprise : alignement des cartographies métiers et applicatives du système d'information. Thèses : Université de Nantes (Unam).
      https://hal.science/tel-01763202v1

Other publications (AUTRES)

    • [20] 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.
      https://hal.science/hal-02942556v1
Copyright : LS2N 2017 - Legal notices - 
 -