Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-AELOS  pour  2017

Nombre de publications retournées : 21


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

Revues internationales avec comité de lecture (ART_INT)

    • [1] M. Gherari, A. Amirat, M. Oussalah. A smart mobile cloud environment for modelling and simulation of mobile cloud applications. In International Journal of Embedded Systems ; éd. Inderscience, 2017.
      https://hal.archives-ouvertes.fr/hal-01670676
    • [2] S. Boukhedouma, Z. Alimazighi, M. Oussalah. Adaptation and Evolution Frameworks for Service Based Inter-Organizational Workflows. In International Journal of E-Business Research. 2017
      https://hal.archives-ouvertes.fr/hal-01684409

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

    • [4] A. Hakim, A. Abdelkrim, M. Oussalah. Towards a dynamic reconfiguration approach of Internet of Things systems. In International Conference on Internet of Things, Data and Cloud Computing, ACM - International Conference Proceedings Series, 2017, Cambridge, Royaume-Uni.
      https://hal.archives-ouvertes.fr/hal-01684584
    • [5] M. Abboud, H. Naja, M. Oussalah, M. Dbouk. KDD Extension Tool for Software Architecture Extraction. In 15th IEEE International Conference on Software Engineering Research and Practice, 2017, Las Vegas, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01684572
    • [6] M. Abboud, H. Naja, M. Oussalah, M. Dbouk. Towards Using KDD for an Interactive Software Architecture Extraction. In 18th IEEE International Conference on Information Reuse and Integration,. IRI 2017:, 2017, San Diego, états-Unis.
      https://hal.archives-ouvertes.fr/hal-01688096
    • [8] P. Andre, C. Attiogbe, J. Mottu. Combining Techniques to Verify Service-based Components. In MODELSWARD 2017 - 5th International Conference on Model-Driven Engineering and Software Development, février 2017, Porto, Portugal.
      https://hal.archives-ouvertes.fr/hal-01628303
    • [10] F. Dhaou, I. Mouakher, C. Attiogbé, K. Bsaïes. A Causal Semantics for UML2.0 Sequence Diagrams with Nested Combined Fragments. In 12th International Conference on Evaluation of Novel Approaches to Software Engineering, avril 2017, Porto, France.
      https://hal.archives-ouvertes.fr/hal-01686265
    • [11] M. Albonico, S. Alesio, J. Mottu, S. Sen, G. Sunyé. Generating Test Sequences to Assess the Performance of Elastic Cloud-based Systems. In CLOUD 2017 : 10th IEEE International Conference on Cloud Computing, juin 2017, Honolulu, états-Unis.
      https://hal.inria.fr/hal-01526275
    • [12] N. David, C. Jard, D. Lime, O. Roux. Coverability Synthesis in Parametric Petri Nets. In 28th International Conference on Concurrency Theory (CONCUR 2017), septembre 2017, Berlin, Allemagne.
      https://hal.archives-ouvertes.fr/hal-01724302
    • [13] A. Bart, B. Delahaye, D. Lime, E. Monfroy, C. Truchet. Reachability in Parametric Interval Markov Chains Using Constraints. In 14th International Conference on Quantitative Evaluation of SysTems, septembre 2017, Berlin, Allemagne.
      https://hal.archives-ouvertes.fr/hal-01591036
    • [14] P. Andre, O. Cardin. Trusted Services for Cyber Manufacturing Systems. In SOHOMA’17 Workshop on Service Orientation in Holonic and Multi-Agent Manufacturing, octobre 2017, Nantes, France.
      https://hal.archives-ouvertes.fr/hal-01690903

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

    • [16] A. Bart, B. Delahaye, E. Monfroy, C. Truchet. Vérification de chaînes de Markov à intervalles paramétrés avec des contraintes. In Treizièmes journées Francophones de Programmation par Contraintes, juin 2017, Montreuil sur Mer, France.
      https://hal.archives-ouvertes.fr/hal-01555755
    • [17] P. Andre, G. Ardourel, J. Mottu, G. Sunyé. Un outil d'assistance à la construction de tests de modèles à composants et services. In 16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, juin 2017, Montpellier, France.
      https://hal.archives-ouvertes.fr/hal-01628306
    • [18] M. Aouadhi, B. Delahaye, A. Lanoix. Une extension probabiliste pour Event-B. In 16èmes journées AFADL Approches Formelles dans l'Assistance au Développement de Logiciels, juin 2017, Montpellier, France.
      https://hal.archives-ouvertes.fr/hal-01685126

Theses et HDR (THESE)

Copyright : LS2N 2017 - Mentions Légales - 
 -