Sites Inria

Version française

DIVERSE Research team

DIVERSE team publications

2019

Journal articles

titre
A Snowballing Literature Study on Test Amplification
auteur
Benjamin Danglot, Oscar Vera-Pérez, Zhongxing Yu, Andy Zaidman, Martin Monperrus, Benoit Baudry
article
Journal of Systems and Software, Elsevier, 2019, 157, pp.1-16. ⟨10.1016/j.jss.2019.110398⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02290742/file/1705.10692.pdf BibTex
titre
Empirical Assessment of Multimorphic Testing
auteur
Paul Temple, Mathieu Acher, Jean-Marc Jézéquel
article
IEEE Transactions on Software Engineering, Institute of Electrical and Electronics Engineers, In press, pp.1-21. ⟨10.1109/TSE.2019.2926971⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02177158/file/Leveraging_performance_variations_with_Multimorphic_Testing-TempleAcherJezequel-TSE.pdf BibTex
titre
A Unifying Framework for Homogeneous Model Composition
auteur
Jörg Kienzle, Gunter Mussbacher, Benoit Combemale, Julien Deantoni
article
Software and Systems Modeling, Springer Verlag, 2019, pp.1-19. ⟨10.1007/s10270-018-00707-8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01949050/file/sosym-unifiedcompositionframework.pdf BibTex
titre
Comparing and Classifying Model Transformation Reuse Approaches across Metamodels
auteur
Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jézéquel, Jörg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe
article
Software and Systems Modeling, Springer Verlag, 2019, pp.1-22
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02317864/file/MTReuse%20%281%29.pdf BibTex
titre
An Empirical Study on the Impact of Inconsistency Feedback during Model and Code Co-changing.
auteur
Georgios Kanakis, Djamel Eddine Khelladi, Stefan Fischer, Michael Tröls, Alexander Egyed
article
The Journal of Object Technology, Chair of Software Engineering, 2019, 18 (2), pp.10:1. ⟨10.5381/jot.2019.18.2.a10⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02192486/file/article10.pdf BibTex
titre
Investigating Machine Learning Algorithms for Modeling SSD I/O Performance for Container-based Virtualization
auteur
Jean-Emile Dartois, Jalil Boukhobza, Anas Knefati, Olivier Barais
article
IEEE transactions on cloud computing, IEEE, 2019, 14, pp.1-14. ⟨10.1109/TCC.2019.2898192⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02013421/file/Investigating_Machine_Learning_Algorithms_for_Modeling_SSD_I_O_Performance_for_Container_based_Virtualization.pdf BibTex
titre
Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects
auteur
Benjamin Danglot, Oscar Vera-Pérez, Benoit Baudry, Martin Monperrus
article
Empirical Software Engineering, Springer Verlag, 2019, pp.1-35. ⟨10.1007/s10664-019-09692-y⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01923575/file/_EmSE18__Automatic_Test_Improvement_with_DSpot__a_Study_with_Ten_Mature_Open_Source_Projects.pdf BibTex
titre
Modeling Languages in Industry 4.0: An Extended Systematic Mapping Study
auteur
Andreas Wortmann, Olivier Barais, Benoit Combemale, Manuel Wimmer
article
Software and Systems Modeling, Springer Verlag, 2019, pp.1-28. ⟨10.1007/s10270-019-00757-6⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02282028/file/main.pdf BibTex
titre
Applying Model-Driven Engineering to High-Performance Computing: Experience Report, Lessons Learned, and Remaining Challenges
auteur
Benoît Lelandais, Marie-Pierre Oudot, Benoit Combemale
article
Computer Languages, Systems and Structures, Elsevier, 2019, pp.1-19
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02296030/file/cola19-mde4hpc.pdf BibTex
titre
Towards Model-Driven Sustainability Evaluation
auteur
Jörg Kienzle, Gunter Mussbacher, Benoit Combemale, Lucy Bastin, Nelly Bencomo, Jean-Michel Bruel, Christoph Becker, Stefanie Betz, Ruzanna Chitchyan, Betty Cheng, Sonja Klingert, Richard Paige, Birgit Penzenstadler, Norbert Seyff, Eugene Syriani, Colin Venters
article
Communications of the ACM, ACM, 2019, pp.1-10
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02146543/file/Towards_Model_Driven_Sustainability_Evaluation.pdf BibTex

Conference papers

titre
A Collaborative Strategy for mitigating Tracking through Browser Fingerprinting
auteur
Alejandro Gómez-Boix, Davide Frey, Yérom-David Bromberg, Benoit Baudry
article
MTD 2019 - 6th ACM Workshop on Moving Target Defense, Nov 2019, London, United Kingdom. pp.1-12, ⟨10.1145/3338468.3356828⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02282591/file/main.pdf BibTex
titre
Tracking Application Fingerprint in a Trustless Cloud Environment for Sabotage Detection
auteur
Jean-Emile Dartois, Jalil Boukhobza, Vincent Francoise, Olivier Barais
article
MASCOTS 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Oct 2019, Rennes, France. pp.74-82, ⟨10.1109/MASCOTS.2019.00018⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02303153/file/MASCOTS_2019.pdf BibTex
titre
Benefits of Energy Management Systems on local energy efficiency, an agricultural case study
auteur
Alexandre Rio, Yoann Maurel, Yoran Bugni, Olivier Barais
article
IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids, Oct 2019, Beijing, China
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02315327/file/main.pdf BibTex
titre
From DSL Specification to Interactive Computer Programming Environment
auteur
Pierre Jeanjean, Benoit Combemale, Olivier Barais
article
SLE2019 - 12th International Conference on Software Language Engineering, Oct 2019, Athènes, Greece. pp.1-12, ⟨10.1145/3357766.3359540⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02307953/file/main.pdf BibTex
titre
Bringing Intelligence to Sociotechnical IoT Systems: Modeling Opportunities and Challenges
auteur
Benoit Combemale
article
MDE4IoT 2019 - 3nd International Workshop on Model-Driven Engineering for the Internet-of-Things, Sep 2019, Munich, Germany. pp.1-2
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02285737/file/MDE4IoT19.pdf BibTex
titre
Machine Learning and Configurable Systems: A Gentle Introduction
auteur
Hugo Martin, Juliana Pereira, Paul Temple, Mathieu Acher
article
SPLC 2019 - 23rd International Systems and Software Product Line Conference, Sep 2019, Paris, France. pp.83-88, ⟨10.1145/3336294.3342383⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02287459/file/SPLC_Tuto_ML_config_systems%20%284%29.pdf BibTex
titre
Seventh international workshop on reverse variability engineering (REVE 2019)
auteur
Mathieu Acher, Tewfik Ziadi, Roberto Lopez-Herrejon, Jabier Martinez
article
SPLC 2019 - 23rd International Systems and Software Product Line Conference, Sep 2019, Paris, France. pp.1
Accès au bibtex
BibTex
titre
Towards Quality Assurance of Software Product Lines with Adversarial Configurations
auteur
Paul Temple, Mathieu Acher, Gilles Perrouin, Battista Biggio, Jean-Marc Jézéquel, Fabio Roli
article
SPLC 2019 - 23rd International Systems and Software Product Line Conference, Sep 2019, Paris, France. pp.277-288, ⟨10.1145/3336294.3336309⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02287616/file/Adversarial_Constraints_for_Variability_Models_SPLC2019%20%286%29.pdf BibTex
titre
Discovering Indicators for Classifying Wikipedia Articles in a Domain: A Case Study on Software Languages
auteur
Marcel Heinz, Ralf Lämmel, Mathieu Acher
article
SEKE 2019 - The 31st International Conference on Software Engineering and Knowledge Engineering, Jul 2019, Lisbonne, Portugal. pp.1-6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02129131/file/Discovering_Indicators_for_Classifying_Wikipedia_Articles_in_a_Domain_subtitle_A_Case_Study_on_Software_Languages%20%2812%29.pdf BibTex
titre
Cuckoo: Opportunistic MapReduce on Ephemeral and Heterogeneous Cloud Resources
auteur
Jean-Emile Dartois, Heverson Ribeiro, Jalil Boukhobza, Olivier Barais
article
CLOUD 2019 - IEEE 12th International Conference on Cloud Computing, Jul 2019, Milan, Italy. pp.1-8, ⟨10.1109/CLOUD.2019.00070⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02179453/file/cuckoo.pdf BibTex
titre
Comparison Matrices of Semantic RESTful APIs Technologies
auteur
Antoine Cheron, Johann Bourcier, Olivier Barais, Antoine Michel
article
ICWE 2019 - 19th International Conference On Web Engineering, Jun 2019, Daejeon, South Korea. pp.425-440, ⟨10.1007/978-3-030-19274-7_30⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02114296/file/Comparison_Matrices_of_Semantic_REST_APIs_Technologies.pdf BibTex
titre
The Maven Dependency Graph: a Temporal Graph-based Representation of Maven Central
auteur
Amine Benelallam, Nicolas Harrand, César Soto-Valero, Benoit Baudry, Olivier Barais
article
MSR 2019 - 16th International Conference on Mining Software Repositories, May 2019, Montreal, Canada. pp.344-348, ⟨10.1109/MSR.2019.00060⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02080243/file/MSR_Showcase.pdf BibTex
titre
The Emergence of Software Diversity in Maven Central
auteur
César Soto-Valero, Amine Benelallam, Nicolas Harrand, Olivier Barais, Benoit Baudry
article
MSR 2019 - 16th International Conference on Mining Software Repositories, May 2019, Montreal, Canada. pp.333-343, ⟨10.1109/MSR.2019.00059⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02080248/file/MC2.pdf BibTex
titre
Supporting A Flexible Grouping Mechanism for Collaborating Engineering Teams
auteur
Georgios Kanakis, Stefan Fischer, Djamel Eddine Khelladi, Alexander Egyed
article
ICGSE 2019 - 14th ACM/IEEE International Conference on Global Software Engineering, May 2019, Montreal, QC, Canada. pp.129-138, ⟨10.1109/ICGSE.2019.00033⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02192482/file/2019_icsgse_conference.pdf BibTex
titre
Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?
auteur
Quentin Plazar, Mathieu Acher, Gilles Perrouin, Xavier Devroey, Maxime Cordy
article
ICST 2019 - 12th IEEE International Conference on Software Testing, Verification, and Validation, Apr 2019, Xian, China. pp.240-251, ⟨10.1109/ICST.2019.00032⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01991857/file/Uniform_Sampling_of_SAT_Solutions_for_Configurable_Systems__Are_We_There_Yet____footnotesize_textsuperscript__%20%283%29.pdf BibTex
titre
Requirements for preventing logic flaws in the authentication procedure of web applications
auteur
Youssou Ndiaye, Olivier Barais, Arnaud Blouin, Ahmed Bouabdallah, Nicolas Aillery
article
SAC 2019 - 34th ACM/SIGAPP Symposium On Applied Computing, Apr 2019, Limassol, Cyprus. pp.1-9, ⟨10.1145/3297280.3297438⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02087663/file/main.pdf BibTex
titre
Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction
auteur
Benoit Amand, Maxime Cordy, Patrick Heymans, Mathieu Acher, Paul Temple, Jean-Marc Jézéquel
article
VAMOS 2019 - 13th International Workshop on Variability Modelling of Software-Intensive Systems, Feb 2019, Leuven, Belgium. pp.1-9, ⟨10.1145/3302333.3302338⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01990767/file/Towards_Learning_Aided_Configuration_in_3D_Printing%20%2811%29.pdf BibTex

Reports

titre
Learning Very Large Configuration Spaces: What Matters for Linux Kernel Sizes
auteur
Mathieu Acher, Hugo Martin, Juliana Pereira, Arnaud Blouin, Jean-Marc Jézéquel, Djamel Khelladi, Luc Lesoil, Olivier Barais
article
[Research Report] Inria Rennes - Bretagne Atlantique. 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02314830/file/LinuxSizePrediction.pdf BibTex
titre
Learning Software Configuration Spaces: A Systematic Literature Review
auteur
Juliana Alves Pereira, Hugo Martin, Mathieu Acher, Jean-Marc Jézéquel, Goetz Botterweck, Anthony Ventresque
article
[Research Report] 1-44, Univ Rennes, Inria, CNRS, IRISA. 2019
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02148791/file/main.pdf BibTex
titre
Learning From Thousands of Build Failures of Linux Kernel Configurations
auteur
Mathieu Acher, Hugo Martin, Juliana Alves Pereira, Arnaud Blouin, Djamel Eddine Khelladi, Jean-Marc Jézéquel
article
[Technical Report] Inria; IRISA. 2019, pp.1-12
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02147012/file/LinuxCompilation_BuildFailures.pdf BibTex

2018

Journal articles

