Home » Publications Equipe


Publication  de  la  collection  HAL LS2N-AELOS  pour  2017

Nombre de publications retournées : 22

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

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.science/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.science/hal-01684409
    • [3] B. Delahaye, D. Eveillard, N. Bouskill. On the Power of Uncertainties in Microbial System Modeling: No Need To Hide Them Anymore. In mSystems, vol. 2, num. 6. 05-12-2017
      https://hal.science/hal-01658218
    • [4] A. Mostefaoui, M. Petrolia, M. Raynal, C. Jard. Atomic Read/Write Memory in Signature-Free Byzantine Asynchronous Message-Passing Systems. In Proc. of the 15th Int. Conf. on Parallel Computing Technologies (PaCT 2019), 2019, Almaty, France.In Theory of Computing Systems ; éd. Springer Verlag, 2017.
      https://inria.hal.science/hal-01661008

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

    • [5] 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.science/hal-01684584
    • [6] 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.science/hal-01684572
    • [7] 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.science/hal-01688096
    • [8] M. Abboud, H. Naja, M. Oussalah. Adapting KNIME, a KDD tool, for software architecture extraction. In 23th LAAS International Science Conference, 2017, Beirut, Liban.
      https://hal.science/hal-01684594
    • [9] 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.science/hal-01628303
    • [10] M. Aouadhi, B. Delahaye, A. Lanoix. Moving from Event-B to Probabilistic Event-B. In 32nd ACM SIGAPP Symposium On Applied Computing, avril 2017, Marrakech, Maroc.
      https://hal.science/hal-01590903
    • [11] 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.science/hal-01686265
    • [12] 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://inria.hal.science/hal-01526275
    • [13] 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.science/hal-01724302
    • [14] 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.science/hal-01591036
    • [15] 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.science/hal-01690903
    • [16] C. Attiogbé. Mastering Heterogeneous Behavioural Models. In Model and Data Engineering - 7th International Conference, (MEDI'2017), octobre 2017, Barcelona, Espagne.
      https://hal.science/hal-01686306

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

    • [17] 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.science/hal-01555755
    • [18] 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.science/hal-01628306
    • [19] 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.science/hal-01685126

Theses et HDR (THESE)

    • [20] M. Aouadhi. Introduction de raisonnement probabiliste dans la méthode B événementiel. Thèses : Université de Nantes.
      https://hal.science/tel-02891799
Copyright : LS2N 2017 - Mentions Légales - 
 -