Publication de la collection HAL LS2N-ATLANMODELS pour 2017
Nombre de publications retournées : 19Revues internationales avec comité de lecture (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
- [3] S. Martínez, M. Tisi, R. Douence. Reactive Model Transformation with ATL. In Science of Computer Programming ; éd. Elsevier, 2017, vol. 136.https://inria.hal.science/hal-01627991v1
- [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
- [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
- [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
- [19] M. Albonico. Controlling Cloud-Based Systems for Elasticity Testing. Thèses : Ecole nationale supérieure Mines-Télécom Atlantique. https://theses.hal.science/tel-01597829v1