titre
Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation
auteur
Benjamin Danglot, Philippe Preux, Benoit Baudry, Martin Monperrus
article
Empirical Software Engineering, Springer Verlag, 2018, 23 (4), pp.2086-2119. ⟨10.1007/s10664-017-9571-8⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01378523/file/article.pdf BibTex
titre
Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack
auteur
Axel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, Benoit Baudry
article
Empirical Software Engineering, Springer Verlag, 2018, pp.1-44. ⟨10.1007/s10664-018-9635-4⟩
Accès au bibtex
https://arxiv.org/pdf/1710.07980 BibTex
titre
Automatic Production of End User Documentation for DSLs
auteur
Gwendal Le Moulec, Arnaud Blouin, Valérie Gouranton, Bruno Arnaldi
article
Computer Languages, Systems and Structures, Elsevier, 2018, 54, pp.337-357. ⟨10.1016/j.cl.2018.07.006⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01549042/file/main.pdf BibTex
titre
User Interface Design Smell: Automatic Detection and Refactoring of Blob Listeners
auteur
Arnaud Blouin, Valéria Lelli, Benoit Baudry, Fabien Coulon
article
Information and Software Technology, Elsevier, 2018, 102, pp.49-64. ⟨10.1016/j.infsof.2018.05.005⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01499106/file/main.pdf BibTex
titre
Distributing Relational Model Transformation on MapReduce
auteur
Amine Benelallam, Abel Gómez, Massimo Tisi, Jordi Cabot
article
Journal of Systems and Software, Elsevier, 2018, 142, pp.1-20. ⟨10.1016/j.jss.2018.04.014⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01863885/file/distributed-atl%20%288%29.pdf BibTex
titre
Omniscient Debugging for Executable DSLs
auteur
Erwan Bousse, Dorian Leroy, Benoit Combemale, Manuel Wimmer, Benoit Baudry
article
Journal of Systems and Software, Elsevier, 2018, 137, pp.261-288. ⟨10.1016/j.jss.2017.11.025⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01662336/file/jss17-debugging.pdf BibTex
titre
Modeling Variability in the Video Domain: Language and Experience Report
auteur
Mauricio Alférez, Mathieu Acher, José Galindo, Benoit Baudry, David Benavides
article
Software Quality Journal, Springer Verlag, 2018, pp.1-41. ⟨10.1007/s11219-017-9400-8⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01688247/file/modeling-variability-video%20%2828%29.pdf BibTex
titre
A Comprehensive Study of Pseudo-tested Methods
auteur
Oscar Luis Vera-Pérez, Benjamin Danglot, Martin Monperrus, Benoit Baudry
article
Empirical Software Engineering, Springer Verlag, 2018, pp.1-33. ⟨10.1007/s10664-018-9653-2⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01867423/file/main.pdf BibTex
titre
Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering
auteur
Benoit Combemale, Jörg Kienzle, Gunter Mussbacher, Olivier Barais, Erwan Bousse, Walter Cazzola, Philippe Collet, Thomas Degueule, Robert Heinrich, Jean-Marc Jézéquel, Manuel Leduc, Tanja Mayerhofer, Sébastien Mosser, Matthias Schöttle, Misha Strittmatter, Andreas Wortmann
article
Computer Languages, Systems and Structures, Elsevier, 2018, 54, pp.139-155. ⟨10.1016/j.cl.2018.05.004⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01803008/file/concern-oriented-language.pdf BibTex

Conference papers

titre
Using Quantile Regression for Reclaiming Unused Cloud Resources while achieving SLA
auteur
Jean-Emile Dartois, Anas Knefati, Jalil Boukhobza, Olivier Barais
article
CloudCom 2018 - 10th IEEE International Conference on Cloud Computing Technology and Science, Dec 2018, Nicosia, Cyprus. pp.89-98, ⟨10.1109/CloudCom2018.2018.00030⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01898438/file/Using_Quantile_Regression_for_Reclaiming_Unused_Cloud_Resources_with_SLA_Guarantees.pdf BibTex
titre
Shape-Diverse DSLs: Languages without Borders (Vision Paper)
auteur
Fabien Coulon, Thomas Degueule, Tijs van der Storm, Benoit Combemale
article
SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.215-219, ⟨10.1145/3276604.3276623⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01889155/file/sle18-metamorphic.pdf BibTex
titre
Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo)
auteur
Benoît Lelandais, Marie-Pierre Oudot, Benoit Combemale
article
SLE 2018 - International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.1-9, ⟨10.1145/3276604.3276620⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01910139/file/nablab-tool-demo.pdf BibTex
titre
Modular Language Composition for the Masses
auteur
Manuel Leduc, Thomas Degueule, Benoit Combemale
article
SLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering, Nov 2018, Boston, United States. pp.1-12, ⟨10.1145/3276604.3276622⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01890446/file/main.pdf BibTex
titre
Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous Modeling: A Research Statement and Associated Roadmap
auteur
Francis Bordeleau, Benoit Combemale, Romina Eramo, Mark van Den Brand, Manuel Wimmer
article
GEMOC 2018 - 6th International Workshop on The Globalization of Modeling Languages, Oct 2018, Copenhagen, Denmark. pp.1-3
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01958443/file/main.pdf BibTex
titre
Efficient use of local energy: An activity oriented modeling to guide Demand Side Management
auteur
Alexandre Rio, Yoann Maurel, Olivier Barais, Yoran Bugni
article
MODELS 2018 - 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Oct 2018, Copenhagen, Denmark. pp.458-468, ⟨10.1145/3239372.3239391⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01913169/file/MODELS_2018_paper_97.pdf BibTex
titre
Teaching Software Product Lines: A Snapshot of Current Practices and Challenges (Journal-First Abstract)
auteur
Mathieu Acher, Roberto Lopez-Herrejon, Rick Rabiser
article
SPLC2018 - 22nd International Systems and Software Product Line Conference, Sep 2018, Gothenburg, Sweden. pp.1
Accès au bibtex
BibTex
titre
Descartes: a PITest engine to detect pseudo-tested methods - Tool Demonstration
auteur
Oscar Luis Vera-Pérez, Martin Monperrus, Benoit Baudry
article
ASE 2018 - 33rd ACM/IEEE International Conference on Automated Software Engineering, Tool demonstration track, Sep 2018, Montpellier, France. pp.908-911, ⟨10.1145/3238147.3240474⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01870976/file/main.pdf BibTex
titre
A Temporal Model for Interactive Diagnosis of Adaptive Systems
auteur
Ludovic Mouline, Amine Benelallam, François Fouquet, Johann Bourcier, Olivier Barais
article
ICAC 2018 - IEEE International Conference on Autonomic Computing, Sep 2018, Trento, Italy. pp.1-6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01862964/file/preprint.pdf BibTex
titre
Trace Comprehension Operators for Executable DSLs
auteur
Dorian Leroy, Erwan Bousse, Anaël Megna, Benoit Combemale, Manuel Wimmer
article
ECMFA 2018 - 14th European Conference on Modelling Foundations and Applications, Jun 2018, Toulouse, France. pp.293-310, ⟨10.1007/978-3-319-92997-2_19⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01803031/file/trace-comprehension.pdf BibTex
titre
Model Transformation Reuse across Metamodels - A classification and comparison of approaches
auteur
Jean-Michel Bruel, Benoit Combemale, Esther Guerra, Jean-Marc Jézéquel, Jörg Kienzle, Juan de Lara, Gunter Mussbacher, Eugene Syriani, Hans Vangheluwe
article
ICMT 2018 - International Conference on Theory and Practice of Model Transformations, Jun 2018, Toulouse, France. pp.92-109, ⟨10.1007/978-3-319-93317-7_4⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01910113/file/model-transformation-reuse.pdf BibTex
titre
Detection and Analysis of Behavioral T-patterns in Debugging Activities
auteur
César Soto-Valero, Johann Bourcier, Benoit Baudry
article
MSR 2018 - Mining Software Repositories, May 2018, Gothenburg, Sweden. pp.1-4, ⟨10.1145/3196398.3196452⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01763369/file/MSR18_paper%20%28camera-ready%20version%29.pdf BibTex
titre
Multimorphic Testing
auteur
Paul Temple, Mathieu Acher, Jean-Marc Jézéquel
article
ICSE '18 - ACM/IEEE 40th International Conference on Software Engineering, May 2018, Gothenburg, Sweden. pp.1-2, ⟨10.1145/3183440.3195043⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01730163/file/Multimorphic.pdf BibTex
titre
Towards Estimating and Predicting User Perception on Software Product Variants
auteur
Jabier Martinez, Jean-Sébastien Sottet, Alfonso García Frey, Tegawendé Bissyandé, Tewfik Ziadi, Jacques Klein, Paul Temple, Mathieu Acher, Yves Le Traon
article
ICSR 2018 - International Conference on Software Reuse, May 2018, Madrid, Spain. pp.23-40, ⟨10.1007/978-3-319-90421-4_2⟩
Accès au texte intégral et bibtex
https://hal.sorbonne-universite.fr/hal-01720519/file/Martinez_et_al_ICSR2018.pdf BibTex
titre
FP-STALKER: Tracking Browser Fingerprint Evolutions
auteur
Antoine Vastel, Pierre Laperdrix, Walter Rudametkin, Romain Rouvoy
article
IEEE S&P 2018 - 39th IEEE Symposium on Security and Privacy, May 2018, San Francisco, United States. pp.728-741, ⟨10.1109/SP.2018.00008⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01652021/file/FPStalker-hal-version.pdf BibTex
titre
Hiding in the Crowd: an Analysis of the Effectiveness of Browser Fingerprinting at Large Scale
auteur
Alejandro Gómez-Boix, Pierre Laperdrix, Benoit Baudry
article
WWW2018 - TheWebConf 2018 : 27th International World Wide Web Conference, Apr 2018, Lyon, France. pp.1-10, ⟨10.1145/3178876.3186097⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01718234/file/main.pdf BibTex
titre
Enabling Temporal-Aware Contexts for Adaptative Distributed Systems Temporal Context Representation System updates
auteur
Ludovic Mouline, Amine Benelallam, Thomas Hartmann, François Fouquet, Johann Bourcier, Brice Morin, Olivier Barais
article
SAC 2018 - The 33rd ACM/SIGAPP Symposium On Applied Computing, Apr 2018, Pau, France. pp.1-8, ⟨10.1145/3167132.3167286⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01723451/file/Preprint.pdf BibTex
titre
VaryLaTeX: Learning Paper Variants That Meet Constraints
auteur
Mathieu Acher, Paul Temple, Jean-Marc Jezequel, José Ángel Galindo Duarte, Jabier Martinez, Tewfik Ziadi
article
VaMoS 2018 - 12th International Workshop on Variability Modelling of Software-Intensive Systems, Feb 2018, Madrid, Spain. pp.83-88, ⟨10.1145/3168365.3168372⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01659161/file/varyLaTeX.pdf BibTex

Poster communications

titre
Demand Side Management A model driven approach to promote energy self-consumption
auteur
Alexandre Rio, Yoann Maurel, Olivier Barais, Yoran Bugni
article
Colloque de l'institut Mines Télécom, Jun 2018, Rennes, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-02317918/file/Poster_IMT_Atlantique%202018.pdf BibTex

Theses

titre
Investigate the matrix : leveraging variability to specialize software and test suites
auteur
Paul Temple
article
Software Engineering [cs.SE]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S087⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-02125962/file/TEMPLE_Paul.pdf BibTex
titre
Synthèse d'applications de réalité virtuelle à partir de modèles
auteur
Gwendal Le Moulec
article
Synthèse d'image et réalité virtuelle [cs.GR]. INSA de Rennes, 2018. Français. ⟨NNT : 2018ISAR0010⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01959918/file/2018ISAR0010_LE_MOULEC_Gwendal.pdf BibTex
titre
User controlled trust and security level of Web real-time communications
auteur
Kevin Corre
article
Cryptography and Security [cs.CR]. Université Rennes 1, 2018. English. ⟨NNT : 2018REN1S029⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01943728/file/CORRE_Kevin.pdf BibTex

2017

Journal articles

