Home » Team publications


Publications  for  the  collection  HAL LS2N-ATLANMODELS  for  2017

Total of the publications found : 19

Overview of LS2N-ATLANMODELS publications by types
ART_INT
COMM_INT
COMM_NAT
THESE
61111

International journals with reviewing committee (ART_INT)

    • [1] K. Corre, S. Bécot, O. Barais, G. Sunyé. A WebRTC Extension to Allow Identity Negotiation at Runtime. In Lecture Notes in Computer Science ; éd. Springer, 2017, vol. 10360.
      https://hal.science/hal-01611057v1
    • [2] K. Corre, O. Barais, G. Sunyé, V. Frey, J. Crom. Why can’t users choose their identity providers on the web?. In Proceedings on Privacy Enhancing Technologies ; éd. Privacy Enhancing Technologies Symposium, 2017, vol. 2017, num. 3.
      https://hal.science/hal-01611048v1
    • [4] G. Ursin, S. Sen, J. Mottu, M. Nygård. Protecting Privacy in Large Datasets—First We Assess the Risk; Then We Fuzzy the Data. In Cancer Epidemiology, Biomarkers and Prevention ; éd. American Association for Cancer Research, 2017, vol. 26, num. 8.
      https://hal.science/hal-01628223v1
    • [5] G. Daniel, G. Sunyé, A. Benelallam, M. Tisi, Y. Vernageau, A. Gomez, J. Cabot. NeoEMF: A Multi-database Model Persistence Framework for Very Large Models. In Science of Computer Programming ; éd. Elsevier, 2017.
      https://hal.science/hal-01589588v1
    • [6] S. Martínez, V. Cosentino, J. Cabot. Model-based analysis of Java EE web security misconfigurations. In Computer Languages, Systems and Structures ; éd. Elsevier, 2017, vol. 49, num. SI.
      https://cea.hal.science/cea-01803832v1

International conferences with reviewing committee (COMM_INT)

    • [7] 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-01628303v1
    • [8] Z. Cheng, M. Tisi. Incremental Deductive Verification for Relational Model Transformations. In ICST 2017 : 10th IEEE International Conference on Software Testing, Verification and Validation, mars 2017, Tokyo, Japon.
      https://hal.science/hal-01435974v1
    • [9] Z. Cheng, M. Tisi. A Deductive Approach for Fault Localization in ATL Model Transformations. In FASE 2017 : 20th International Conference on Fundamental Approaches to Software Engineering, avril 2017, Uppsala, Suède.
      https://hal.science/hal-01435977v1
    • [10] M. Albonico, J. Mottu, G. Sunyé, F. Alvares. Making Cloud-based Systems Elasticity Testing Reproducible. In 7th International Conference on Cloud Computing and Services Science, avril 2017, Porto, Portugal.
      https://inria.hal.science/hal-01471916v2
    • [11] H. Bruneliere, S. Mazzini, A. Sadovykh. The MegaM@Rt2 Approach and Tool Set. In DeCPS Workshop, 22nd International Conference on Reliable Software Technologies - Ada-Europe 2017, juin 2017, Vienna, Autriche.
      https://inria.hal.science/hal-01627646v1
    • [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-01526275v1
    • [13] W. Afzal, H. Bruneliere, D. Di Ruscio, A. Sadovykh, S. Mazzini, E. Cariou, D. Truscan, J. Cabot, D. Field, L. Pomante, P. Smrz. The MegaM@Rt2 ECSEL Project – MegaModelling at Runtime – Scalable Model-based Framework for Continuous Development and Runtime Validation of Complex Systems. In European Projects in Digital Systems Design (EPDSD) - Euromicro DSD/SEAA 2017, août 2017, Vienna, Autriche.
      https://inria.hal.science/hal-01557430v1
    • [14] S. Hidaka, F. Jouault, M. Tisi. On Additivity in Transformation Languages. In MODELS 2017 - ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, septembre 2017, Austin, Texas, états-Unis.
      https://hal.science/hal-01566259v1
    • [15] A. Ferdjoukh, F. Galinier, E. Bourreau, A. Chateau, C. Nebut. Measuring Differences To Compare Sets Of Models And Improve Diversity In MDE. In ICSEA: International Conference on Software Engineering Advances, octobre 2017, Athenes, Grèce.
      https://nantes-universite.hal.science/hal-01586827v1
    • [16] G. Daniel, F. Jouault, G. Sunyé, J. Cabot. Gremlin-ATL: A Scalable Model Transformation Framework. In ASE2017 : 32nd IEEE/ACM International Conference on Automated Software Engineering, octobre 2017, Urbana-Champaign, états-Unis.
      https://hal.science/hal-01589582v1
    • [17] G. Sunyé. Model Consistency for Distributed Collaborative Modeling. In ECMFA 2017 - 13th European Conference on Modelling Foundations and Applications, juillet 2017, Marburg, Allemagne.In Anthony Anjorin (éds.), . Springer, 2017.
      https://hal.science/hal-01629475v1

National conferences with reviewing committee (COMM_NAT)

    • [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-01628306v1

PhD Thesis (THESE)

Copyright : LS2N 2017 - Legal notices - 
 -