Publication de la collection HAL LS2N-NAOMOD pour 2017
Nombre de publications retournées : 26Revues internationales avec comité de lecture (ART_INT)
- [1] B. Khadidja, B. Djamel, H. Khaled Walid, D. Tamzalit. HACS: A Hybrid Framework for Continuous Flexible and Controlled Architecting. In Acta Informatica Pragensia, vol. 6, num. 2. 2017https://hal.science/hal-01873954v1
- [2] 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
- [3] 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] 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
- [5] 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
- [6] 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
- [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] M. Costa, D. Tamzalit. Recommendation patterns for business process imperative modeling. In the Symposium, avril 2017, Marrakech, France.https://hal.science/hal-01873941v1
- [10] J. Gouigoux, D. Tamzalit. From Monolith to Microservices: Lessons Learned on an Industrial Migration to a Web Oriented Architecture. In 2017 IEEE International Conference on Software Architecture Workshops (ICSAW), avril 2017, Gothenburg, France.https://hal.science/hal-01873948v1
- [11] 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
- [12] 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
- [13] 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
- [14] 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
- [15] F. Alvares, G. Delaval, E. Rutten, L. Seinturier. Language Support for Modular Autonomic Managers in Reconfigurable Software Components. In SeAC 2017 - 2nd Workshop on Self-Aware Computing @ ICAC’17, juillet 2017, Colombus, états-Unis.https://inria.hal.science/hal-01575353v1
- [16] T. Béziers La Fosse, M. Tisi, J. Mottu. Injecting Execution Traces into a Model-Driven Framework for Program Analysis. In Workshop on Scalability in Model Driven Engineering (BigMDE'17), juillet 2017, Marburg, France.https://hal.science/hal-01689968v1
- [17] N. Berthier, F. Alvares, H. Marchand, G. Delaval, E. Rutten. Logico-numerical Control for Software Components Reconfiguration. In CCTA 2017 - IEEE Conference on Control Technology and Applications, août 2017, Mauna Lani, HI, états-Unis.https://inria.hal.science/hal-01644754v1
- [18] 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
- [19] M. Barkowski, M. Schneider, H. Giese, J. Dyck, D. Tamzalit, D. Blouin, E. Borde, J. Noppen. A Semi-Automated Approach for the Co-Refinement of Requirements and Architecture Models. In 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), septembre 2017, Lisbon, France.https://hal.science/hal-01873945v1
- [20] 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
- [21] 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
- [22] 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
- [23] W. Benghabrit, J. Royer, A. de Oliveira. Towards the Specification of Natural Language Accountability Policies with AccLab: The Laptop Policy Use Case. In PRIMA 2017 The 20th International Conference on Principles and Practice of Multi-Agent Systems CARe-MAS workshop, octobre 2017, Nice, France.https://hal.science/hal-01648976v1
- [24] 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
- [25] 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
- [26] G. Daniel. Efficient persistence, query, and transformation of large models. Thèses : Ecole nationale supérieure Mines-Télécom Atlantique. https://theses.hal.science/tel-01668561v1