titre
Learning-Contextual Variability Models
auteur
Paul Temple, Mathieu Acher, Jean-Marc Jezequel, Olivier Barais
article
IEEE Software, Institute of Electrical and Electronics Engineers, 2017, 34 (6), pp.64-70. ⟨10.1109/MS.2017.4121211⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01659137/file/Learning_Contextual_Variability_Models.pdf BibTex
titre
Cross-domain identity and discovery framework for web calling services
auteur
Ibrahim Tariq Javed, Rebecca Copeland, Noël Crespi, Marc Emmelmann, Andreea Ancuta Corici, Ahmed Bouabdallah, Tuo Zhang, Saad El Jaouhari, Felix Beierle, Sebastian Göndör, Axel Küpper, Kevin Corre, Jean-Michel Crom, Frank Oberle, Ingo Friese, Ana Caldeira, Gil Dias, Nuno Santos, Ricardo Chaves, Ricardo Lopes Pereira
article
Annals of Telecommunications - annales des télécommunications, Springer, 2017, 72 (7-8), pp.459 - 468. ⟨10.1007/s12243-017-0587-2⟩
Accès au bibtex
BibTex
titre
Reverse Engineering Language Product Lines from Existing DSL Variants
auteur
David Méndez-Acuña, José Galindo, Benoit Combemale, Arnaud Blouin, Benoit Baudry
article
Journal of Systems and Software, Elsevier, 2017, ⟨10.1016/j.jss.2017.05.042⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01524632/file/elsarticle-template.pdf BibTex
titre
Advanced and efficient execution trace management for executable domain-specific modeling languages
auteur
Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry
article
Software and Systems Modeling, Springer Verlag, 2017, pp.1-37 ⟨10.1007/s10270-017-0598-5⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01614377/file/sosym-bousse-tracemanagement-2017.pdf BibTex
titre
Teaching Software Product Lines: A Snapshot of Current Practices and Challenges
auteur
Mathieu Acher, Roberto E. Lopez-Herrejon, Rick Rabiser
article
ACM Transactions of Computing Education, Association for Computing Machinery, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01522779/file/TOCE.pdf BibTex
titre
Comment maîtriser la complexité des logiciels ?
auteur
Jean-Marc Jézéquel, Joanna Jongwane
article
Interstices, INRIA, 2017, ⟨https://interstices.info/jcms/p_93062/comment-maitriser-la-complexite-des-logiciels⟩
Accès au bibtex
BibTex
titre
Why can’t users choose their identity providers on the web?
auteur
Kevin Corre, Olivier Barais, Gerson Sunyé, Vincent Frey, Jean-Michel Crom
article
Proceedings on Privacy Enhancing Technologies, De Gruyter Open, 2017, 2017 (3), pp.72-86. ⟨10.1515/popets-2017-0029⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01611048/file/main.pdf BibTex
titre
A WebRTC Extension to Allow Identity Negotiation at Runtime
auteur
Kevin Corre, Simon Bécot, Olivier Barais, Gerson Sunyé
article
Lecture Notes in Computer Science, Springer, 2017, Web Engineering, 10360, pp.412-419. ⟨10.1007/978-3-319-60131-1_27⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01611057/file/WebRTCExtensionIdentityNegotiationRuntime.pdf BibTex
titre
Automated Extraction of Product Comparison Matrices From Informal Product Descriptions
auteur
Sana Ben Nasr, Guillaume Bécan, Mathieu Acher, João Ferreira Filho Bosco, Nicolas Sannier, Benoit Baudry, Jean-Marc Davril
article
Journal of Systems and Software, Elsevier, 2017, 124, pp.82 - 103. ⟨10.1016/j.jss.2016.11.018⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01427218/file/spedoc.pdf BibTex

Conference papers

titre
AGENT: Automatic Generation of Experimental Protocol Runtime
auteur
Gwendal Le Moulec, Ferran Argelaguet Sanz, Valérie Gouranton, Arnaud Blouin, Bruno Arnaldi
article
ACM Symposium on Virtual Reality Software and Technology (VRST), Nov 2017, Gothenburg, Sweden
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01613873/file/AGENT_HAL.pdf BibTex
titre
Create and Play your Pac-Man Game with the GEMOC Studio (Tool Demonstration)
auteur
Dorian Leroy, Erwan Bousse, Manuel Wimmer, Benoit Combemale, Wieland Schwinger
article
EXE 2017 - 3rd International Workshop on Executable Modeling, Sep 2017, Austin, United States. pp.1-6
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01651801/file/Create%20and%20Play%20your%20Pac-Man%20Game%20with%20the%20GEMOC%20Studio.pdf BibTex
titre
Revisiting Visitors for Modular Extension of Executable DSMLs
auteur
Manuel Leduc, Thomas Degueule, Benoit Combemale, Tijs van der Storm, Olivier Barais
article
2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep 2017, Austin, United States. ⟨10.1109/MODELS.2017.23⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01568169/file/models17-revisitors.pdf BibTex
titre
Raising Time Awareness in Model-Driven Engineering
auteur
Amine Benelallam, Thomas Hartmann, Ludovic Mouline, Francois Fouquet, Johann Bourcier, Olivier Barais, Yves Le Traon
article
ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems., Sep 2017, Austin, Texas, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01580554/file/raising-time-awareness.pdf BibTex
titre
Modeling business motivation and underlying processes for RAMI 4.0-aligned cyber-physical production systems
auteur
Kunal Suri, Juan Cadavid, Mauricio Alférez, Saadia Dhouib, Sara Tucci-Piergiovanni
article
2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2017, Limassol, France. ⟨10.1109/ETFA.2017.8247702⟩
Accès au bibtex
BibTex
titre
Efficient and Complete FD-Solving for Extended Array Constraints *
auteur
Quentin Plazar, Mathieu Acher, Sébastien Bardin, Arnaud Gotlieb
article
IJCAI 2017, Aug 2017, Melbourne, Australia
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01545557/file/camera_ready.pdf BibTex
titre
FPRandom: Randomizing core browser objects to break advanced device fingerprinting techniques
auteur
Pierre Laperdrix, Benoit Baudry, Vikas Mishra
article
ESSoS 2017 - 9th International Symposium on Engineering Secure Software and Systems, Jul 2017, Bonn, Germany. pp.17
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01527580/file/fprandom-essos17.pdf BibTex
titre
Modélisation et Évaluation de la Sécurité des IHM
auteur
Youssou Ndiaye, Nicolas Aillery, Olivier Barais, Arnaud Blouin, Ahmed Bouabdallah
article
CIEL 2017 : 6ème Conférence en IngénieriE du Logiciel, Jun 2017, Montpellier, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01611324/file/gdrgpl17.pdf BibTex
titre
Fingerprinting mobile devices: A short analysis
auteur
Alejandro Gómez-Boix, Pierre Laperdrix, Benoit Baudry
article
CIEL 2017 - 6ème Conférence en IngénieriE du Logiciel, Jun 2017, Montpellier, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01611101/file/FP_mobile_devices_A_short_analysis%20.pdf BibTex
titre
Language Engineering with the GEMOC Studio
auteur
Olivier Barais, Benoit Combemale, Andreas Wortmann
article
ICSAW 2017 - IEEE International Conference on Software Architecture Workshops, Apr 2017, Gothenburg, Sweden. pp.3
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01609576/file/language-engineering-gemoc.pdf BibTex
titre
Weaving Rules into Models@run.time for Embedded Smart Systems
auteur
Ludovic Mouline, Thomas Hartmann, François Fouquet, Yves Le Traon, Johann Bourcier, Olivier Barais
article
Programming 2017 - Companion to the first International Conference on the Art, Science and Engineering of Programming, Apr 2017, Brussels, Belgium. pp.1 - 6, ⟨10.1145/3079368.3079394⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01609796/file/main.pdf BibTex
titre
Yo Variability! JHipster: A Playground for Web-Apps Analyses
auteur
Axel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, Patrick Heymans
article
11th International Workshop on Variability Modelling of Software-intensive Systems, Feb 2017, Eindhoven, Netherlands. pp.44 - 51, ⟨10.1145/3023956.3023963⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01468084/file/vamos-2017%20%2810%29.pdf BibTex

Book sections

titre
On Language Interfaces
auteur
Thomas Degueule, Benoit Combemale, Jean-Marc Jézéquel
article
Bertrand Meyer; Manuel Mazzara. PAUSE: Present And Ulterior Software Engineering, Springer, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01424909/file/pause.pdf BibTex
titre
Perpetual Assurances for Self-Adaptive Systems
auteur
Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli
article
Software Engineering for Self-Adaptive Systems III. Assurances, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02054220/file/2016SEfSAS.pdf BibTex

Directions of work or proceedings

titre
Report on the 1 st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17)
auteur
Simon van Mierlo, Erwan Bousse, Hans Vangheluwe, Manuel Wimmer, Clark Verbrugge, Martin Gogolla, Matthias Tichy, Arnaud Blouin
article
MDEbug 2017 - 1st International Workshop on Debugging in Model-Driven Engineering, Sep 2017, Austin, United States. pp.1-6, 2017, ⟨https://msdl.uantwerpen.be/conferences/MDEbug/⟩
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01665572/file/mdebug_intro.pdf BibTex
titre
Verifying the configuration of Virtualized Network Functions in Software Defined Networks
auteur
Johan Pelay, Fabrice Guillemin, Olivier Barais
article
France. b<>com, pp.1-6, 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01657866/file/verifying-configuration-virtualized_vHAL.pdf BibTex

Reports

titre
A Systematic Mapping Study on Modeling for Industry 4.0
auteur
Andreas Wortmann, Benoit Combemale, Olivier Barais
article
[Research Report] RR-9062, INRIA Rennes - Bretagne Atlantique and University of Rennes 1, France. 2017, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01514421/file/RR-9062.pdf BibTex
titre
Learning-Based Performance Specialization of Configurable Systems
auteur
Paul Temple, Mathieu Acher, Jean-Marc Jézéquel, Léo Noel-Baron, José Galindo
article
[Research Report] IRISA, Inria Rennes; University of Rennes 1. 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01467299/file/TSE-ML.pdf BibTex

Theses

titre
Browser Fingerprinting : Exploring Device Diversity to Augment Authentification and Build Client-Side Countermeasures
auteur
Pierre Laperdrix
article
Cryptography and Security [cs.CR]. INSA de Rennes, 2017. English. &#x27E8;NNT : 2017ISAR0016&#x27E9;
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01729126/file/These_2017ISAR0016_Laperdrix_Pierre.pdf BibTex
titre
Automatic non-functional testing and tuning of configurable generators
auteur
Mohamed Boussaa
article
Mathematical Software [cs.MS]. Université Rennes 1, 2017. English. &#x27E8;NNT : 2017REN1S011&#x27E9;
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01598821/file/BOUSSAA_Mohamed.pdf BibTex

Preprints, Working Papers, ...

titre
The Emerging Field of Test Amplification: A Survey
auteur
Martin Monperrus, Benjamin Danglot, Oscar Luis Vera-Perez, Zhongxing Yu, Benoit Baudry
article
2017
Accès au bibtex
https://arxiv.org/pdf/1705.10692 BibTex

2016

Journal articles

titre
Online Genetic Improvement on the java virtual machine with ECSELR
auteur
Kwaku Yeboah-Antwi, Benoit Baudry
article
Genetic Programming and Evolvable Machines, Springer Verlag, 2016, pp.1-27. &#x27E8;10.1007/s10710-016-9278-4&#x27E9;
Accès au bibtex
BibTex
titre
Leveraging Software Product Lines Engineering in the Development of External DSLs: A Systematic Literature Review
auteur
David Méndez-Acuña, José Angel Galindo Duarte, Thomas Degueule, Benoit Combemale, Benoit Baudry
article
Computer Languages, Systems and Structures, Elsevier, 2016, &#x27E8;10.1016/j.cl.2016.09.004&#x27E9;
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01372702/file/elsarticle-template.pdf BibTex
titre
Safe Model Polymorphism for Flexible Modeling
auteur
Thomas Degueule, Benoit Combemale, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel
article
Computer Languages, Systems and Structures, Elsevier, 2016, Computer Languages, Systems Structures, 49, pp.30. &#x27E8;10.1016/j.cl.2016.09.001&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01367305/file/comlan-melange.pdf BibTex
titre
Traceability analyses between features and assets in software product lines
auteur
Ganesh Khandu Narwane, José Angel Galindo Duarte, Shankara Narayanan Krishna, David Benavides, Jean-Vivien Millo, S Ramesh
article
Entropy, MDPI, 2016, 18 (8), pp.269. &#x27E8;10.3390/e18080269&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01342351/file/main.pdf BibTex
titre
Software Unbundling: Challenges and Perspectives
auteur
João Ferreira Filho Bosco, Mathieu Acher, Olivier Barais
article
Transactions on Modularity and Composition, LNCS, 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01427560/file/UnbundlingExtension.pdf BibTex
titre
Optimal Minimisation of Pairwise-covering Test Configurations Using Constraint Programming
auteur
Aymeric Hervieu, Dusica Marijan, Arnaud Gotlieb, Benoit Baudry
article
Information and Software Technology, Elsevier, 2016, 71, pp.129-146
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01352831/file/IST_journal.pdf BibTex
titre
Correct-by-construction model driven engineering composition operators
auteur
Mounira Kezadri, Marc Pantel, Xavier Thirioux, Benoit Combemale
article
Formal Aspects of Computing, Springer Verlag, 2016, 28 (3), &#x27E8;10.1007/s00165-016-0354-6&#x27E9;
Accès au bibtex
BibTex
titre
B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis
auteur
Jifeng Xuan, Benoit Cornu, Matias Martinez, Benoit Baudry, Lionel Seinturier, Martin Monperrus
article
Information and Software Technology, Elsevier, 2016, 76, pp.65-80. &#x27E8;10.1016/j.infsof.2016.04.016&#x27E9;
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01309004/file/banana-refactoring.pdf BibTex
titre
ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems
auteur
Inti Gonzalez-Herrera, Johann Bourcier, Erwan Daubert, Walter Rudametkin, Olivier Barais, François Fouquet, Jean-Marc Jézéquel, Benoit Baudry
article
Journal of Systems and Software, Elsevier, 2016, &#x27E8;10.1016/j.jss.2016.02.027&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354999/file/jss.pdf BibTex

Conference papers

titre
libmask: Protecting Browser JIT Engines from the Devil in the Constants
auteur
Abhinav Jangda, Mohit Mishra, Benoit Baudry
article
Annual Conference on Privacy, Security and Trust, Dec 2016, Auckland, New Zealand
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01382971/file/PID4513621.pdf BibTex
titre
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
auteur
Gurvan Le Guernic, Benoit Combemale, José Angel Galindo Duarte
article
3rd Workshop on Formal Integrated Development Environment, Catherine Dubois; Dominique Mery; Paolo Masci, Nov 2016, Limassol, Cyprus
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01401849/file/2016-08-21_F-IDE_FSPFL.pdf BibTex
titre
Automatic Non-functional Testing of Code Generators Families
auteur
Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Sunyé
article
15th International Conference on Generative Programming: Concepts & Experiences (GPCE 2016), Oct 2016, Amsterdam, Netherlands. pp.11
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01356849/file/GPCE_2016_Testing_Generators.pdf BibTex
titre
Execution Framework of the GEMOC Studio (Tool Demo)
auteur
Erwan Bousse, Thomas Degueule, Didier Vojtisek, Tanja Mayerhofer, Julien Deantoni, Benoit Combemale
article
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering, Oct 2016, Amsterdam, Netherlands. pp.8
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01355391/file/execution-framework-gemoc-final.pdf BibTex
titre
Exploiting the Enumeration of All Feature Model Configurations
auteur
José Angel Galindo Duarte, Mathieu Acher, Juan Manuel Tirado, Cristian Vidal, Benoit Baudry, David Benavides
article
Software Product Line Conference, Sep 2016, Beijing, China
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01334851/file/paper.pdf BibTex
titre
Using Machine Learning to Infer Constraints for Product Lines
auteur
Paul Temple, José Angel Galindo Duarte, Mathieu Acher, Jean-Marc Jézéquel
article
Software Product Line Conference (SPLC), Sep 2016, Beijing, China. &#x27E8;10.1145/2934466.2934472&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01323446/file/SPLC_2016_Paper.pdf BibTex
titre
A Decision-making Process for Exploring Architectural Variants in Systems Engineering
auteur
Jérome Le Noir, Sébastien Madelénat, Christophe Labreuche, Olivier Constant, Grégory Gailliard, Mathieu Acher, Olivier Barais
article
Software Product Lines Conference (SPLC), Sep 2016, Beijing, China. &#x27E8;10.1145/1235&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01374140/file/SPLC2016-ArchiComp.pdf BibTex
titre
Hacia el uso de sistemas de recomendación en sistemas de alta variabilidad
auteur
Jorge L. Rodas, Javier Olivares, José Angel Galindo Duarte, David Benavides
article
CEDI 2016, Sep 2016, Salamanca, España
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01342353/file/CEDI_2016_paper_36.pdf BibTex
titre
El uso de modelos de características con atributos para pruebas en sistemas de alta variabilidad: primeros pasos
auteur
Mariuxi Vinueza, Jorge L. Rodas, José Angel Galindo Duarte, David Benavides
article
CEDI 2016, Sep 2016, Salamanca, España
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01342354/file/CEDI_2016_paper_103.pdf BibTex
titre
Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding
auteur
Marcelino Rodriguez-Cancio, Benoit Combemale, Benoit Baudry
article
31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016) , Sep 2016, Singapore, Singapore
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01343818/file/technical-paper-main.pdf BibTex
titre
NOTICE: A Framework for Non-functional Testing of Compilers
auteur
Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Sunyé
article
2016 IEEE International Conference on Software Quality, Reliability & Security (QRS 2016), Aug 2016, Vienna, Austria
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01344835/file/QRS2016.pdf BibTex
titre
Towards microservices architecture to transcode videos in the large at low costs
auteur
Olivier Barais, Johann Bourcier, Yérom-David Bromberg, Christophe Dion
article
TEMU 2016 - International Conference on Telecommunications and Multimedia, Jul 2016, Heraklion, Greece. pp.1 - 6, &#x27E8;10.1109/TEMU.2016.7551918&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01427277/file/microservices-architecture-transcode.pdf BibTex
titre
Automatic Detection of GUI Design Smells: The Case of Blob Listener
auteur
Valéria Lelli, Arnaud Blouin, Benoit Baudry, Fabien Coulon, Olivier Beaudoux
article
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'16), Jun 2016, Brussels, Belgium. pp.263-274, &#x27E8;10.1145/2933242.2933260&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01308625/file/main.pdf BibTex
titre
Reverse-engineering reusable language modules from legacy domain-specific languages
auteur
David Méndez-Acuña, José Angel Galindo Duarte, Benoit Combemale, Arnaud Blouin, Benoit Baudry, Gurvan Le Guernic
article
International Conference on Software Reuse, Jun 2016, Limassol, Cyprus
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01284816/file/icsr-main.pdf BibTex
titre
Puzzle: A tool for analyzing and extracting specification clones in DSLs
auteur
David Méndez-Acuña, José Angel Galindo Duarte, Benoit Combemale, Arnaud Blouin, Benoit Baudry
article
ICSR 2016 the 15th International Conference on Software Reuse, Jun 2016, Limassol, Cyprus
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01284822/file/icrs-main.pdf BibTex
titre
Beauty and the Beast: Diverting modern web browsers to build unique browser fingerprints
auteur
Pierre Laperdrix, Walter Rudametkin, Benoit Baudry
article
37th IEEE Symposium on Security and Privacy (S&P 2016), May 2016, San Jose, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01285470/file/beauty-sp16.pdf BibTex
titre
VCU: The Three Dimensions of Reuse
auteur
Jörg Kienzle, Gunter Mussbacher, Omar Alam, Matthias Schöttle, Nicolas Belloir, Philippe Collet, Benoit Combemale, Julien Deantoni, Jacques Klein, Bernhard Rumpe
article
15th International Conference on Software Reuse (ICSR-15), May 2016, Limassol, Cyprus
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01287720/file/vcu.pdf BibTex
titre
Seeking for the Optimal Energy Modelisation Accuracy to Allow Efficient Datacenter Optimizations
auteur
Edouard Outin, Jean-Emile Dartois, Olivier Barais, Jean-Louis Pazat
article
16th International Symposium on Cluster, Cloud and Grid Computing, May 2016, Cartagena, Italy. &#x27E8;10.1109/CCGrid.2016.67&#x27E9;
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01356099/file/paper_CCGrid.pdf BibTex
titre
A Complexity Tale: Web Configurators
auteur
Gilles Perrouin, Mathieu Acher, Jean-Marc Davril, Axel Legay, Patrick Heymans
article
VACE 2016 - 1st International Workshop on Variability and Complexity in Software Design Pages (co-located with ICSE'16), May 2016, Austin, United States. pp.28 - 31, &#x27E8;10.1145/2897045.2897051&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01427165/file/VACE16-WebConfigurators.pdf BibTex
titre
Featured model types: Towards Systematic Reuse in Modelling Language Engineering
auteur
Gilles Perrouin, Moussa Amrani, Mathieu Acher, Benoit Combemale, Axel Legay, Pierre-Yves Schobbens
article
MiSE '16 - 8th International Workshop on Modeling in Software Engineering, May 2016, New york, United States. pp.1 - 7, &#x27E8;10.1145/2896982.2896987&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01406507/file/c171.pdf BibTex
titre
KevoreeJS: Enabling Dynamic Software Reconfigurations in the Browser
auteur
Maxime Tricoire, Olivier Barais, Manuel Leduc, Johann Bourcier, François Fouquet, Grégory Nain, Ludovic Mouline, Gerson Sunyé, Brice Morin
article
WICSA and CompArch 2016, ACM Sigsoft, Apr 2016, Venice, Italy. &#x27E8;10.1109/CBSE.2016.20&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01354997/file/cbse2016.pdf BibTex
titre
A Generative Middleware for Heterogeneous and Distributed Services
auteur
Brice Morin, Franck Fleurey, Knut Eilif Husa, Olivier Barais
article
19th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2016), Apr 2016, Venise, Italy. &#x27E8;10.1109/CBSE.2016.12&#x27E9;
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01356104/file/cbse16.pdf BibTex
titre
A Formal Modeling and Analysis Framework for Software Product Line of Preemptive Real-Time Systems
auteur
Jin Hyun Kim, Axel Legay, Louis-Marie Traonouez, Mathieu Acher, Sungwon Kang
article
Symposium on Applied Computing, Apr 2016, Pise, Italy. pp.1562 - 1565, &#x27E8;10.1145/2851613.2851977&#x27E9;
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01241673/file/main.pdf BibTex
titre
Squirrel: Architecture Driven Resource Management
auteur
Inti Gonzalez-Herrera, Johann Bourcier, Walter Rudametkin, Olivier Barais, Francois Fouquet
article
SAC - 31st Annual ACM Symposium on Applied Computing, Apr 2016, Pisa, Italy. &#x27E8;10.1145/0000000.0000000&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01355000/file/typeinst.pdf BibTex
titre
Lightning Talk:"I solemnly pledge" A Manifesto for Personal Responsibility in the Engineering of Academic Software
auteur
Alice Allen, Cecilia Aragon, Christoph Becker, Jeffrey Carver, Andrei Chis, Benoit Combemale, Mike Croucher, Kevin Crowston, Daniel Garijo, Ashish Gehani, Carole Goble, Robert Haines, Robert Hirschfeld, James Howison, Kathryn Huff, Caroline Jay, Daniel Katz, Claude Kirchner, Kateryna Kuksenok, Ralf Lämmel, Oscar Nierstrasz, Matthew Turk, Rob van Nieuwpoort, Matthew Vaughn, Jurgen Vinju
article
Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4), 2016, Manchester, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01367344/file/WSSSPE4_paper_15.pdf BibTex
titre
Modeling for Sustainability
auteur
Benoit Combemale, Betty H.C. Cheng, Ana Moreira, Jean-Michel Bruel, Jeff Gray
article
Modeling in Software Engineering 2016 (MiSE'16), 2016, Austin, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01185800/file/Modeling4Sustainability-VisionPaper.pdf BibTex
titre
A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models
auteur
Benoit Combemale, Cédric Brun, Joël Champeau, Xavier Crégut, Julien Deantoni, Jérome Le Noir
article
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), 2016, Toulouse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01258358/file/erts16-gemoc.pdf BibTex

Directions of work or proceedings

titre
Fourth International Workshop on Reverse Variability Engineering (REVE 2016), associated with SPLC
auteur
Roberto Erick Lopez-Herrejon, Tewfik Ziadi, Jabier Martinez, Mathieu Acher
article
Sep 2016, Beijing, China. 2016
Accès au bibtex
BibTex

Books

titre
Engineering Modeling Languages
auteur
Benoit Combemale, Robert France, Jean-Marc Jézéquel, Bernhard Rumpe, Jim R.H. Steel, Didier Vojtisek
article
Chapman and Hall/CRC, pp.398, 2016, 9781466583733
Accès au bibtex
BibTex

Reports

titre
Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
auteur
Gurvan Le Guernic, José Angel Galindo Duarte
article
[Research Report] RR-8967, Inria Rennes Bretagne Atlantique. 2016, pp.41
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01385541/file/RR-8967.pdf BibTex
titre
Large-scale Analysis of Chess Games with Chess Engines: A Preliminary Report
auteur
Mathieu Acher, François Esnault
article
[Technical Report] RT-0479, Inria Rennes Bretagne Atlantique. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01307091/file/RT-479%20%281%29.pdf https://hal.inria.fr/hal-01307091/file/RT-479.pdf BibTex

Theses

titre
Leveraging software product lines engineering in the construction of domain specific languages
auteur
David Fernando Méndez Acuña
article
Software Engineering [cs.SE]. Université Rennes 1, 2016. English. &#x27E8;NNT : 2016REN1S136&#x27E9;
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01427187/file/MENDEZ_ACUNA_David.pdf BibTex
titre
Composition and Interoperability for External Domain-Specific Language Engineering
auteur
Thomas Degueule
article
Software Engineering [cs.SE]. Université de Rennes 1 [UR1], 2016. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01427009/file/thesis.pdf BibTex
titre
Self-adaptation for Internet of things applications
auteur
Francisco Javier Acosta Padilla
article
Software Engineering [cs.SE]. Université Rennes 1, 2016. English. &#x27E8;NNT : 2016REN1S094&#x27E9;
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01426219/file/ACOSTA_PADILLA_Francisco.pdf BibTex
titre
Composition et interopérabilité pour l'ingénierie des langages dédiés externes
auteur
Thomas Degueule
article
Software Engineering [cs.SE]. Université Rennes 1, 2016. English. &#x27E8;NNT : 2016REN1S093&#x27E9;
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01488300/file/DEGUEULE_Thomas.pdf BibTex
titre
Metamodels and feature models : complementary approaches to formalize product comparison matrices
auteur
Guillaume Bécan
article
Software Engineering [cs.SE]. Université Rennes 1, 2016. English. &#x27E8;NNT : 2016REN1S116&#x27E9;
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01416129/file/BECAN_Guillaume.pdf BibTex
titre
Interactive Demand-Shifting in the Context of Domestic Micro-Generation
auteur
Jacky Bourgeois
article
Human-Computer Interaction [cs.HC]. The Open University; Université de Rennes 1 [UR1], 2016. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01385022/file/thesis_jacky_bourgeois_final_ur1.pdf BibTex
titre
Mining and Modeling Variability from Natural Language Documents: Two Case Studies
auteur
Sana Ben Nasr
article
Computer Science [cs]. Université Rennes 1, 2016. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01388392/file/BEN%20NASR_Sana.pdf BibTex

Preprints, Working Papers, ...

titre
Approximate Loop Unrolling
auteur
Marcelino Rodriguez-Cancio, Benoit Combemale, Benoit Baudry
article
2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01401828/file/technical-paper-main.pdf BibTex
titre
Interoperability and Composition of DSLs with Melange
auteur
Thomas Degueule
article
2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01336940/file/acm-src-tdegueul-revised.pdf BibTex

2015

Journal articles

titre
Quand l’écologie inspire de nouvelles manières de fabriquer des logiciels
auteur
Benoit Baudry
article
Interstices, INRIA, 2015, &#x27E8;https://interstices.info/jcms/p_82529/quand-l-ecologie-inspire-de-nouvelles-manieres-de-fabriquer-des-logiciels&#x27E9;
Accès au bibtex
BibTex
titre
Formal Verification Techniques for Model Transformations: A Tridimensional Classification
auteur
Moussa Amrani, Benoît Combemale, Levi Lúcio, Gehan Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy
article
The Journal of Object Technology, Chair of Software Engineering, 2015, 14 (3), pp.1:1-43. &#x27E8;http://www.jot.fm/contents/issue_2015_03/article1.html&#x27E9;. &#x27E8;10.5381/jot.2015.14.3.a1&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01083759/file/JoT2014-final.pdf BibTex
titre
The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond
auteur
Benoit Baudry, Martin Monperrus
article
ACM Computing Surveys, Association for Computing Machinery, 2015, 48, pp.1-26. &#x27E8;10.1145/2807593&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01182103/file/main.pdf BibTex
titre
Using Slicing to Improve the Performance of Model Invariant Checking
auteur
Wuliang Sun, Benoit Combemale, Robert B. France, Arnaud Blouin, Benoit Baudry, Indrakshi Ray
article
The Journal of Object Technology, Chair of Software Engineering, 2015, pp.28
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01179369/file/jot_coslicing_cameraready.pdf BibTex
titre
An Analysis of Metamodeling Practices for MOF and OCL
auteur
Juan Cadavid, Benoit Combemale, Benoit Baudry
article
Computer Languages, Systems and Structures, Elsevier, 2015, 41, pp.46. &#x27E8;10.1016/j.cl.2015.02.002&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01186015/file/metamodelingpractices-comlan2015-preprint.pdf BibTex
titre
Assessing the Use of Slicing-based Visualizing Techniques on the Understanding of Large Metamodels
auteur
Arnaud Blouin, Naouel Moha, Benoit Baudry, Houari Sahraoui, Jean-Marc Jézéquel
article
Information and Software Technology, Elsevier, 2015, 62, pp.124 - 142. &#x27E8;10.1016/j.infsof.2015.02.007&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01120558/file/main.pdf BibTex
titre
Multitier diversification in Web-based software applications
auteur
Simon Allier, Olivier Barais, Benoit Baudry, Johann Bourcier, Erwan Daubert, Franck Fleurey, Martin Monperrus, Hui Song, Maxime Tricoire
article
IEEE Software, Institute of Electrical and Electronics Engineers, 2015, 32 (1), pp.83--90. &#x27E8;10.1109/MS.2014.150&#x27E9;
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01089268/file/final-multi-tier.pdf BibTex
titre
Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study
auteur
Guillaume Bécan, Mathieu Acher, Benoit Baudry, Sana Ben Nasr
article
Empirical Software Engineering, Springer Verlag, 2015, pp.51. &#x27E8;10.1007/s10664-014-9357-1&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01096969/file/ESE-KSynthesis.pdf BibTex
titre
Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench
auteur
Jean-Marc Jézéquel, Benoit Combemale, Olivier Barais, Martin Monperrus, François Fouquet
article
Software and Systems Modeling, Springer Verlag, 2015, 14 (2), pp.905-920. &#x27E8;10.1007/s10270-013-0354-4&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00829839/file/mashup-of-meta-languages.pdf BibTex
titre
Kompren: Modeling and Generating Model Slicers
auteur
Arnaud Blouin, Benoit Combemale, Benoit Baudry, Olivier Beaudoux
article
Software and Systems Modeling, Springer Verlag, 2015, 14 (1), pp.321-337
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00746566/file/slicer.pdf BibTex

Conference papers

titre
Discovering Model Transformation Pre-conditions using Automatically Generated Test Models
auteur
Jean-Marie Mottu, Sagar Sen, Juan Cadavid, Benoit Baudry
article
IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, Nov 2015, Washington DC, United States
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01228715/file/issre2015MottuSen.pdf BibTex
titre
Reusing Legacy DSLs with Melange
auteur
Thomas Degueule, Benoit Combemale, Arnaud Blouin, Olivier Barais
article
15th Workshop on Domain-Specific Modeling, Oct 2015, Pittsburgh, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01197039/file/dsm15-melange.pdf BibTex
titre
Melange: A Meta-language for Modular and Reusable Development of DSLs
auteur
Thomas Degueule, Benoit Combemale, Arnaud Blouin, Olivier Barais, Jean-Marc Jézéquel
article
8th International Conference on Software Language Engineering (SLE), Oct 2015, Pittsburgh, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01197038/file/sle15-melange.pdf BibTex
titre
Supporting Efficient and Advanced Omniscient Debugging for xDSMLs
auteur
Erwan Bousse, Jonathan Corley, Benoit Combemale, Jeff Gray, Benoit Baudry
article
8th International Conference on Software Language Engineering (SLE), Oct 2015, Pittsburg, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01182517/file/bousse-corley-omniscient-debugging-sle2015.pdf BibTex
titre
A Model-Driven Based Environment for Automatic Model Coordination
auteur
Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet
article
Models 2015 demo and posters, Oct 2015, Ottawa, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01198744/file/models2015-bcool-demo.pdf BibTex
titre
A Behavioral Coordination Operator Language (BCOoL)
auteur
Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet
article
International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. pp.462
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01182773/file/models2015-bcool.pdf BibTex
titre
Hacia las pruebas en sistemas de alta variabilidad utilizando opiniones de los usuarios
auteur
Jorge L. Rodas, David Mendez Acuna, José Angel Galindo Duarte, David Benavides, Jessenia Cardenas
article
Congreso Colombiano de Computación, Rubby Casallas, Sep 2015, Bogotá, Colombia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01204507/file/paper.pdf BibTex
titre
Enhancing Cloud Energy Models for Optimizing Datacenters Efficiency
auteur
Edouard Outin, Jean-Emile Dartois, Olivier Barais, Jean-Louis Pazat
article
IEEE International Conference on Cloud and Autonomic Computing (ICCAC), Sep 2015, Cambridge, MA, United States. pp.8, &#x27E8;10.1109/ICCAC.2015.10&#x27E9;
Accès au bibtex
BibTex
titre
On Breaking The Curse of Dimensionality in Reverse Engineering Feature Models
auteur
Jean-Marc Davril, Patrick Heymans, Guillaume Bécan, Mathieu Acher
article
17th International Configuration Workshop, Sep 2015, Vienna, Austria
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01243571/file/ecai2015.pdf BibTex
titre
MatrixMiner: A Red Pill to Architect Informal Product Descriptions in the Matrix
auteur
Sana Ben Nasr, Guillaume Bécan, Mathieu Acher, Joao Bosco Ferreira Filho, Benoit Baudry, Nicolas Sannier, Jean-Marc Davril
article
10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Aug 2015, Bergame, Italy. &#x27E8;10.1145/2786805.2803180&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01234338/file/MatrixMiner.pdf BibTex
titre
Product Lines Can Jeopardize Their Trade Secrets
auteur
Mathieu Acher, Guillaume Bécan, Benoit Combemale, Benoit Baudry, Jean-Marc Jézéquel
article
10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, Aug 2015, Bergame, Italy. &#x27E8;10.1145/2786805.2803210&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01234342/file/fse15nier-nierid35-p-3ebab97-24933-preprint.pdf BibTex
titre
Using fuzzy modeling for consistent definitions of product qualities in requirements
auteur
Jean-Marc Davril, Maxime Cordy, Patrick Heymans, Mathieu Acher
article
Artificial Intelligence for Requirements Engineering (AIRE), 2015 IEEE Second International Workshop on, Aug 2015, Otawa Canada. &#x27E8;10.1109/AIRE.2015.7337624&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01243006/file/aire15.pdf BibTex
titre
OCCIware - A Formal and Tooled Framework for Managing Everything as a Service
auteur
Jean Parpaillon, Philippe Merle, Olivier Barais, Marc Dutoo, Fawaz Paraiso
article
Projects Showcase @ STAF'15, Jul 2015, L'Aquila, Italy. pp.18 - 25
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01188826/file/occiware_staf15.pdf BibTex
titre
A Generative Approach to Define Rich Domain-Specific Trace Metamodels
auteur
Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry
article
11th European Conference on Modelling Foundations and Applications (ECMFA), Jul 2015, L’Aquila, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01154225/file/ecmfa-final.pdf BibTex
titre
Tooling Support for Variability and Architectural Patterns in Systems Engineering
auteur
Thomas Degueule, Joao Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Sébastien Madelénat, Grégory Gailliard, Godefroy Burlot, Olivier Constant
article
19th International Conference on Software Product Line, Jul 2015, Nashville, United States. &#x27E8;10.1145/2791060.2791097&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01242180/file/SPLC2015-kCVLPatternsTool.pdf BibTex
titre
Assessing Product Line Derivation Operators Applied to Java Source Code: An Empirical Study
auteur
João Bosco Ferreira Filho, Simon Allier, Olivier Barais, Mathieu Acher, Benoit Baudry
article
19th International Software Product Line Conference (SPLC'15), Jul 2015, Nashville, TN, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01163423/file/VaryJavaSPLC2015.pdf BibTex
titre
Emergent Robustness in Software Systems through Decentralized Adaptation: an Ecologically-Inspired ALife Approach
auteur
Franck Fleurey, Benoit Baudry, Benoit Gauzens, André Elie, Kwaku Yeboah-Antwi
article
European Conference on Artificial Life 2015, Jul 2015, York, United Kingdom
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01159131/file/paper119_CR.pdf BibTex
titre
Towards Functional Model Transformations with OCL
auteur
Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Mickaël Clavreul, Guillaume Savaton
article
ICMT 2015 - 8th International Conference on Model Transformation, Jul 2015, L'Aquila, Italy. pp.111-120, &#x27E8;10.1007/978-3-319-21155-8_9&#x27E9;
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01179294/file/FJOB.pdf BibTex
titre
Synthesis of Attributed Feature Models From Product Descriptions
auteur
Guillaume Bécan, Razieh Behjati, Arnaud Gotlieb, Mathieu Acher
article
International Software Product Line Conference, Jul 2015, Nashville, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01178454/file/SPLC15-AFM.pdf BibTex
titre
SPLTea 2015: Second International Workshop on Software Product Line Teaching
auteur
Mathieu Acher, Roberto Erick Lopez-Herrejon, Rick Rabiser
article
19th International Conference on Software Product Line (SPLC'15), Jul 2015, Nashville, United States. &#x27E8;10.1145/2791060.2791063&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01243213/file/spltea_summaryHAL.pdf BibTex
titre
ATSyRa: An Integrated Environment for Synthesizing Attack Trees
auteur
Sophie Pinchinat, Mathieu Acher, Didier Vojtisek
article
Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15, Jul 2015, Verona, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01243021/file/paper_3%20%282%29.pdf BibTex
titre
Embedding Adaptivity in Software Systems using the ECSELR framework
auteur
Kwaku Yeboah-Antwi, Benoit Baudry
article
GECCO’15, Jul 2015, Madrid, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01159118/file/GI-4%20copy.pdf BibTex
titre
A Novelty Search-based Test Data Generator for Object-oriented Programs
auteur
Mohamed Boussaa, Olivier Barais, Gerson Sunyé, Benoit Baudry
article
GECCO 2015, Jul 2015, Madrid, Spain. pp.1359--1360, &#x27E8;10.1145/2739482.2764716&#x27E9;
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01248177/file/p1359-boussaa.pdf BibTex
titre
A Precise Metamodel for Open Cloud Computing Interface
auteur
Philippe Merle, Olivier Barais, Jean Parpaillon, Noël Plouzeau, Samir Tata
article
8th IEEE International Conference on Cloud Computing (CLOUD 2015), IEEE, Jun 2015, New York, United States. pp.852 - 859, &#x27E8;10.1109/CLOUD.2015.117&#x27E9;
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01188800/file/8713.pdf BibTex
titre
MDE in Practice for Computational Science
auteur
Jean-Michel Bruel, Benoit Combemale, Ileana Ober, Hélène Raynal
article
INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE, Jun 2015, Reykjavík, Iceland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01141393/file/mde-practice-computational-camera.pdf BibTex
titre
A Novelty Search Approach for Automatic Test Data Generation
auteur
Mohamed Boussaa, Olivier Barais, Gerson Sunyé, Benoit Baudry
article
8th International Workshop on Search-Based Software Testing SBST@ICSE 2015, May 2015, Firenze, Italy. pp.4
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01121228/file/A%20Novelty%20Search%20Approach%20for%20Automatic%20Test%20Data%20Generation.pdf BibTex
titre
Mitigating browser fingerprint tracking: multi-level reconfiguration and diversification
auteur
Pierre Laperdrix, Walter Rudametkin, Benoit Baudry
article
Proceedings of the IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS), May 2015, Firenze, Italy. pp.98-108
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01121108/file/blink-seams15.pdf BibTex
titre
On Model-Based Testing Advanced GUIs
auteur
Valéria Lelli, Arnaud Blouin, Benoit Baudry, Fabien Coulon
article
11th Workshop on Advances in Model Based Testing (A-MOST 2015), Apr 2015, Graz, Austria. pp.1-10, &#x27E8;10.1109/ICSTW.2015.7107403&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01123647/file/TestingAdvancedGUIs.pdf BibTex
titre
Classifying and Qualifying GUI Defects
auteur
Valéria Lelli, Arnaud Blouin, Benoit Baudry
article
8th IEEE International Conference on Software Testing, Verification and Validation, Apr 2015, Graz, Austria. pp.1-10, &#x27E8;10.1109/ICST.2015.7102582&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01114724/file/main.pdf BibTex
titre
Challenges on Software Unbundling: Growing and Letting Go
auteur
João Bosco Ferreira Filho, Mathieu Acher, Olivier Barais
article
Modularity'15, Mar 2015, Fort Collins, CO, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01116694/file/unbundling.pdf BibTex
titre
Towards a Meta-Language for the Concurrency Concern in DSLs
auteur
Julien Deantoni, Papa Issa Diallo, Ciprian Teodorov, Joël Champeau, Benoit Combemale
article
Design, Automation and Test in Europe Conference and Exhibition (DATE), Mar 2015, Grenoble, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01087442/file/date2015_moccml.pdf BibTex
titre
Towards the use of slicing techniques for an efficient invariant checking
auteur
Wuliang Sun, Benoit Combemale, Robert B. France
article
MODULARITY 2015, Mar 2015, Fort Collins, United States. pp.2, &#x27E8;10.1145/2735386.2735926&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01141395/file/slicing_modularity_no_copyright.pdf BibTex
titre
Polymer: A Model-Driven Approach for Simpler, Safer, and Evolutive Multi-Objective Optimization Development
auteur
Assaad Moawad, Thomas Hartmann, François Fouquet, Grégory Nain, Jacques Klein, Johann Bourcier
article
International Conference on Model-Driven Engineering and Software Development , Feb 2015, Angers, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01248160/file/modelsward15-author-preprint.pdf BibTex
titre
On the Variability Secrets of an Online Video Generator
auteur
Guillaume Bécan, Mathieu Acher, Jean-Marc Jézéquel, Thomas Menguy
article
Variability Modelling of Software-intensive Systems, Jan 2015, Hildesheim, Germany. pp.96 - 102, &#x27E8;10.1145/2701319.2701328&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01104797/file/vamos15-bref.pdf BibTex
titre
A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio
auteur
Benoit Combemale, Julien Deantoni, Olivier Barais, Arnaud Blouin, Erwan Bousse, Cédric Brun, Thomas Degueule, Didier Vojtisek
article
8th Transformation Tool Contest, 2015, l'Aquila, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01152342/file/ttc15-combemale-cameraready.pdf BibTex
titre
CLARITY: Open-Sourcing the Model-Based Systems Engineering Solution Capella
auteur
Christophe Boudjennah, Benoit Combemale, Daniel Exertier, Stéphane Lacrampe, Marie-Agnès Peraldi-Frati
article
Second Workshop on Open Source Software for Model Driven Engineering (OSS4MDE’15), 2015, Ottawa, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01186019/file/oss4mde-capella.pdf BibTex
titre
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
auteur
Florent Latombe, Xavier Crégut, Benoît Combemale, Julien Deantoni, Marc Pantel
article
8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01185911/file/sle2015-weavingconcurrency.pdf BibTex
titre
Coping with Semantic Variation Points in Domain-Specific Modeling Languages
auteur
Florent Latombe, Xavier Crégut, Julien Deantoni, Marc Pantel, Benoit Combemale
article
1st International Workshop on Executable Modeling (EXE'15), co-located with MODELS'15, 2015, Ottawa, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01222999/file/CopingWithSemanticVariationPointsInDomainSpecificModelingLanguages_camera-ready.pdf BibTex

Book sections

titre
Globalized Domain Specific Language Engineering
auteur
Barrett Bryant, Jean-Marc Jézéquel, Ralf Laemmel, Marjan Mernik, Martin Schindler, Friedrich Steinmann, Juha-Pekka Tolvanen, Antonio Vallecillo, Markus Voelter
article
Benoit Combemale; Betty H.C. Cheng; Robert B. France; Jean-Marc Jézéquel; Bernhard Rumpe. Globalizing Domain-Specific Languages, 9400, Springer International Publishing, pp.43-69, 2015, 978-3-319-26171-3. &#x27E8;10.1007/978-3-319-26172-0_4&#x27E9;. &#x27E8;http://www.springer.com/us/book/9783319261713&#x27E9;
Accès au bibtex
BibTex
titre
Conceptual Model of the Globalization for Domain-Specific Languages
auteur
Tony Clark, Mark Van den Brand, Benoit Combemale, Bernhard Rumpe
article
Benoit Combemale; Betty H.C. Cheng; Robert B. France; Jean-Marc Jézéquel; Bernhard Rumpe. Globalizing Domain-Specific Languages, 9400, Springer International Publishing, pp.7-20, 2015, Lecture Notes in Computer Science, 978-3-319-26171-3. &#x27E8;10.1007/978-3-319-26172-0_2&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01224116/file/lncs-gemoc-dagstuhl-conceptualmodel.pdf BibTex
titre
On the Globalization of Domain-Specific Languages
auteur
Betty H.C. Cheng, Benoit Combemale, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe
article
Globalizing Domain-Specific Languages, 9400, Springer International Publishing, 2015, LNCS, &#x27E8;10.1007/978-3-319-26172-0_1&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01224105/file/lncs-gemoc-dagstuhl-intro.pdf BibTex
titre
Motivating Use Cases for the Globalization of DSLs
auteur
Betty H.C. Cheng, Thomas Degueule, Colin Atkinson, Siobhan Clarke, Ulrich Frank, Pieter J. Mosterman, Janos Sztipanovits
article
Benoit Combemale; Betty H.C. Cheng; Robert B. France; Jean-Marc Jézéquel; Bernhard Rumpe. Globalizing Domain-Specific Languages, 9400, Springer International Publishing, pp.21-42, 2015, Lecture Notes in Computer Science, 978-3-319-26171-3. &#x27E8;10.1007/978-3-319-26172-0_3&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01233660/file/gemoc-dag144412.pdf BibTex

Directions of work or proceedings

titre
Globalizing Domain-Specific Languages
auteur
Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jezequel, Bernhard Rumpe
article
France. 9400, Springer International Publishing, 2015, LNCS, Programming and Software Engineering, 978-3-319-26171-3. &#x27E8;10.1007/978-3-319-26172-0&#x27E9;. &#x27E8;http://www.springer.com/us/book/9783319261713&#x27E9;
Accès au bibtex
BibTex
titre
Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling
auteur
Benoit Combemale, Julien Deantoni, Jeff Gray
article
GEMOC+MPM 2015, Ottawa, Canada. 1511, CEUR, 2015, Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Towards Language-Oriented Modeling
auteur
Benoit Combemale
article
Software Engineering [cs.SE]. Université de Rennes 1, 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01238817/file/hdr-combemale-v1.pdf BibTex

Other publications

titre
Le fingerprinting : une nouvelle technique de traçage
auteur
Pierre Laperdrix, Benoit Baudry
article
2015, pp.52-57
Accès au bibtex
BibTex

Poster communications

titre
Model-Driven Multi-Cloud Resource Management
auteur
Fawaz Paraïso, Jean Parpaillon, Philippe Merle
article
EIT Digital Future Cloud Symposium présenté, Oct 2015, RENNES, France. 2015
Accès au bibtex
BibTex

Reports

titre
Synthesis of Attributed Feature Models From Product Descriptions: Foundations
auteur
Guillaume Bécan, Razieh Behjati, Arnaud Gotlieb, Mathieu Acher
article
[Research Report] RR-8680, Inria Rennes; INRIA. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01116663/file/RR-8680.pdf BibTex

Theses

titre
Supporting resource-awareness in managed runtime environments
auteur
Inti Gonzalez-Herrera
article
Software Engineering [cs.SE]. Universite Rennes 1, 2015. English
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01246035/file/these.pdf BibTex
titre
Supporting resource awareness in managed runtime environment
auteur
Inti Yulien Gonzalez Herrera
article
Software Engineering [cs.SE]. Université Rennes 1, 2015. English. &#x27E8;NNT : 2015REN1S090&#x27E9;
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01308660/file/GONZALEZ_HERRERA_Inti_Yulien.pdf BibTex
titre
Execution trace management to support dynamic V&V for executable DSMLs
auteur
Erwan Bousse
article
Software Engineering [cs.SE]. Université Rennes 1, 2015. English. &#x27E8;NNT : 2015REN1S082&#x27E9;
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01238005/file/BOUSSE_Erwan.pdf BibTex
titre
Testing and maintenance of graphical user interfaces
auteur
Valeria Lelli Leitao
article
Human-Computer Interaction [cs.HC]. INSA de Rennes, 2015. English. &#x27E8;NNT : 2015ISAR0022&#x27E9;
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01232388/file/pdf2star-1460386776-These_LELLI_LEITAO_Val--ria.pdf BibTex
titre
Integrating predictive analysis in self-adaptive pervasive systems
auteur
Ivan Dario Paez Anaya
article
Other [cs.OH]. Université Rennes 1, 2015. English. &#x27E8;NNT : 2015REN1S046&#x27E9;
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01251551/file/PAEZ_ANAYA_Ivan_Dario.pdf BibTex
titre
Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing
auteur
Julien Stainer
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Rennes 1, 2015. English. &#x27E8;NNT : 2015REN1S054&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01256926/file/STAINER_Julien.pdf BibTex
titre
Evolution, testing and configuration of variability systems intensive
auteur
José Ángel Galindo Duarte
article
Other [cs.OH]. Université Rennes 1, 2015. English. &#x27E8;NNT : 2015REN1S008&#x27E9;
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01187958/file/GALINDO_DUARTE_Jose.pdf BibTex

Preprints, Working Papers, ...

titre
Automatic Software Diversity in the Light of Test Suites
auteur
Benoit Baudry, Simon Allier, Marcelino Rodriguez-Cancio, Martin Monperrus
article
2015
Accès au bibtex
https://arxiv.org/pdf/1509.00144 BibTex
titre
DSpot: Test Amplification for Automatic Assessment of Computational Diversity
auteur
Benoit Baudry, Simon Allier, Marcelino Rodriguez-Cancio, Martin Monperrus
article
2015
Accès au bibtex
https://arxiv.org/pdf/1503.05807 BibTex
titre
Dynamic Analysis can be Improved with Automatic Test Suite Refactoring
auteur
Jifeng Xuan, Benoit Cornu, Matias Martinez, Benoit Baudry, Lionel Seinturier, Martin Monperrus
article
2015
Accès au bibtex
https://arxiv.org/pdf/1506.01883 BibTex
titre
Towards Language Interfaces for DSLs Integration
auteur
Thomas Degueule
article
2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01138017/file/TowardsLanguageInterfaces.pdf BibTex

2014

Journal articles

titre
Supporting Distributed Product Configuration by Integrating Heterogeneous Variability Modeling Approaches
auteur
José Angel Galindo Duarte, Deepak Dhungana, Rick Rabiser, David Benavides, Goetz Botterweck, Paul Grünbacher
article
Information and Software Technology, Elsevier, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01204510/file/invar_journal.pdf BibTex
titre
Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness
auteur
Mauricio Alférez, Rodrigo Bonifácio, Leopoldo Teixeira, Paola Accioly, Uirá Kulesza, Ana Moreira, Joao Araujo, Paulo Borba
article
Requirements Engineering, Springer Verlag, 2014, 19 (4), pp.355 - 376. &#x27E8;10.1007/s00766-013-0184-5&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088537/file/REJ%20Alferez%20etal%20fresh%20in%20hal.pdf BibTex
titre
Efficient Multi-Objective Optimisation of Service Compositions in Mobile Ad hoc Networks Using Lightweight Surrogate Models
auteur
Dionysios Efstathiou, Peter Mcburney, Steffen Zschaler, Johann Bourcier
article
Journal of Universal Computer Science, Springer, 2014, 20 (8), pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090552/file/EfstathiouRevised.pdf BibTex
titre
Generating Counterexamples of Model-based Software Product Lines
auteur
Joao Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Axel Legay, Benoit Baudry
article
Software Tools for Technology Transfer (STTT), Springer, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01026581/file/STTT2014.pdf BibTex
titre
Globalizing Modeling Languages
auteur
Benoit Combemale, Julien Deantoni, Benoit Baudry, Robert B. France, Jean-Marc Jézéquel, Jeff Gray
article
Computer, Institute of Electrical and Electronics Engineers, 2014, pp.10-13
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00994551/file/ieee-computer-column-gemoc-v8.pdf BibTex
titre
Consistency Checking in Early Software Product Line Specifications -The VCC Approach
auteur
Mauricio Alférez, Roberto Erick Lopez-Herrejon, Ana Moreira, Vasco Amaral, Alexander Egyed
article
Journal of Universal Computer Science, Springer, 2014, 20 (5), pp.640 - 665
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088464/file/jucs_20_05_0640_0665_alferez.pdf BibTex
titre
Towards an Automation of the Mutation Analysis Dedicated to Model Transformation
auteur
Vincent Aranega, Jean-Marie Mottu, Anne Etien, Thomas Degueule, Benoit Baudry, Jean-Luc Dekeyser
article
Software Testing, Verification and Reliability, Wiley, 2014, pp.30. &#x27E8;10.1002/stvr.1532&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00988164/file/paper.pdf BibTex
titre
Model-Based Testing of Global Properties on Large-Scale Distributed Systems
auteur
Gerson Sunyé, Eduardo Cunha de Almeida, Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel
article
Information and Software Technology, Elsevier, 2014
Accès au bibtex
BibTex

Conference papers

titre
Towards a Model@runtime Middleware for Cyber Physical Systems
auteur
Francisco Javier Acosta Padilla, Frédéric Weis, Johann Bourcier
article
Proceedings of the 9th Workshop on Middleware for Next Generation Internet Computing, Dec 2014, Bordeaux, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090269/file/M4CPS14-norights.pdf BibTex
titre
Designing resource-aware distriubted system based on system level containers
auteur
Inti Gonzalez-Herrera, Johann Bourcier, Olivier Barais, François Fouquet
article
Middleware Conference, Dec 2014, Bordeaux, France. pp.2
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090565/file/tuto-middleware.pdf BibTex
titre
Domain Specific Languages: From Craft to Engineering
auteur
Jean-Marc Jezequel
article
The 16th International Conference on Information Integration and Web-based Applications & Services, Dec 2014, Hanoi, Vietnam
Accès au bibtex
BibTex
titre
Cost in the Cloud: Rationalization and Research Trails
auteur
Kahina Hamadache, Viliam Simko, Rustem Dautov, Fotis Gonidis, Paraskevi Zerva, Ivan Dario Paez Anaya, Ariana Polyviou
article
International Conference on Advanced Cloud and Big Data (CBD 2014), Nov 2014, Huangshan, Anhui, China
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01158925/file/ESOCC_2014_submission_18.pdf BibTex
titre
When Systems Engineering Meets Software Language Engineering
auteur
Jean-Marc Jézéquel, David Mendez, Thomas Degueule, Benoit Combemale, Olivier Barais
article
CSD&M'14 - Complex Systems Design & Management, Nov 2014, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01024166/file/csdm14-sle.pdf BibTex
titre
A formal framework to prove the correctness of model driven engineering composition operators
auteur
Mounira Kezadri, Marc Pantel, Benoit Combemale, Xavier Thirioux
article
ICFEM'14 - 16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, Nov 2014, Luxembourg, Luxembourg
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01024067/file/paper_84-camera.pdf BibTex
titre
Using Models@Run.time to embed an Energetic Cloud Simulator in a MAPE-K Loop
auteur
Edouard Outin, Jean-Louis Pazat, Olivier Barais
article
Workshop Autonomique, Oct 2014, Toulouse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01243158/file/Outin.pdf BibTex
titre
Optimizing Multi-objective Evolutionary Algorithms to Enable Quality-Aware Software Provisioning
auteur
Donia El Kateb, François Fouquet, Johann Bourcier, Yves Le Traon
article
The 14th International Conference on Quality Software, Oct 2014, Dallas, United States. pp.85 - 94, &#x27E8;10.1109/QSIC.2014.44&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090246/file/QSIC.pdf BibTex
titre
Towards Scalable Multidimensional Execution Traces for xDSMLs
auteur
Erwan Bousse, Benoit Combemale, Benoit Baudry
article
11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE (MoDeVVa 2014), Sep 2014, Valencia, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01061740/file/main.pdf BibTex
titre
On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems
auteur
Marco Biazzini, Martin Monperrus, Benoit Baudry
article
ICSME - 30th IEEE International Conference on Software Maintenance and Evolution, Sep 2014, Victoria, Canada. pp.261-270, &#x27E8;10.1109/ICSME.2014.48&#x27E9;
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01063789/file/main.pdf BibTex
titre
Slicing-based Techniques for Visualizing Large Metamodels
auteur
Arnaud Blouin, Naouel Moha, Benoit Baudry, Houari Sahraoui
article
IEEE Working Conference on Software Visualization (VISSOFT 2014), Sep 2014, Victoria, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01056217/file/vissoft14Blouin.pdf BibTex
titre
Safely Reusing Model Transformations through Family Polymorphism
auteur
Jean-Marc Jézéquel
article
8th System Analysis and Modelling Confrence (SAM2014), Sep 2014, Valencia, Spain
Accès au bibtex
BibTex
titre
Variability Management in Domain-Specific Languages
auteur
David Méndez-Acuña
article
Doctoral Symposium of 17th International Conference in Model-Driven Engineering Languages and Systems, Sep 2014, Valencia, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01077834/file/0-main%20%281%29.pdf BibTex
titre
A Native Versioning Concept to Support Historized Models at Runtime
auteur
Thomas Hartmann, François Fouquet, Gregory Nain, Brice Morin, Jacques Klein, Olivier Barais, Yves Le Traon
article
ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Sep 2014, Valencia, Spain. pp.252 - 268, &#x27E8;10.1007/978-3-319-11653-2_16&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01097020/file/Models14-author-preprint-270614.pdf BibTex
titre
Scalable Armies of Model Clones through Data Sharing
auteur
Erwan Bousse, Benoit Combemale, Benoit Baudry
article
Model Driven Engineering Languages and Systems, 17th International Conference, MODELS 2014, Sep 2014, Valencia, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01023681/file/modelcloning-final2.pdf BibTex
titre
The Relevance of Model-Driven Engineering Thirty Years from Now
auteur
Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty H.C. Cheng, Philippe Collet, Benoit Combemale, Robert France, Rogardt Heldal, James Hill, Jörg Kienzle, Matthias Schöttle, Friedrich Steimann, Dave Stikkolorum, Jon Whittle
article
Model-Driven Engineering Languages and Systems, Sep 2014, Valencia, Spain. pp.18, &#x27E8;10.1007/978-3-319-11653-2_12&#x27E9;
Accès au bibtex
BibTex
titre
ViViD: A Variability-Based Tool for Synthesizing Video Sequences
auteur
Mathieu Acher, Mauricio Alférez, José Angel Galindo Duarte, Pierre Romenteau, Benoit Baudry
article
SPLC'14 (tool demonstration track), Sep 2014, Florence, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01020933/file/paper.pdf BibTex
titre
Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language
auteur
Mathieu Acher, Benoit Combemale, Philippe Collet
article
Onward! Essays, Sep 2014, Portland, United States. pp.243--253, &#x27E8;10.1145/2661136.2661159&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01061576/file/onwd1446-acher.pdf BibTex
titre
Moving Toward Product Line Engineering in a Nuclear Industry Consortium
auteur
Sana Ben Nasr, Nicolas Sannier, Mathieu Acher, Benoit Baudry
article
18th International Software Product Line Conference (SPLC'2014), Sep 2014, Florence, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01019537/file/Ben-Nasr_Sannier_Acher_Baudry_Moving_toward_PLE_in_nuclear_industry.pdf BibTex
titre
WebFML: Synthesizing Feature Models Everywhere
auteur
Guillaume Bécan, Sana Ben Nasr, Mathieu Acher, Benoit Baudry
article
SPLC - 18th International Software Product Line Conference, Sep 2014, Florence, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01022912/file/SPLC2014-WebFML.pdf BibTex
titre
Automating the Formalization of Product Comparison Matrices
auteur
Guillaume Bécan, Nicolas Sannier, Mathieu Acher, Olivier Barais, Arnaud Blouin, Benoit Baudry
article
ASE - 29th IEEE/ACM International Conference on Automated Software Engineering, Sep 2014, Västerås, Sweden. &#x27E8;10.1145/2642937.2643000&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01058440/file/FromData2Models.pdf BibTex
titre
SPLTea 2014: First International Workshop on Software Product Line Teaching
auteur
Mathieu Acher, Roberto Erick Lopez-Herrejon, Rick Rabiser
article
18th International Software Product Line Conference, Sep 2014, Florence, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01024990/file/spltea_summary.pdf BibTex
titre
Towards Managing Variability in the Safety Design of an Automotive Hall Effect Sensor
auteur
Dimitri Van Landuyt, Steven Op de Beeck, Aram Hovsepyan, Sam Michiels, Wouter Joosen, Sven Meynckens, Gjalt de Jong, Olivier Barais, Mathieu Acher
article
18th International Software Product Line Conference, Sep 2014, Florence, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01018938/file/splc.pdf BibTex
titre
MPLM -- MaTeLo Product Line Manager
auteur
Hamza Samih, Ralf Bogusch
article
18th International Software Product Line Conference (2014), Sep 2014, Florence, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01025159/file/MasterTexMPLM.pdf BibTex
titre
Conversations with my Washing Machine: An in-the-wild Study of Demand Shifting with Self-generated Energy
auteur
Jacky Bourgeois, Janet Van Der Linden, Gerd Kortuem, Blaine A. Price, Christopher Rimmer
article
2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2014), Sep 2014, Seattle, WA, United States. &#x27E8;10.1145/2632048.2632106&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090641/file/ubicomp-camera-ready.pdf BibTex
titre
Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis
auteur
Sophie Pinchinat, Mathieu Acher, Didier Vojtisek
article
Workshop on Formal Methods in the Development of Software (co-located with SEFM), Sep 2014, Grenoble, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01064645/file/SEFM-FMDS.pdf BibTex
titre
Vision-based Absolute Localization for Unmanned Aerial Vehicles
auteur
Aurelien Yol, Bertrand Delabarre, Amaury Dame, Jean-Emile Dartois, Eric Marchand
article
IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, IROS'14, Sep 2014, Chicago, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01010140/file/IROS14_vfinal_ayol.pdf BibTex
titre
Automating Variability Model Inference for Component-Based Language Implementations
auteur
Edoardo Vacchi, Walter Cazzola, Benoit Combemale, Mathieu Acher
article
SPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01023864/file/splc14-camera.pdf BibTex
titre
Using Participatory Data Analysis to Understand Social Constraints and Opportunities of Electricity Demand-Shifting
auteur
Jacky Bourgeois, Janet Van Der Linden, Gerd Kortuem, Christopher Rimmer
article
2nd International Conference on ICT for Sustainability (ICT4S 2014), Aug 2014, Stockholm, Sweden. &#x27E8;10.2991/ict4s-14.2014.49&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090643/file/ict4s-camera-ready.pdf BibTex
titre
Deriving Usage Model Variants for Model-based Testing: An Industrial Case Study
auteur
Hamza Samih, Mathieu Acher, Ralf Bogusch, Hélène Le Guen, Benoit Baudry
article
19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014), Aug 2014, Tianjin, China
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01002099/file/Deriving_Usage_Model_Variants_for_Model_based_Testing_An_Industrial_Case_Study.pdf BibTex
titre
A Variability-Based Testing Approach for Synthesizing Video Sequences
auteur
José Angel Galindo Duarte, Mauricio Alférez, Mathieu Acher, Benoit Baudry, David Benavides
article
ISSTA '14: International Symposium on Software Testing and Analysis, Jul 2014, San José, California, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01003148/file/paper.pdf BibTex
titre
Customization and 3D Printing: A Challenging Playground for Software Product Lines
auteur
Mathieu Acher, Benoit Baudry, Olivier Barais, Jean-Marc Jézéquel
article
18th International Software Product Line Conference, Jul 2014, Florence, Italy
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01018937/file/SPLC2014-3DPrinting.pdf BibTex
titre
Surrogate-Assisted Optimisation of Composite Applications in Mobile Ad hoc Networks
auteur
Dionysios Efstathiou, Peter Mcburney, Steffen Zschaler, Johann Bourcier
article
GECCO - Genetic and Evolutionary Computation Conference, Jul 2014, Vancouver, Canada
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00983064/file/pap444-efstathiou.pdf BibTex
titre
Designing and Evolving Distributed Architecture using Kevoree
auteur
François Fouquet, Grégory Nain, Erwan Daubert, Johann Bourcier, Olivier Barais, Noel Plouzeau, Brice Morin
article
QoSA '14 Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures, Jul 2014, Lille, France. pp.147-148, &#x27E8;10.1145/2602576.2611461&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01096941/file/p147-barais.pdf BibTex
titre
Using Path-Dependent Types to Build Type Safe JavaScript Foreign Function Interfaces
auteur
Julien Richard-Foy, Olivier Barais, Jean-Marc Jézéquel
article
ICWE - 14th International Conference on Web Engineering, Jul 2014, Toulouse, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01026148/file/icwe14.pdf BibTex
titre
Software Diversity: Challenges to handle the imposed, Opportunities to harness the chosen
auteur
Mathieu Acher, Olivier Barais, Benoit Baudry, Arnaud Blouin, Johann Bourcier, Benoit Combemale, Jean-Marc Jézéquel, Noël Plouzeau
article
GDR GPL, Jun 2014, Paris, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00980126/file/GDR-challenge.pdf BibTex
titre
May the fork be with you": novel metrics to analyze collaboration on GitHub
auteur
Marco Biazzini, Benoit Baudry
article
Proceedings of the 5th International Workshop on Emerging Trends in Software Metrics (WETSoM 2014), Jun 2014, Hyderabad, India. pp.37 - 43, &#x27E8;10.1145/2593868.2593875&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01085400/file/Biazzini14b.pdf BibTex
titre
A Prediction-Driven Adaptation Approach for Self-Adaptive Sensor Networks
auteur
Ivan Dario Paez Anaya, Viliam Simko, Johann Bourcier, Noël Plouzeau, Jean-Marc Jézéquel
article
9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, IEEE/ACM, Jun 2014, Hyderabad, India
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00983046/file/SEAMS14-main.pdf BibTex
titre
Vers une approche centrée humain pour la définition de langages de modélisation graphiques
auteur
Sophie Dupuy-Chessa, Benoit Combemale, Marie-Pierre Gervais, Thierry Nodenot, Xavier Le Pallec, Laurent Wouters
article
32ème congrès Inforsid'2014, May 2014, Lyon, France. pp.79-94
Accès au bibtex
BibTex
titre
INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis
auteur
Nicolas Sannier, Benoit Baudry
article
REFSQ'2014 - the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, Apr 2014, Essen, Germany
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00982065/file/REFSQ2014-increment.pdf BibTex
titre
Scapegoat: an Adaptive monitoring framework for Component-based systems
auteur
Inti Gonzalez-Herrera, Johann Bourcier, Erwan Daubert, Walter Rudametkin, Olivier Barais, François Fouquet, Jean-Marc Jézéquel
article
Working IEEE/IFIP Conference on Software Architecture, IEEE/IFIP, Apr 2014, Syndey, Australia
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00983045/file/sig-alternate.pdf BibTex
titre
Sound Merging and Differencing for Class Diagrams
auteur
Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wąsowski
article
FASE 2014 : 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France. pp.63 - 78, &#x27E8;10.1007/978-3-642-54804-8_5&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01087323/file/fase-final.pdf BibTex
titre
When Model Driven Engineering meets Virtual Reality: Feedback from Application to the Collaviz Framework
auteur
Thierry Duval, Arnaud Blouin, Jean-Marc Jézéquel
article
Software Engineering and Architectures for Realtime Interactive Systems Working Group, Mar 2014, Minnesota, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00969072/file/MDEVR.pdf BibTex
titre
An Architecture-Based Approach for Compute-Intensive Pervasive Systems in Dynamic Environments
auteur
Rima Al Ali, Ilias Gerostathopoulos, Inti Gonzalez-Herrera, Adrian Juan-Verdejo, Michal Kit, Bholanathsingh Surajbali
article
International Workshop on Hot TopiCS in Cloud Cloud service Scalability (HotTopiCS 2014), Mar 2014, Dublin, Ireland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091541/file/2014-AlAli_etal-HottopicsICPE.pdf BibTex
titre
DIVERSIFY: Ecology-inspired software evolution for diversity emergence
auteur
Benoit Baudry, Martin Monperrus, Cendrine Mony, Franck Chauvel, Franck Fleurey, Siobhàn Clarke
article
Proceedings of IEEE CSMR-WCRE, Feb 2014, Antwerp, Belgium. pp.395-398, &#x27E8;10.1109/CSMR-WCRE.2014.6747203&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916281/file/csmr14-diversify.pdf BibTex
titre
Reverse Engineering Web Configurators
auteur
Ebrahim Khalil Abbasi, Mathieu Acher, Patrick Heymans, Anthony Cleve
article
17th European Conference on Software Maintenance and Reengineering (CSMR), Feb 2014, Antwerp, Belgium
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00913139/file/csmr-main.pdf BibTex
titre
A Survey on Teaching of Software Product Lines
auteur
Mathieu Acher, Roberto Erick Lopez-Herrejon, Rick Rabiser
article
Eight International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'14), Jan 2014, Nice, France. pp.1-8, &#x27E8;10.1145/2556624.2556629&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916746/file/vamos14.pdf BibTex
titre
Comparing or Configuring Products: Are We Getting the Right Ones?
auteur
Nicolas Sannier, Guillaume Bécan, Mathieu Acher, Sana Ben Nasr, Benoit Baudry
article
8th International Workshop on Variability Modelling of Software-intensive Systems, Jan 2014, Nice, France. &#x27E8;10.1145/2556624.2556636&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00927312/file/VAMOS2014vision.pdf BibTex
titre
Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants
auteur
Benoit Baudry, Simon Allier, Martin Monperrus
article
Proceedings of the International Symposium on Software Testing and Analysis, 2014, San Jose, United States. pp.149-159, &#x27E8;10.1145/2610384.2610415&#x27E9;
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00938855/file/sosies.pdf BibTex

Book sections

titre
Software Architectures and Multiple Variability
auteur
Mathieu Acher, Philippe Collet, Philippe Lahire
article
Software Architecture 2, ISTE Editions, 2014, 9781848216884. &#x27E8;http://www.iste.co.uk/index.php?p=a&ACTION=View&id=787&#x27E9;
Accès au bibtex
BibTex
titre
Architectures logicielles et variabilité multiple
auteur
Mathieu Acher, Philippe Collet, Philippe Lahire
article
Architectures logicielles : principes, techniques et outils, Lavoisier, 2014, &#x27E8;http://www.lavoisier.fr/livre/informatique/architectures-logicielles/oussalah/descriptif-9782746245174&#x27E9;
Accès au bibtex
BibTex
titre
A Reference Architecture and Roadmap for Models@run.time Systems
auteur
Uwe Aßmann, Sebastian Gotz, Jean-Marc Jézéquel, Brice Morin, Mario Trapp
article
Models@run.time - Foundations, Applications, and Roadmaps, 2014
Accès au bibtex
BibTex

Directions of work or proceedings

titre
GEMOC 2014 2nd International Workshop on The Globalization of Modeling Languages
auteur
Benoit Combemale, Julien Deantoni, Robert France
article
Benoit Combemale; Julien Deantoni; Robert France. GEMOC 2014 co-located with MODELS 2014, Sep 2014, Valencia, France. 1236, pp.82, 2014, CEUR-WS, 1613-0073. &#x27E8;http://ceur-ws.org/Vol-1236/&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01074602/file/GEMOC2014-complete.pdf BibTex
titre
Software Language Engineering
auteur
Benoit Combemale, David Pearce, Olivier Barais, Jurgen Vinju
article
Benoît Combemale and David J. Pearce and Olivier Barais and Jurgen J. Vinju. SLE 7 - Proceedings of International Conference on Software Language Engineering 2014, Sep 2014, Västerås, Sweden. Springer, pp.353, 2014, 978-3-319-11245-9. &#x27E8;http://link.springer.com/book/10.1007%2F978-3-319-11245-9&#x27E9;
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Utilisation de la modélisation à l’exécution : objectif, challenges et bénéfices
auteur
Olivier Barais
article
Informatique et langage [cs.CL]. Université de Rennes 1, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01096952/file/hdr_final_complete.pdf BibTex

Poster communications

titre
Variability Management in Domain-Specific Languages
auteur
David Méndez-Acuña, Benoit Combemale, Benoit Baudry
article
International School of Model-Driven Development for Distributed Real-Time Embedded Systems (MDDRES), Sep 2014, Aber-Wrac'h, France. 2014, &#x27E8;http://www.mdd4dres.org&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01077788/file/poster-A4.pdf BibTex

Reports

titre
Operational Semantics of the Model of Concurrency and Communication Language
auteur
Julien Deantoni, Papa Issa Diallo, Joël Champeau, Benoit Combemale, Ciprian Teodorov
article
[Research Report] RR-8584, INRIA. 2014, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01060601/file/RR-8584.pdf BibTex
titre
Modeling Variability in the Video Domain: Language and Experience Report
auteur
Mauricio Alférez, José Angel Galindo Duarte, Mathieu Acher, Benoit Baudry
article
[Research Report] RR-8576, INRIA. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01023159/file/RR-8576.pdf BibTex
titre
Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use
auteur
François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel
article
[Research Report] TR-SnT-2014-11, University of Luxembourg. 2014, pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00996764/file/KevoreeModelingFramework.pdf BibTex
titre
The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond
auteur
Benoit Baudry, Martin Monperrus
article
[Research Report] hal-01067782, INRIA. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01067782/file/survey-software-diversity.pdf BibTex
titre
Analysis and Exploitation of Natural Software Diversity: The Case of API Usages
auteur
Diego Mendez, Benoit Baudry, Martin Monperrus
article
[Research Report] hal-01095501, Inria. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01095501/file/analysis-exploitation-api-diversity.pdf BibTex

Theses

titre
Ingénierie des applications Web : réduire la complexité sans diminuer le contrôle
auteur
Julien Richard-Foy
article
Génie logiciel [cs.SE]. Université de Rennes 1, France, 2014. Français
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01087372/file/these.pdf BibTex
titre
Test basé sur les modèles appliqué aux lignes de produits
auteur
Hamza Samih
article
Informatique. Université Rennes 1, 2014. Français. &#x27E8;NNT : 2014REN1S109&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01092342/file/these.pdf BibTex
titre
Leveraging model-based product lines for systems engineering
auteur
João Bosco Ferreira Filho
article
Software Engineering [cs.SE]. Université Rennes 1, 2014. English. &#x27E8;NNT : 2014REN1S080&#x27E9;
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01127500/file/2014REN1S080.pdf BibTex
titre
Gestion de la variabilité et automatisation des processus de développement logiciel
auteur
Emmanuelle Rouillé
article
Génie logiciel [cs.SE]. Université Rennes 1, 2014. Français. &#x27E8;NNT : 2014REN1S022&#x27E9;
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01061129/file/ROUILLE_Emmanuelle.pdf BibTex

Preprints, Working Papers, ...

titre
The K3 Model-Based Language Workbench
auteur
Thomas Degueule, Olivier Barais, Arnaud Blouin, Benoit Combemale
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01025283/file/K3-mdd4dres.pdf BibTex
titre
Leveraging Family Polymorphism in MDE
auteur
Thomas Degueule, Benoit Combemale, Olivier Barais, Arnaud Blouin, Jean-Marc Jézéquel
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00994541/file/wip-k3sle.pdf BibTex

2013

Conference papers

titre
Combining Verification and Validation techniques
auteur
Erwan Bousse
article
Doctoral Symposium of ECMFA, ECOOP and ECSA 2013, Jul 2013, Montpellier, France. pp.10
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01183129/file/final.pdf BibTex
titre
Towards Trust-Aware and Self-adaptive Systems
auteur
Francisco Moyano, Benoit Baudry, Javier Lopez
article
7th Trust Management (TM), Jun 2013, Malaga, Spain. pp.255-262, &#x27E8;10.1007/978-3-642-38323-6_20&#x27E9;
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01468178/file/978-3-642-38323-6_20_Chapter.pdf BibTex

Theses

titre
Facilités de typage pour l'ingénierie des langages
auteur
Clément Guy
article
Autre [cs.OH]. Université Rennes 1, 2013. Français. &#x27E8;NNT : 2013REN1S141&#x27E9;
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00917789/file/GUY_Clement.pdf BibTex
titre
Approche à contraintes pour la sélection de Covering Array
auteur
Aymeric Hervieu
article
Autre [cs.OH]. Université Rennes 1, 2013. Français. &#x27E8;NNT : 2013REN1S143&#x27E9;
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00915223/file/HERVIEU_Aymeric.pdf BibTex

2011

Conference papers

titre
SocioPath: In Whom You Trust?
auteur
Nagham Alhadad, Philippe Lamarre, Patricia Serrano-Alvarado, Yann Busnel, Marco Biazzini
article
Atelier Protection de la Vie Privée / Géolocalisation et Vie Privée (APVP), Jun 2011, Soreze, France
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01362325/file/2011-APVP%20SocioPath-Article_6.pdf BibTex