Publications

2020

Salamander: a Holistic Scheduling of MapReduce Jobs on Ephemeral Cloud Resources

Handaoui, Mohamed and Dartois, Jean-Emile and Lemarchand, Laurent and Boukhobza, Jalil
CCGRID 2020 - 20th IEEE/ACM International Symposium on Cluster, Cloud and Grid Computing,IEEE, 2020
Details

Towards an Assessment Grid for Intelligent Modeling Assistance

Mussbacher, Gunter and Combemale, Benoit and Abrahão, Silvia and Bencomo, Nelly and Burgueño, Loli and Engels, Gregor and Kienzle, Jörg and Kühn, Thomas and Mosser, Sébastien and Sahraoui, Houari and Weyssow, Martin
MDE Intelligence 2020 - 2nd Workshop on Artificial Intelligence and Model-driven Engineering,, 2020
Details

A Language Agnostic Approach to Modeling Requirements: Specification and Verification

Alidra, Abdelghani and BEUGNARD, Antoine and Godfroy, Hubert and Kimmel, Pierre and Le Guernic, Gurvan
MODELS ’20 Companion,, 2020
Details

Towards Model-Driven Digital Twin Engineering: Current Opportunities and Future Challenges

Bordeleau, Francis and Combemale, Benoit and Eramo, Romina and Van Den Brand, Mark and Wimmer, Manuel
ICSMM 2020 - International Conference on Systems Modelling and Management,, 2020
Details

Sampling Effect on Performance Prediction of Configurable Systems: A Case Study

Alves Pereira, Juliana and Acher, Mathieu and Martin, Hugo and Jézéquel, Jean-Marc
ICPE 2020 - 11th ACM/SPEC International Conference on Performance Engineering,ACM, 2020
Details

MALTESQUE 2019 Workshop Summary

Fontana, Francesca Arcelli and Perrouin, Gilles and Ampatzoglou, Apostolos and Acher, Mathieu and Walter, Bartosz and Cordy, Maxime and Palomba, Fabio and Devroey, Xavier
Software Engineering Notes,Association for Computing Machinery, 2020
Details

Loop Aggregation for Approximate Scientific Computing

Sallou, June and Gauvain, Alexandre and Bourcier, Johann and Combemale, Benoit and De Dreuzy, Jean-Raynald
Computational Science – ICCS 2020,Springer, 2020
Details

Live Modeling in the Context of State Machine Models and Code Generation

Bagherzadeh, Mojtaba and Jahed, Karim and Combemale, Benoit and Dingel, Juergen
Software and Systems Modeling,Springer Verlag, 2020
Details

Opportunities in Intelligent Modeling Assistance

Mussbacher, Gunter and Combemale, Benoit and Kienzle, Jörg and Abrahão, Silvia and Ali, Hyacinth and Bencomo, Nelly and Búr, Márton and Burgueño, Loli and Engels, Gregor and Jeanjean, Pierre and Jézéquel, Jean-Marc and Kühn, Thomas and Mosser, Sébastien and Sahraoui, Houari and Syriani, Eugene and Varró, Dániel and Weyssow, Martin
Software and Systems Modeling,Springer Verlag, 2020
Details

A Hitchhiker's Guide to Model-Driven Engineering for Data-Centric Systems

Combemale, Benoit and Kienzle, Jörg and Mussbacher, Gunter and Ali, Hyacinth and Amyot, Daniel and Bagherzadeh, Mojtaba and Batot, Edouard and Bencomo, Nelly and Benni, Benjamin and Bruel, Jean-Michel and Cabot, Jordi and Cheng, Betty H C and Collet, Philippe and Engels, Gregor and Heinrich, Robert and Jézéquel, Jean-Marc and Koziolek, Anne and Mosser, Sébastien and Reussner, Ralf and Sahraoui, Houari and Saini, Rijul and Sallou, June and Stinckwich, Serge and Syriani, Eugene and Wimmer, Manuel
IEEE Software,Institute of Electrical and Electronics Engineers, 2020
Details

Automatic generation of Truffle-based interpreters for Domain-Specific Languages

Leduc, Manuel and Jouneaux, Gwendal and Degueule, Thomas and Le Guernic, Gurvan and Barais, Olivier and Combemale, Benoit
The Journal of Object Technology,Chair of Software Engineering, 2020
Details

2019

On modularity and performance of External Domain-Specific Language implementations

Leduc, Manuel
PhD: Université de rennes 1, 2019
Details

Experience Report on the Development of a Specialized Multi-view Multi-stakeholder Model-Based Engineering Framework (extended version)

Le Guernic, Gurvan
Inria Rennes - Bretagne Atlantique ; IRISA, 2019
Details

Modeling and assessing the security of the authentication procedure

Ndiaye, Youssou
PhD: Université Rennes 1, 2019
Details

Dynamic program analysis for suggesting test improvements to developers

Vera-Pérez, Oscar Luis
PhD: Université de Rennes 1 [UR1], 2019
Details

Leveraging metamorphic testing to automatically detect inconsistencies in code generator families

Boussaa, Mohamed and Barais, Olivier and Sunyé, Gerson and Baudry, Benoit
Software Testing, Verification and Reliability,Wiley, 2019
Details

Towards a modelling framework with temporal and uncertain data for adaptive systems

Mouline, Ludovic
PhD: Université Rennes 1 ; Université du Luxembourg, 2019
Details

A Collaborative Strategy for mitigating Tracking through Browser Fingerprinting

Gómez-Boix, Alejandro and Frey, Davide and Bromberg, Yérom-David and Baudry, Benoit
MTD 2019 - 6th ACM Workshop on Moving Target Defense,, 2019
Details

Towards a Modelling Framework with Temporal and Uncertain Data for Adaptive Systems

Mouline, Ludovic
PhD: Université Rennes 1 ; Université du Luxembourg, 2019
Details

From DSL Specification to Interactive Computer Programming Environment

Jeanjean, Pierre and Combemale, Benoit and Barais, Olivier
SLE 2019 - 12th ACM SIGPLAN International Conference on Software Language Engineering,ACM, 2019
Details

Learning Very Large Configuration Spaces: What Matters for Linux Kernel Sizes

Acher, Mathieu and Martin, Hugo and Pereira, Juliana Alves and Blouin, Arnaud and Jézéquel, Jean-Marc and Khelladi, Djamel Eddine and Lesoil, Luc and Barais, Olivier
Inria Rennes - Bretagne Atlantique, 2019
Details

Experience Report on the Development of a Specialized Multi-view Multi-stakeholder Model-Based Engineering Framework

Le Guernic, Gurvan
DSM 2019 - 17th ACM SIGPLAN International Workshop on Domain-Specific Modeling,ACM Press, 2019
Details

Tracking Application Fingerprint in a Trustless Cloud Environment for Sabotage Detection

DARTOIS, Jean-Emile and Boukhobza, Jalil and Francoise, Vincent and Barais, Olivier
MASCOTS 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems,IEEE, 2019
Details

Leveraging cloud unused resources for Big data application while achieving SLA

DARTOIS, Jean-Emile and Meriau, Ivan and Handaoui, Mohamed and Boukhobza, Jalil and Barais, Olivier
MASCOTS 2019 - 27th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems,IEEE, 2019
Details

Detecting and Exploring Side Effects when Repairing Model Inconsistencies

Khelladi, Djamel Eddine and Kretschmer, Roland and Egyed, Alexander
SLE 2019 - 12th ACM SIGPLAN International Conference on Software Language Engineering,ACM, 2019
Details

Benefits of Energy Management Systems on local energy efficiency, an agricultural case study

Rio, Alexandre and Maurel, Yoann and Bugni, Yoran and Barais, Olivier
SmartGridComm 2019 - IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids,IEEE, 2019
Details

Learning the Linux Kernel Configuration Space: Results and Challenges

Acher, Mathieu
ELC Europe 2019 - Embedded Linux Conference Europe 2019,, 2019
Details

Bringing Intelligence to Sociotechnical IoT Systems: Modeling Opportunities and Challenges

Combemale, Benoit
MDE4IoT 2019 - 3nd International Workshop on Model-Driven Engineering for the Internet-of-Things,, 2019
Details

Live-UMLRT: A Tool for Live Modeling of UML-RT Models

Bagherzadeh, Mojtaba and Jahed, Karim and Combemale, Benoit and Dingel, Juergen
MODELS 2019 - ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems,IEEE, 2019
Details

Machine Learning and Configurable Systems: A Gentle Introduction

Martin, Hugo and Pereira, Juliana Alves and Temple, Paul and Acher, Mathieu
SPLC 2019 - 23rd International Systems and Software Product Line Conference,ACM, 2019
Details

Seventh international workshop on reverse variability engineering (REVE 2019)

Acher, Mathieu and Ziadi, Tewfik and Lopez-Herrejon, Roberto E and Martinez, Jabier
SPLC 2019 - 23rd International Systems and Software Product Line Conference,ACM Press, 2019
Details

Towards Quality Assurance of Software Product Lines with Adversarial Configurations

Temple, Paul and Acher, Mathieu and Perrouin, Gilles and Biggio, Battista and Jézéquel, Jean-Marc and Roli, Fabio
SPLC 2019 - 23rd International Systems and Software Product Line Conference,ACM, 2019
Details

Contribution to the Engineering of User Interfaces

Blouin, Arnaud
PhD: Université de Rennes 1 [UR1], 2019
Details

A Snowballing Literature Study on Test Amplification

Danglot, Benjamin and Vera-Pérez, Oscar Luis and Yu, Zhongxing and Zaidman, Andy and Monperrus, Martin and Baudry, Benoit
Journal of Systems and Software,Elsevier, 2019
Details

Cuckoo: Opportunistic MapReduce on Ephemeral and Heterogeneous Cloud Resources

DARTOIS, Jean-Emile and Ribeiro, Heverson B. and Boukhobza, Jalil and Barais, Olivier
CLOUD 2019 - IEEE 12th International Conference on Cloud Computing,IEEE, 2019
Details

Empirical Assessment of Multimorphic Testing

Temple, Paul and Acher, Mathieu and Jézéquel, Jean-Marc
IEEE Transactions on Software Engineering,Institute of Electrical and Electronics Engineers, 2019
Details

Discovering Indicators for Classifying Wikipedia Articles in a Domain: A Case Study on Software Languages

Heinz, Marcel and Lämmel, Ralf and Acher, Mathieu
SEKE 2019 - The 31st International Conference on Software Engineering and Knowledge Engineering,, 2019
Details

Learning Software Configuration Spaces: A Systematic Literature Review

Alves Pereira, Juliana and Martin, Hugo and Acher, Mathieu and Jézéquel, Jean-Marc and Botterweck, Goetz and Ventresque, Anthony
Univ Rennes, Inria, CNRS, IRISA, 2019
Details

Comparison Matrices of Semantic RESTful APIs Technologies

Cheron, Antoine and Bourcier, Johann and Barais, Olivier and Michel, Antoine
ICWE 2019 - 19th International Conference On Web Engineering,Springer, 2019
Details

Morellian Analysis for Browsers: Making Web Authentication Stronger with Canvas Fingerprinting

Laperdrix, Pierre and Avoine, Gildas and Baudry, Benoit and Nikiforakis, Nick
Detection of Intrusions and Malware, and Vulnerability Assessment - 16th International Conference, DIMVA 2019, Gothenburg, Sweden, June 19-20, 2019, Proceedings,, 2019
Details

Learning From Thousands of Build Failures of Linux Kernel Configurations

Acher, Mathieu and Martin, Hugo and Alves Pereira, Juliana and Blouin, Arnaud and Eddine Khelladi, Djamel and Jézéquel, Jean-Marc
Inria ; IRISA, 2019
Details

Development of Secure System of Systems Needing a Rapid Deployment

Messe, Nan and Belloir, Nicolas and Chiprianov, Vanea and Cherfa, Imane and Fleurquin, Régis and Sadou, Salah
2019 14th Annual Conference System of Systems Engineering (SoSE),Association for the Scientific Study of Consciousness, 2019
Details

Supporting A Flexible Grouping Mechanism for Collaborating Engineering Teams

Kanakis, Georgios and Fischer, Stefan and Khelladi, Djamel Eddine and Egyed, Alexander
ICGSE 2019 - 14th ACM/IEEE International Conference on Global Software Engineering,IEEE, 2019
Details

The Emergence of Software Diversity in Maven Central

Soto-Valero, César and Benelallam, Amine and Harrand, Nicolas and Barais, Olivier and Baudry, Benoit
MSR 2019 - 16th International Conference on Mining Software Repositories,ACM, 2019
Details

The Maven Dependency Graph: a Temporal Graph-based Representation of Maven Central

Benelallam, Amine and Harrand, Nicolas and Soto-Valero, César and Baudry, Benoit and Barais, Olivier
MSR 2019 - 16th International Conference on Mining Software Repositories,ACM, 2019
Details

Uniform Sampling of SAT Solutions for Configurable Systems: Are We There Yet?

Plazar, Quentin and Acher, Mathieu and Perrouin, Gilles and Devroey, Xavier and Cordy, Maxime
ICST 2019 - 12th IEEE International Conference on Software Testing, Verification, and Validation,IEEE, 2019
Details

Approximate Loop Unrolling

Rodriguez-Cancio, Marcelino and Combemale, Benoit and Baudry, Benoit
CF 2019 - ACM International Conference on Computing Frontiers,ACM, 2019
Details

Requirements for preventing logic flaws in the authentication procedure of web applications

Ndiaye, Youssou and Barais, Olivier and Blouin, Arnaud and Bouabdallah, Ahmed and Aillery, Nicolas
SAC 2019 - 34th ACM/SIGAPP Symposium On Applied Computing,, 2019
Details

Towards Learning-Aided Configuration in 3D Printing: Feasibility Study and Application to Defect Prediction

Amand, Benoit and Cordy, Maxime and Heymans, Patrick and Acher, Mathieu and Temple, Paul and Jézéquel, Jean-Marc
VAMOS 2019 - 13th International Workshop on Variability Modelling of Software-Intensive Systems,ACM, 2019
Details

Advanced and efficient execution trace management for executable domain-specific modeling languages

Bousse, Erwan and Mayerhofer, Tanja and Combemale, Benoit and Baudry, Benoit
Software and Systems Modeling,Springer Verlag, 2019
Details

Comparing and Classifying Model Transformation Reuse Approaches across Metamodels

Bruel, Jean-Michel and Combemale, Benoit and Guerra, Esther M and Jézéquel, Jean-Marc and Kienzle, Jörg and De Lara, Juan and Mussbacher, Gunter and Syriani, Eugene and Vangheluwe, Hans
Software and Systems Modeling,Springer Verlag, 2019
Details

Towards a Model-Based DevOps for Cyber-Physical Systems

Combemale, Benoit and Wimmer, Manuel
Software Engineering Aspects of Continuous Development,Springer-Verlag, 2019
Details

A Unifying Framework for Homogeneous Model Composition

Kienzle, Jörg and Mussbacher, Gunter and Combemale, Benoit and Deantoni, Julien
Software and Systems Modeling,Springer Verlag, 2019
Details

Modeling Languages in Industry 4.0: An Extended Systematic Mapping Study

Wortmann, Andreas and Barais, Olivier and Combemale, Benoit and Wimmer, Manuel
Software and Systems Modeling,Springer Verlag, 2019
Details

Towards Model-Driven Sustainability Evaluation

Kienzle, Jörg and Mussbacher, Gunter and Combemale, Benoit and Bastin, Lucy and Bencomo, Nelly and Bruel, Jean-Michel and Becker, Christoph and Betz, Stefanie and Chitchyan, Ruzanna and Cheng, Betty and Klingert, Sonja and Paige, Richard and Penzenstadler, Birgit and Seyff, Norbert and Syriani, Eugene and Venters, Colin C
Communications of the ACM,ACM, 2019
Details

An Empirical Study on the Impact of Inconsistency Feedback during Model and Code Co-changing.

Kanakis, Georgios and Khelladi, Djamel Eddine and Fischer, Stefan and Tröls, Michael and Egyed, Alexander
The Journal of Object Technology,Chair of Software Engineering, 2019
Details

The JOT Journal: Towards a Rising Generation

Pierantonio, Alfonso and Van Den Brand, Mark and Combemale, Benoit
Journal of Object Technology (JOT),JOT, 2019
Details

Applying Model-Driven Engineering to High-Performance Computing: Experience Report, Lessons Learned, and Remaining Challenges

Lelandais, Benoît and Oudot, Marie-Pierre and Combemale, Benoit
Journal of Computer Languages,Elsevier, 2019
Details

Investigating Machine Learning Algorithms for Modeling SSD I/O Performance for Container-based Virtualization

DARTOIS, Jean-Emile and Boukhobza, Jalil and Knefati, Anas and Barais, Olivier
IEEE transactions on cloud computing,IEEE, 2019
Details

Automatic Test Improvement with DSpot: a Study with Ten Mature Open-Source Projects

Danglot, Benjamin and Vera-Pérez, Oscar Luis and Baudry, Benoit and Monperrus, Martin
Empirical Software Engineering,Springer Verlag, 2019
Details

Modeling Variability in the Video Domain: Language and Experience Report

Alférez, Mauricio and Acher, Mathieu and Galindo, José A and Baudry, Benoit and Benavides, David
Software Quality Journal,Springer Verlag, 2019
Details

The Software Language Extension Problem

Leduc, Manuel and Degueule, Thomas and Van Wyk, Eric and Combemale, Benoit
Software and Systems Modeling,Springer Verlag, 2019
Details

2018

Using Quantile Regression for Reclaiming Unused Cloud Resources while achieving SLA

Dartois, Jean-Emile and Knefati, Anas and Boukhobza, Jalil and Barais, Olivier
CloudCom 2018 - 10th IEEE International Conference on Cloud Computing Technology and Science,IEEE, 2018
Details

Investigate the matrix : leveraging variability to specialize software and test suites

Temple, Paul
PhD: Université Rennes 1, 2018
Details

Modular Language Composition for the Masses

Leduc, Manuel and Degueule, Thomas and Combemale, Benoit
SLE 2018 - 11th ACM SIGPLAN International Conference on Software Language Engineering,, 2018
Details

Shape-Diverse DSLs: Languages without Borders (Vision Paper)

Coulon, Fabien and Degueule, Thomas and Van Der Storm, Tijs and Combemale, Benoit
SLE 2018 - 11th ACM SGIPLAN International Conference on Software Language Engineering,ACM, 2018
Details

Fostering metamodels and grammars within a dedicated environment for HPC: the NabLab environment (tool demo)

Lelandais, Benoît and Oudot, Marie-Pierre and Combemale, Benoit
SLE 2018 - International Conference on Software Language Engineering,, 2018
Details

Tool-Support of Socio-Technical Coordination in the Context of Heterogeneous Modeling: A Research Statement and Associated Roadmap

Bordeleau, Francis and Combemale, Benoit and Eramo, Romina and Brand, Mark Van Den and Wimmer, Manuel
GEMOC 2018 - 6th International Workshop on The Globalization of Modeling Languages,, 2018
Details

Efficient use of local energy: An activity oriented modeling to guide Demand Side Management

Rio, Alexandre and Maurel, Yoann and Barais, Olivier and Bugni, Yoran
MODELS 2018 - 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems,ACM Press, 2018
Details

Model driven synthesis of virtual reality applications

Le Moulec, Gwendal
PhD: INSA de Rennes, 2018
Details

Teaching Software Product Lines: A Snapshot of Current Practices and Challenges (Journal-First Abstract)

Acher, Mathieu and Lopez-Herrejon, Roberto E and Rabiser, Rick
SPLC2018 - 22nd International Systems and Software Product Line Conference,, 2018
Details

A Temporal Model for Interactive Diagnosis of Adaptive Systems

Mouline, Ludovic and Benelallam, Amine and Fouquet, François and Bourcier, Johann and Barais, Olivier
ICAC 2018 - IEEE International Conference on Autonomic Computing,, 2018
Details

Descartes: a PITest engine to detect pseudo-tested methods - Tool Demonstration

Vera-Pérez, Oscar Luis and Monperrus, Martin and Baudry, Benoit
ASE 2018 - 33rd ACM/IEEE International Conference on Automated Software Engineering, Tool demonstration track,ACM Press, 2018
Details

Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation

Danglot, Benjamin and Preux, Philippe and Baudry, Benoit and Monperrus, Martin
Empirical Software Engineering,Springer Verlag, 2018
Details

Automatic Production of End User Documentation for DSLs

Le Moulec, Gwendal and Blouin, Arnaud and Gouranton, Valérie and Arnaldi, Bruno
Computer Languages, Systems and Structures,Elsevier, 2018
Details

Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack

Halin, Axel and Nuttinck, Alexandre and Acher, Mathieu and Devroey, Xavier and Perrouin, Gilles and Baudry, Benoit
Empirical Software Engineering,Springer Verlag, 2018
Details

Trace Comprehension Operators for Executable DSLs

Leroy, Dorian and Bousse, Erwan and Megna, Anaël and Combemale, Benoit and Wimmer, Manuel
ECMFA 2018 - 14th European Conference on Modelling Foundations and Applications,Springer, 2018
Details

Demand Side Management A model driven approach to promote energy self-consumption

Rio, Alexandre and Maurel, Yoann and Barais, Olivier and Bugni, Yoran
PhD: Poster,Colloque de l'institut Mines Télécom, 2018
Details

Model Transformation Reuse across Metamodels - A classification and comparison of approaches

Bruel, Jean-Michel and Combemale, Benoit and Guerra, Esther and Jézéquel, Jean-Marc and Kienzle, Jörg and De Lara, Juan and Mussbacher, Gunter and Syriani, Eugene and Vangheluwe, Hans
ICMT 2018 - International Conference on Theory and Practice of Model Transformations,Springer, 2018
Details

Multimorphic Testing

Temple, Paul and Acher, Mathieu and Jézéquel, Jean-Marc
ICSE '18 - ACM/IEEE 40th International Conference on Software Engineering,, 2018
Details

User Interface Design Smell: Automatic Detection and Refactoring of Blob Listeners

Blouin, Arnaud and Lelli, Valéria and Baudry, Benoit and Coulon, Fabien
Information and Software Technology,Elsevier, 2018
Details

User controlled trust and security level of Web real-time communications

Corre, Kevin
PhD: Université Rennes 1, 2018
Details

Detection and Analysis of Behavioral T-patterns in Debugging Activities

Soto-Valero, César and Bourcier, Johann and Baudry, Benoit
MSR 2018 - Mining Software Repositories,, 2018
Details

Towards Estimating and Predicting User Perception on Software Product Variants

Martinez, Jabier and Sottet, Jean-Sébastien and García Frey, Alfonso and Bissyandé, Tegawendé and Ziadi, Tewfik and Klein, Jacques and Temple, Paul and Acher, Mathieu and Le Traon, Yves
ICSR 2018 - International Conference on Software Reuse,Springer, 2018
Details

FP-STALKER: Tracking Browser Fingerprint Evolutions

Vastel, Antoine and Laperdrix, Pierre and Rudametkin, Walter and Rouvoy, Romain
IEEE S&P 2018 - 39th IEEE Symposium on Security and Privacy,IEEE, 2018
Details

Hiding in the Crowd: an Analysis of the Effectiveness of Browser Fingerprinting at Large Scale

Gómez-Boix, Alejandro and Laperdrix, Pierre and Baudry, Benoit
WWW2018 - TheWebConf 2018 : 27th International World Wide Web Conference,, 2018
Details

Distributing Relational Model Transformation on MapReduce

Benelallam, Amine and Gómez, Abel and Tisi, Massimo and Cabot, Jordi
Journal of Systems and Software,Elsevier, 2018
Details

Enabling Temporal-Aware Contexts for Adaptative Distributed Systems Temporal Context Representation System updates

Mouline, Ludovic and Benelallam, Amine and Hartmann, Thomas and Fouquet, François and Bourcier, Johann and Morin, Brice and Barais, Olivier
SAC 2018 - The 33rd ACM/SIGAPP Symposium On Applied Computing,, 2018
Details

Omniscient Debugging for Executable DSLs

Bousse, Erwan and Leroy, Dorian and Combemale, Benoit and Wimmer, Manuel and Baudry, Benoit
Journal of Systems and Software,Elsevier, 2018
Details

VaryLaTeX: Learning Paper Variants That Meet Constraints

Acher, Mathieu and Temple, Paul and Jézéquel, Jean-Marc and Galindo Duarte, José Ángel and Martinez, Jabier and Ziadi, Tewfik
VaMoS 2018 - 12th International Workshop on Variability Modelling of Software-Intensive Systems,ACM, 2018
Details

A Comprehensive Study of Pseudo-tested Methods

Vera-Pérez, Oscar Luis and Danglot, Benjamin and Monperrus, Martin and Baudry, Benoit
Empirical Software Engineering,Springer Verlag, 2018
Details

Concern-Oriented Language Development (COLD): Fostering Reuse in Language Engineering

Combemale, Benoit and Kienzle, Jörg and Mussbacher, Gunter and Barais, Olivier and Bousse, Erwan and Cazzola, Walter and Collet, Philippe and Degueule, Thomas and Heinrich, Robert and Jézéquel, Jean-Marc and Leduc, Manuel and Mayerhofer, Tanja and Mosser, Sébastien and Schöttle, Matthias and Strittmatter, Misha and Wortmann, Andreas
Computer Languages, Systems and Structures,Elsevier, 2018
Details

2017

Report on the 1 st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17)

Van Mierlo, Simon and Bousse, Erwan and Vangheluwe, Hans and Wimmer, Manuel and Verbrugge, Clark and Gogolla, Martin and Tichy, Matthias and Blouin, Arnaud
MDEbug 2017 - 1st International Workshop on Debugging in Model-Driven Engineering,,,, 2017
Details

Learning-Contextual Variability Models

Temple, Paul and Acher, Mathieu and Jézéquel, Jean-Marc and Barais, Olivier
IEEE Software,Institute of Electrical and Electronics Engineers, 2017
Details

The Emerging Field of Test Amplification: A Survey

Monperrus, Martin and Danglot, Benjamin and Vera-Perez, Oscar Luis and Yu, Zhongxing and Baudry, Benoit
working paper or preprint, 2017
Details

AGENT: Automatic Generation of Experimental Protocol Runtime

Le Moulec, Gwendal and Argelaguet Sanz, Ferran and Gouranton, Valérie and Blouin, Arnaud and Arnaldi, Bruno
ACM Symposium on Virtual Reality Software and Technology (VRST),, 2017
Details

Browser Fingerprinting : Exploring Device Diversity to Augment Authentification and Build Client-Side Countermeasures

Laperdrix, Pierre
PhD: INSA de Rennes, 2017
Details

Modeling business motivation and underlying processes for RAMI 4.0-aligned cyber-physical production systems

Suri, Kunal and Cadavid, Juan and Alférez, Mauricio and Dhouib, Saadia and Tucci-Piergiovanni, Sara
2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA),IEEE, 2017
Details

Revisiting Visitors for Modular Extension of Executable DSMLs

Leduc, Manuel and Degueule, Thomas and Combemale, Benoit and Van Der Storm, Tijs and Barais, Olivier
2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems,, 2017
Details

Automatic non-functional testing and tuning of configurable generators

Boussaa, Mohamed
PhD: Université Rennes 1, 2017
Details

Create and Play your Pac-Man Game with the GEMOC Studio (Tool Demonstration)

Leroy, Dorian and Bousse, Erwan and Wimmer, Manuel and Combemale, Benoit and Schwinger, Wieland
EXE 2017 - 3rd International Workshop on Executable Modeling,, 2017
Details

Raising Time Awareness in Model-Driven Engineering

Benelallam, Amine and Hartmann, Thomas and Mouline, Ludovic and FOUQUET, Francois and Bourcier, Johann and Barais, Olivier and Le Traon, Yves
ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems.,, 2017
Details

Identification of LRP-1 as an endocytosis and recycling receptor for B1-integrin in thyroid cancer cells

Theret, Louis and Jeanne, Albin and Langlois, Benoît and Hachet, Cathy and David, Marion and Khrestchatisky, Michel and Devy, Jérome and Hervé, Emonard and Almagro, Sébastien and Dedieu, Stéphane
Oncotarget,Impact journals, 2017
Details

Efficient and Complete FD-Solving for Extended Array Constraints *

Plazar, Quentin and Acher, Mathieu and Bardin, Sébastien and Gotlieb, Arnaud
IJCAI 2017,, 2017
Details

Cross-domain identity and discovery framework for web calling services

Tariq Javed, Ibrahim and Copeland, Rebecca and Crespi, Noel and Emmelmann, Marc and Corici, Andreea Ancuta and Bouabdallah, Ahmed and Zhang, Tuo and El Jaouhari, Saad and Beierle, Felix and Göndör, Sebastian and Küpper, Axel and Corre, Kevin and Crom, Jean-Michel and Oberle, Frank and Friese, Ingo and Caldeira, Ana and Dias, Gil and Santos, Nuno and Chaves, Ricardo and Lopes Pereira, Ricardo
Annals of Telecommunications - annales des télécommunications,Springer, 2017
Details

FPRandom: Randomizing core browser objects to break advanced device fingerprinting techniques

Laperdrix, Pierre and Baudry, Benoit and Mishra, Vikas
ESSoS 2017 - 9th International Symposium on Engineering Secure Software and Systems,, 2017
Details

Modélisation et Évaluation de la Sécurité des IHM

Ndiaye, Youssou and Aillery, Nicolas and Barais, Olivier and Blouin, Arnaud and Bouabdallah, Ahmed
CIEL 2017 : 6ème Conférence en IngénieriE du Logiciel,, 2017
Details

Fingerprinting mobile devices: A short analysis

Gómez-Boix, Alejandro and Laperdrix, Pierre and Baudry, Benoit
CIEL 2017 - 6ème Conférence en IngénieriE du Logiciel,, 2017
Details

Teaching Software Product Lines: A Snapshot of Current Practices and Challenges

Acher, Mathieu and Lopez-Herrejon, Roberto E. and Rabiser, Rick
ACM Transactions of Computing Education,Association for Computing Machinery, 2017
Details

Reverse Engineering Language Product Lines from Existing DSL Variants

Méndez-Acuña, David A and Galindo, José A and Combemale, Benoit and Blouin, Arnaud and Baudry, Benoit
Journal of Systems and Software,Elsevier, 2017
Details

Language Engineering with the GEMOC Studio

Barais, Olivier and Combemale, Benoit and Wortmann, Andreas
ICSAW 2017 - IEEE International Conference on Software Architecture Workshops,, 2017
Details

Weaving Rules into Models@run.time for Embedded Smart Systems

Mouline, Ludovic and Hartmann, Thomas and Fouquet, François and Le Traon, Yves and Bourcier, Johann and Barais, Olivier
Programming 2017 - Companion to the first International Conference on the Art, Science and Engineering of Programming,, 2017
Details

A Systematic Mapping Study on Modeling for Industry 4.0

Wortmann, Andreas and Combemale, Benoit and Barais, Olivier
INRIA Rennes - Bretagne Atlantique and University of Rennes 1, France, 2017
Details

Yo Variability! JHipster: A Playground for Web-Apps Analyses

Halin, Axel and Nuttinck , Alexandre and Acher, Mathieu and Devroey, Xavier and Perrouin, Gilles and Heymans, Patrick
11th International Workshop on Variability Modelling of Software-intensive Systems,, 2017
Details

Comment maîtriser la complexité des logiciels ?

Jézéquel, Jean-Marc and Jongwane, Joanna
Interstices,INRIA, 2017
Details

On Language Interfaces

Degueule, Thomas and Combemale, Benoit and Jézéquel, Jean-Marc
PAUSE: Present And Ulterior Software Engineering,Springer, 2017
Details

Learning-Based Performance Specialization of Configurable Systems

Temple, Paul and Acher, Mathieu and Jézéquel, Jean-Marc and Noel-Baron, Léo and Galindo, José A
IRISA, Inria Rennes ; University of Rennes 1, 2017
Details

Automated Extraction of Product Comparison Matrices From Informal Product Descriptions

Ben Nasr, Sana and Bécan, Guillaume and Acher, Mathieu and Bosco, João Ferreira Filho and Sannier, Nicolas and Baudry, Benoit and Davril, Jean-Marc
Journal of Systems and Software,Elsevier, 2017
Details

Verifying the configuration of Virtualized Network Functions in Software Defined Networks

Pelay, Johan and GUILLEMIN, Fabrice and Barais, Olivier
b<>com,,, 2017
Details

Why can’t users choose their identity providers on the web?

Corre, Kevin and Barais, Olivier and Sunyé, Gerson and Frey, Vincent and Crom, Jean-Michel
Proceedings on Privacy Enhancing Technologies,De Gruyter Open, 2017
Details

A WebRTC Extension to Allow Identity Negotiation at Runtime

Corre, Kevin and Bécot, Simon and Barais, Olivier and Sunyé, Gerson
Lecture Notes in Computer Science,Springer, 2017
Details

Perpetual Assurances for Self-Adaptive Systems

Weyns, Danny and Bencomo, Nelly and Calinescu, Radu and Cámara, Javier and Ghezzi, Carlo and Grassi, Vincenzo and Grunske, Lars and Inverardi, Paola and Jézéquel, Jean-Marc and Malek, Sam and Mirandola, Raffaela and Mori, Marco and Tamburrelli, Giordano
Software Engineering for Self-Adaptive Systems III. Assurances,, 2017
Details

2016

Self-adaptation for Internet of things applications

Acosta Padilla, Francisco Javier
PhD: Université Rennes 1, 2016
Details

Leveraging software product lines engineering in the construction of domain specific languages

Méndez Acuña, David Fernando
PhD: Université Rennes 1, 2016
Details

A classification methodology for security patterns to help fix software weaknesses

Regainia, Loukmen and Salva, Sébastien and Bouhours, Cédric
13th ACS/IEEE International Conference on Computer Systems and Applications AICCSA 2016,, 2016
Details

libmask: Protecting Browser JIT Engines from the Devil in the Constants

Jangda, Abhinav and Mishra, Mohit and Baudry, Benoit
Annual Conference on Privacy, Security and Trust,, 2016
Details

Composition et interopérabilité pour l'ingénierie des langages dédiés externes

Degueule, Thomas
PhD: Université Rennes 1, 2016
Details

Composition and Interoperability for External Domain-Specific Language Engineering

Degueule, Thomas
PhD: Université de Rennes 1 [UR1], 2016
Details

Engineering Modeling Languages

Combemale, Benoit and France, Robert and Jézéquel, Jean-Marc and Rumpe, Bernhard and Steel, Jim R.H. and Vojtisek, Didier
Chapman and Hall/CRC,,, 2016
Details

Approximate Loop Unrolling

Rodriguez-Cancio, Marcelino and Combemale, Benoit and Baudry, Benoit
working paper or preprint, 2016
Details

Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

Le Guernic, Gurvan and Combemale, Benoit and Galindo Duarte, José Angel
3rd Workshop on Formal Integrated Development Environment,, 2016
Details

Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework

Le Guernic, Gurvan and Galindo Duarte, José Angel
Inria Rennes Bretagne Atlantique, 2016
Details

Automatic Non-functional Testing of Code Generators Families

Boussaa, Mohamed and Barais, Olivier and Baudry, Benoit and Sunyé, Gerson
15th International Conference on Generative Programming: Concepts & Experiences (GPCE 2016),, 2016
Details

Online Genetic Improvement on the java virtual machine with ECSELR

Yeboah-Antwi, Kwaku and Baudry, Benoit
Genetic Programming and Evolvable Machines,Springer Verlag, 2016
Details

Execution Framework of the GEMOC Studio (Tool Demo)

Bousse, Erwan and Degueule, Thomas and Vojtisek, Didier and Mayerhofer, Tanja and Deantoni, Julien and Combemale, Benoit
Proceedings of the 2016 ACM SIGPLAN International Conference on Software Language Engineering,, 2016
Details

Fourth International Workshop on Reverse Variability Engineering (REVE 2016), associated with SPLC

Lopez-Herrejon, Roberto Erick and Ziadi, Tewfik and Martinez, Jabier and Acher, Mathieu
,,, 2016
Details

El uso de modelos de características con atributos para pruebas en sistemas de alta variabilidad: primeros pasos

Vinueza, Mariuxi and Rodas, Jorge L. and Galindo Duarte, José Angel and Benavides, David
CEDI 2016,, 2016
Details

Exploiting the Enumeration of All Feature Model Configurations

Galindo Duarte, José Angel and Acher, Mathieu and Tirado, Juan Manuel and Vidal, Cristian and Baudry, Benoit and Benavides, David
Software Product Line Conference,, 2016
Details

Hacia el uso de sistemas de recomendación en sistemas de alta variabilidad

Rodas, Jorge L. and Olivares, Javier and Galindo Duarte, José Angel and Benavides, David
CEDI 2016,, 2016
Details

Leveraging Software Product Lines Engineering in the Development of External DSLs: A Systematic Literature Review

Méndez-Acuña, David and Galindo Duarte, José Angel and Degueule, Thomas and Combemale, Benoit and Baudry, Benoit
Computer Languages, Systems and Structures,Elsevier, 2016
Details

Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding

Rodriguez-Cancio, Marcelino and Combemale, Benoit and Baudry, Benoit
31st IEEE/ACM International Conference on Automated Software Engineering (ASE 2016) ,, 2016
Details

Using Machine Learning to Infer Constraints for Product Lines

Temple, Paul and Galindo Duarte, José Angel and Acher, Mathieu and Jézéquel, Jean-Marc
Software Product Line Conference (SPLC),, 2016
Details

Metamodels and feature models : complementary approaches to formalize product comparison matrices

Bécan, Guillaume
PhD: Université Rennes 1, 2016
Details

Safe Model Polymorphism for Flexible Modeling

Degueule, Thomas and Combemale, Benoit and Blouin, Arnaud and Barais, Olivier and Jézéquel, Jean-Marc
Computer Languages, Systems and Structures,Elsevier, 2016
Details

A Decision-making Process for Exploring Architectural Variants in Systems Engineering

Le Noir, Jérome and Madelénat, Sébastien and Labreuche, Christophe and Constant, Olivier and Gailliard, Grégory and Acher, Mathieu and Barais, Olivier
Software Product Lines Conference (SPLC),, 2016
Details

NOTICE: A Framework for Non-functional Testing of Compilers

Boussaa, Mohamed and Barais, Olivier and Baudry, Benoit and Sunyé, Gerson
2016 IEEE International Conference on Software Quality, Reliability & Security (QRS 2016),, 2016
Details

Traceability analyses between features and assets in software product lines

Khandu Narwane, Ganesh and Galindo Duarte, José Angel and Narayanan Krishna, Shankara and Benavides, David and Millo, Jean-Vivien and Ramesh, S
Entropy,MDPI, 2016
Details

Towards microservices architecture to transcode videos in the large at low costs

Barais, Olivier and Bourcier, Johann and Bromberg, Yérom-David and Dion, Christophe
TEMU 2016 - International Conference on Telecommunications and Multimedia,, 2016
Details

Interoperability and Composition of DSLs with Melange

Degueule, Thomas
working paper or preprint, 2016
Details

Reverse-engineering reusable language modules from legacy domain-specific languages

Méndez-Acuña, David and Galindo Duarte, José Angel and Combemale, Benoit and Blouin, Arnaud and Baudry, Benoit and Le Guernic, Gurvan
International Conference on Software Reuse,, 2016
Details

Automatic Detection of GUI Design Smells: The Case of Blob Listener

Lelli, Valéria and Blouin, Arnaud and Baudry, Benoit and Coulon, Fabien and Beaudoux, Olivier
Proceedings of the 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS'16),, 2016
Details

Puzzle: A tool for analyzing and extracting specification clones in DSLs

Méndez-Acuña, David and Galindo Duarte, José Angel and Combemale, Benoit and Blouin, Arnaud and Baudry, Benoit
ICSR 2016 the 15th International Conference on Software Reuse,, 2016
Details

Interactive Demand-Shifting in the Context of Domestic Micro-Generation

Bourgeois, Jacky
PhD: The Open University ; Université de Rennes 1 [UR1], 2016
Details

Software Unbundling: Challenges and Perspectives

Bosco, João Ferreira Filho and Acher, Mathieu and Barais, Olivier
Transactions on Modularity and Composition I,Springer, 2016
Details

VCU: The Three Dimensions of Reuse

Kienzle, Jörg and Mussbacher, Gunter and Alam, Omar and Schöttle, Matthias and Belloir, Nicolas and Collet, Philippe and Combemale, Benoit and Deantoni, Julien and Klein, Jacques and Rumpe, Bernhard
15th International Conference on Software Reuse (ICSR-15),, 2016
Details

Beauty and the Beast: Diverting modern web browsers to build unique browser fingerprints

Laperdrix, Pierre and Rudametkin, Walter and Baudry, Benoit
37th IEEE Symposium on Security and Privacy (S&P 2016),, 2016
Details

Seeking for the Optimal Energy Modelisation Accuracy to Allow Efficient Datacenter Optimizations

Outin, Edouard and Dartois, Jean-Emile and Barais, Olivier and Pazat, Jean-Louis
16th International Symposium on Cluster, Cloud and Grid Computing,, 2016
Details

Featured model types: Towards Systematic Reuse in Modelling Language Engineering

Perrouin, Gilles and Amrani, Moussa and Acher, Mathieu and Combemale, Benoit and Legay, Axel and Schobbens, Pierre-Yves
MiSE '16 - 8th International Workshop on Modeling in Software Engineering,ACM, 2016
Details

A Complexity Tale: Web Configurators

Perrouin, Gilles and Acher, Mathieu and Davril, Jean-Marc and Legay, Axel and Heymans, Patrick
VACE 2016 - 1st International Workshop on Variability and Complexity in Software Design Pages (co-located with ICSE'16),, 2016
Details

A Formal Modeling and Analysis Framework for Software Product Line of Preemptive Real-Time Systems

Kim, Jin Hyun and Legay, Axel and Traonouez, Louis-Marie and Acher, Mathieu and Kang, Sungwon
Symposium on Applied Computing,ACM, 2016
Details

A Generative Middleware for Heterogeneous and Distributed Services

Morin, Brice and Fleurey, Franck and Husa, Knut Eilif and Barais, Olivier
19th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2016),, 2016
Details

Squirrel: Architecture Driven Resource Management

Gonzalez-Herrera, Inti and Bourcier, Johann and Rudametkin, Walter and Barais, Olivier and Fouquet, Francois
SAC - 31st Annual ACM Symposium on Applied Computing,, 2016
Details

Mining and Modeling Variability from Natural Language Documents: Two Case Studies

Ben Nasr, Sana
PhD: Université Rennes 1, 2016
Details

KevoreeJS: Enabling Dynamic Software Reconfigurations in the Browser

Tricoire, Maxime and Barais, Olivier and Leduc, Manuel and Bourcier, Johann and Fouquet, François and Nain, Grégory and Mouline, Ludovic and Sunyé, Gerson and Morin, Brice
WICSA and CompArch 2016,, 2016
Details

Large-scale Analysis of Chess Games with Chess Engines: A Preliminary Report

Acher, Mathieu and Esnault, François
Inria Rennes Bretagne Atlantique, 2016
Details

Optimal Minimisation of Pairwise-covering Test Configurations Using Constraint Programming

Hervieu, Aymeric and Marijan, Dusica and Gotlieb, Arnaud and Baudry, Benoit
Information and Software Technology,Elsevier, 2016
Details

A Systematic Approach to Assist Designers in Security Pattern Integration

Regainia, Loukmen and Bouhours, Cédric and Salva, Sébastien
The Second International Conference on Advances and Trends in Software Engineering (SOFTENG 2016),, 2016
Details

Correct-by-construction model driven engineering composition operators

Kezadri, Mounira and Pantel, Marc and Thirioux, Xavier and Combemale, Benoit
Formal Aspects of Computing,Springer Verlag, 2016
Details

ScapeGoat: Spotting abnormal resource usage in component-based reconfigurable software systems

Gonzalez-Herrera, Inti and Bourcier, Johann and Daubert, Erwan and Rudametkin, Walter and Barais, Olivier and Fouquet, François and Jézéquel, Jean-Marc and Baudry, Benoit
Journal of Systems and Software,Elsevier, 2016
Details

B-Refactoring: Automatic Test Code Refactoring to Improve Dynamic Analysis

Xuan, Jifeng and Cornu, Benoit and Martinez, Matias and Baudry, Benoit and Seinturier, Lionel and Monperrus, Martin
Information and Software Technology,Elsevier, 2016
Details

Modeling for Sustainability

Combemale, Benoit and Cheng, Betty H.C. and Moreira, Ana and Bruel, Jean-Michel and Gray, Jeff
Modeling in Software Engineering 2016 (MiSE'16),ACM, 2016
Details

A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models

Combemale, Benoit and Brun, Cédric and Champeau, Joël and Crégut, Xavier and Deantoni, Julien and Le Noir, Jérome
8th European Congress on Embedded Real Time Software and Systems (ERTS 2016),, 2016
Details

Lightning Talk:"I solemnly pledge" A Manifesto for Personal Responsibility in the Engineering of Academic Software

Allen, Alice and Aragon, Cecilia and Becker, Christoph and Carver, Jeffrey C. and Chis, Andrei and Combemale, Benoit and Croucher, Mike and CROWSTON, Kevin and Garijo, Daniel and Gehani, Ashish and Goble, Carole and Haines, Robert and Hirschfeld, Robert and Howison, James and Huff, Kathryn and Jay, Caroline and Katz, Daniel and Kirchner, Claude and Kuksenok, Kateryna and Lämmel, Ralf and Nierstrasz, Oscar and Turk, Matthew and van Nieuwpoort, Rob V. and Vaughn, Matthew and Vinju, Jurgen
Fourth Workshop on Sustainable Software for Science: Practice and Experiences (WSSSPE4),CEUR, 2016
Details

2015

Supporting resource-awareness in managed runtime environments

Gonzalez-Herrera, Inti
PhD: Universite Rennes 1, 2015
Details

Supporting resource awareness in managed runtime environment

Gonzalez Herrera, Inti Yulien
PhD: Université Rennes 1, 2015
Details

Towards Language-Oriented Modeling

Combemale, Benoit
PhD: Université de Rennes 1, 2015
Details

Execution trace management to support dynamic V&V for executable DSMLs

Bousse, Erwan
PhD: Université Rennes 1, 2015
Details

Testing and maintenance of graphical user interfaces

Lelli leitao, Valeria
PhD: INSA de Rennes, 2015
Details

Quand l’écologie inspire de nouvelles manières de fabriquer des logiciels

Baudry, Benoit
Interstices,INRIA, 2015
Details

Discovering Model Transformation Pre-conditions using Automatically Generated Test Models

Mottu, Jean-Marie and Sen, Sagar and Cadavid, Juan and Baudry, Benoit
IEEE International Symposium on Software Reliability Engineering, ISSRE 2015,, 2015
Details

Model-Driven Multi-Cloud Resource Management

Paraïso, Fawaz and Parpaillon, Jean and Merle, Philippe
PhD: Poster,EIT Digital Future Cloud Symposium présenté, 2015
Details

Globalized Domain Specific Language Engineering

Bryant, Barrett and Jézéquel, Jean-Marc and Laemmel, Ralf and Mernik, Marjan and Schindler, Martin and Steinmann, Friedrich and Tolvanen, Juha-Pekka and Vallecillo, Antonio and Voelter, Markus
Globalizing Domain-Specific Languages,Springer International Publishing, 2015
Details

Supporting Efficient and Advanced Omniscient Debugging for xDSMLs

Bousse, Erwan and Corley, Jonathan and Combemale, Benoit and Gray, Jeff and Baudry, Benoit
8th International Conference on Software Language Engineering (SLE),, 2015
Details

A Model-Driven Based Environment for Automatic Model Coordination

Vara Larsen, Matias Ezequiel and Deantoni, Julien and Combemale, Benoit and Mallet, Frédéric
Models 2015 demo and posters,, 2015
Details

Reusing Legacy DSLs with Melange

Degueule, Thomas and Combemale, Benoit and Blouin, Arnaud and Barais, Olivier
15th Workshop on Domain-Specific Modeling,, 2015
Details

Melange: A Meta-language for Modular and Reusable Development of DSLs

Degueule, Thomas and Combemale, Benoit and Blouin, Arnaud and Barais, Olivier and Jézéquel, Jean-Marc
8th International Conference on Software Language Engineering (SLE),, 2015
Details

Integrating predictive analysis in self-adaptive pervasive systems

Paez Anaya, Ivan Dario
PhD: Université Rennes 1, 2015
Details

On Breaking The Curse of Dimensionality in Reverse Engineering Feature Models

Davril, Jean-Marc and Heymans, Patrick and Bécan, Guillaume and Acher, Mathieu
17th International Configuration Workshop,, 2015
Details

Enhancing Cloud Energy Models for Optimizing Datacenters Efficiency

Outin, Edouard and Dartois, Jean-Emile and Barais, Olivier and Pazat, Jean-Louis
IEEE International Conference on Cloud and Autonomic Computing (ICCAC),IEEE, 2015
Details

Le fingerprinting : une nouvelle technique de traçage

Laperdrix, Pierre and Baudry, Benoit
PhD: MISC Magazine n°81,, 2015
Details

A Behavioral Coordination Operator Language (BCOoL)

Vara Larsen, Matias Ezequiel and Deantoni, Julien and Combemale, Benoit and Mallet, Frédéric
International Conference on Model Driven Engineering Languages and Systems (MODELS),ACM, 2015
Details

Automatic Software Diversity in the Light of Test Suites

Baudry, Benoit and Allier, Simon and Rodriguez-Cancio, Marcelino and Monperrus, Martin
11 pages, 4 figures, 8 listings, conference, 2015
Details

Towards testing variability intensive systems using user reviews

Rodas, Jorge L. and Mendez Acuna, David and Galindo Duarte, José Angel and Benavides, David and Cardenas, Jessenia
Congreso Colombiano de Computación,, 2015
Details

Formal Verification Techniques for Model Transformations: A Tridimensional Classification

Amrani, Moussa and Combemale, Benoit and Lúcio, Levi and Selim, Gehan and Dingel, Jürgen and Le Traon, Yves and Vangheluwe, Hans and Cordy, James R.
The Journal of Object Technology,Chair of Software Engineering, 2015
Details

MatrixMiner: A Red Pill to Architect Informal Product Descriptions in the Matrix

Ben Nasr, Sana and Bécan, Guillaume and Acher, Mathieu and Ferreira Filho, Joao Bosco and Baudry, Benoit and Sannier, Nicolas and Davril, Jean-Marc
10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering,, 2015
Details

Using fuzzy modeling for consistent definitions of product qualities in requirements

Davril, Jean-Marc and Cordy, Maxime and Heymans, Patrick and Acher, Mathieu
Artificial Intelligence for Requirements Engineering (AIRE), 2015 IEEE Second International Workshop on,, 2015
Details

Product Lines Can Jeopardize Their Trade Secrets

Acher, Mathieu and Bécan, Guillaume and Combemale, Benoit and Baudry, Benoit and Jézéquel, Jean-Marc
10th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering,, 2015
Details

A Novelty Search-based Test Data Generator for Object-oriented Programs

Boussaa, Mohamed and Barais, Olivier and Sunyé, Gerson and Baudry, Benoit
GECCO 2015,ACM, 2015
Details

Assessing Product Line Derivation Operators Applied to Java Source Code: An Empirical Study

Ferreira Filho, João Bosco and Allier, Simon and Barais, Olivier and Acher, Mathieu and Baudry, Benoit
19th International Software Product Line Conference (SPLC'15),, 2015
Details

Synthesis of Attributed Feature Models From Product Descriptions

Bécan, Guillaume and Behjati, Razieh and Gotlieb, Arnaud and Acher, Mathieu
International Software Product Line Conference,, 2015
Details

SPLTea 2015: Second International Workshop on Software Product Line Teaching

Acher, Mathieu and Lopez-Herrejon, Roberto Erick and Rabiser, Rick
19th International Conference on Software Product Line (SPLC'15),, 2015
Details

OCCIware - A Formal and Tooled Framework for Managing Everything as a Service

Parpaillon, Jean and Merle, Philippe and Barais, Olivier and Dutoo, Marc and Paraiso, Fawaz
Projects Showcase @ STAF'15,, 2015
Details

Embedding Adaptivity in Software Systems using the ECSELR framework

Yeboah-Antwi, Kwaku and Baudry, Benoit
GECCO’15,, 2015
Details

Towards Functional Model Transformations with OCL

Jouault, Frédéric and Beaudoux, Olivier and Brun, Matthias and Clavreul, Mickaël and Savaton, Guillaume
ICMT 2015 - 8th International Conference on Model Transformation,Springer, 2015
Details

ATSyRa: An Integrated Environment for Synthesizing Attack Trees

Pinchinat, Sophie and Acher, Mathieu and Vojtisek, Didier
Second International Workshop on Graphical Models for Security (GraMSec'15) co-located with CSF'15,, 2015
Details

Tooling Support for Variability and Architectural Patterns in Systems Engineering

Degueule, Thomas and Ferreira Filho, Joao Bosco and Barais, Olivier and Acher, Mathieu and Le Noir, Jérôme and Madelénat, Sébastien and Gailliard, Grégory and Burlot, Godefroy and Constant, Olivier
19th International Conference on Software Product Line,, 2015
Details

The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond

Baudry, Benoit and Monperrus, Martin
ACM Computing Surveys,Association for Computing Machinery, 2015
Details

A Generative Approach to Define Rich Domain-Specific Trace Metamodels

Bousse, Erwan and Mayerhofer, Tanja and Combemale, Benoit and Baudry, Benoit
11th European Conference on Modelling Foundations and Applications (ECMFA),, 2015
Details

Emergent Robustness in Software Systems through Decentralized Adaptation: an Ecologically-Inspired ALife Approach

Fleurey, Franck and Baudry, Benoit and Gauzens, Benoit and Elie, André and Yeboah-Antwi, Kwaku
European Conference on Artificial Life 2015,, 2015
Details

MDE in Practice for Computational Science

Bruel, Jean-Michel and Combemale, Benoit and Ober, Ileana and Raynal, Hélène
INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE,, 2015
Details

Dynamic Analysis can be Improved with Automatic Test Suite Refactoring

Xuan, Jifeng and Cornu, Benoit and Martinez, Matias and Baudry, Benoit and Seinturier, Lionel and Monperrus, Martin
working paper or preprint, 2015
Details

Une démarche pour l?assistance à l'utilisation des patrons de sécurité

Regainia, Loukmen and Bouhours, Cédric and Salva, Sébastien
4ème Conférence en IngénieriE du Logiciel (CIEL),, 2015
Details

DSpot: Test Amplification for Automatic Assessment of Computational Diversity

Baudry, Benoit and Allier, Simon and Rodriguez-Cancio, Marcelino and Monperrus, Martin
11 pages, 2015
Details

A Precise Metamodel for Open Cloud Computing Interface

Merle, Philippe and Barais, Olivier and Parpaillon, Jean and Plouzeau, Noël and Tata, Samir
8th IEEE International Conference on Cloud Computing (CLOUD 2015),, 2015
Details

A Novelty Search Approach for Automatic Test Data Generation

Boussaa, Mohamed and Barais, Olivier and Sunyé, Gerson and Baudry, Benoit
8th International Workshop on Search-Based Software Testing SBST@ICSE 2015,, 2015
Details

Mitigating browser fingerprint tracking: multi-level reconfiguration and diversification

Laperdrix, Pierre and Rudametkin, Walter and Baudry, Benoit
Proceedings of the IEEE/ACM 10th International Symposium on Software Engineering for Adaptive and Self-Managing Systems (SEAMS),, 2015
Details

On Model-Based Testing Advanced GUIs

Lelli, Valéria and Blouin, Arnaud and Baudry, Benoit and Coulon, Fabien
11th Workshop on Advances in Model Based Testing (A-MOST 2015),, 2015
Details

Classifying and Qualifying GUI Defects

Lelli, Valéria and Blouin, Arnaud and Baudry, Benoit
8th IEEE International Conference on Software Testing, Verification and Validation,, 2015
Details

Towards Language Interfaces for DSLs Integration

Degueule, Thomas
working paper or preprint, 2015
Details

Challenges on Software Unbundling: Growing and Letting Go

Ferreira Filho, João Bosco and Acher, Mathieu and Barais, Olivier
Modularity'15,, 2015
Details

Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing

Stainer, Julien
PhD: Université Rennes 1, 2015
Details

Evolution, testing and configuration of variability systems intensive

Galindo Duarte, José Ángel
PhD: Université Rennes 1, 2015
Details

Towards the use of slicing techniques for an efficient invariant checking

Sun, Wuliang and Combemale, Benoit and France, Robert B.
MODULARITY 2015,, 2015
Details

Towards a Meta-Language for the Concurrency Concern in DSLs

Deantoni, Julien and Issa Diallo, Papa and Teodorov, Ciprian and Champeau, Joël and Combemale, Benoit
Design, Automation and Test in Europe Conference and Exhibition (DATE),, 2015
Details

Synthesis of Attributed Feature Models From Product Descriptions: Foundations

Bécan, Guillaume and Behjati, Razieh and Gotlieb, Arnaud and Acher, Mathieu
Inria Rennes ; INRIA, 2015
Details

Polymer: A Model-Driven Approach for Simpler, Safer, and Evolutive Multi-Objective Optimization Development

Moawad, Assaad and Hartmann, Thomas and Fouquet, François and Nain, Grégory and Klein, Jacques and Bourcier, Johann
International Conference on Model-Driven Engineering and Software Development ,, 2015
Details

Conceptual Model of the Globalization for Domain-Specific Languages

Clark, Tony and Van Den Brand, Mark and Combemale, Benoit and Rumpe, Bernhard
Globalizing Domain-Specific Languages,Springer International Publishing, 2015
Details

A Solution to the TTC'15 Model Execution Case Using the GEMOC Studio

Combemale, Benoit and Deantoni, Julien and Barais, Olivier and Blouin, Arnaud and Bousse, Erwan and Brun, Cédric and Degueule, Thomas and Vojtisek, Didier
8th Transformation Tool Contest,CEUR, 2015
Details

Weaving Concurrency in eXecutable Domain-Specific Modeling Languages

Latombe, Florent and Crégut, Xavier and Combemale, Benoit and Deantoni, Julien and Pantel, Marc
8th ACM SIGPLAN International Conference on Software Language Engineering (SLE),ACM, 2015
Details

On the Variability Secrets of an Online Video Generator

Bécan, Guillaume and Acher, Mathieu and Jézéquel, Jean-Marc and Menguy, Thomas
Variability Modelling of Software-intensive Systems,, 2015
Details

Motivating Use Cases for the Globalization of DSLs

Cheng, Betty H.C. and Degueule, Thomas and Atkinson, Colin and Clarke, Siobhan and Frank, Ulrich and Mosterman, Pieter J. and Sztipanovits, Janos
Globalizing Domain-Specific Languages,Springer International Publishing, 2015
Details

Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling

Combemale, Benoit and Deantoni, Julien and Gray, Jeff
GEMOC+MPM 2015,CEUR,,Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling, 2015
Details

Globalizing Domain-Specific Languages

Combemale, Benoit and Cheng, Betty H.C. and France, Robert B. and Jézéquel, Jean-Marc and Rumpe, Bernhard
Springer International Publishing,,LNCS, Programming and Software Engineering, 2015
Details

Assessing the Use of Slicing-based Visualizing Techniques on the Understanding of Large Metamodels

Blouin, Arnaud and Moha, Naouel and Baudry, Benoit and Sahraoui, Houari and Jézéquel, Jean-Marc
Information and Software Technology,Elsevier, 2015
Details

CLARITY: Open-Sourcing the Model-Based Systems Engineering Solution Capella

Boudjennah, Christophe and Combemale, Benoit and Exertier, Daniel and Lacrampe, Stéphane and Peraldi-Frati, Marie-Agnès
Second Workshop on Open Source Software for Model Driven Engineering (OSS4MDE’15),CEUR, 2015
Details

Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study

Bécan, Guillaume and Acher, Mathieu and Baudry, Benoit and Ben Nasr, Sana
Empirical Software Engineering,Springer Verlag, 2015
Details

An Analysis of Metamodeling Practices for MOF and OCL

Cadavid, Juan and Combemale, Benoit and Baudry, Benoit
Computer Languages, Systems and Structures,Elsevier, 2015
Details

Coping with Semantic Variation Points in Domain-Specific Modeling Languages

Latombe, Florent and Crégut, Xavier and Deantoni, Julien and Pantel, Marc and Combemale, Benoit
1st International Workshop on Executable Modeling (EXE'15), co-located with MODELS'15,CEUR, 2015
Details

Multitier diversification in Web-based software applications

Allier, Simon and Barais, Olivier and Baudry, Benoit and Bourcier, Johann and Daubert, Erwan and Fleurey, Franck and Monperrus, Martin and Song, Hui and Tricoire, Maxime
IEEE Software,Institute of Electrical and Electronics Engineers, 2015
Details

On the Globalization of Domain-Specific Languages

Cheng, Betty H.C. and Combemale, Benoit and France, Robert B. and Jézéquel, Jean-Marc and Rumpe, Bernhard
Globalizing Domain-Specific Languages,Springer International Publishing, 2015
Details

Mashup of Meta-Languages and its Implementation in the Kermeta Language Workbench

Jézéquel, Jean-Marc and Combemale, Benoit and Barais, Olivier and Monperrus, Martin and Fouquet, François
Software and Systems Modeling,Springer Verlag, 2015
Details

Kompren: Modeling and Generating Model Slicers

Blouin, Arnaud and Combemale, Benoit and Baudry, Benoit and Beaudoux, Olivier
Software and Systems Modeling,Springer Verlag, 2015
Details

Using Slicing to Improve the Performance of Model Invariant Checking

Sun, Wuliang and Combemale, Benoit and France, Robert B. and Blouin, Arnaud and Baudry, Benoit and Ray, Indrakshi
The Journal of Object Technology,Chair of Software Engineering, 2015
Details

2014

Leveraging model-based product lines for systems engineering

Filho, João Bosco Ferreira
PhD: Université Rennes 1, 2014
Details

Designing resource-aware distriubted system based on system level containers

Gonzalez-Herrera, Inti and Bourcier, Johann and Barais, Olivier and Fouquet, François
Middleware Conference,, 2014
Details

Web applications engineering: reduce the complexity without loosing control

Richard-Foy, Julien
PhD: Université de Rennes 1, France, 2014
Details

Supporting Distributed Product Configuration by Integrating Heterogeneous Variability Modeling Approaches

Galindo Duarte, José Angel and Dhungana, Deepak and Rabiser, Rick and Benavides, David and Botterweck, Goetz and Grünbacher, Paul
Information and Software Technology,Elsevier, 2014
Details

Utilisation de la modélisation à l’exécution : objectif, challenges et bénéfices

Barais, Olivier
PhD: Université de Rennes 1, 2014
Details

Towards a Model@runtime Middleware for Cyber Physical Systems

Acosta Padilla, Francisco Javier and Weis, Frédéric and Bourcier, Johann
Proceedings of the 9th Workshop on Middleware for Next Generation Internet Computing,, 2014
Details

An approach of combining model-based testing with product Ffamily management

Samih, Hamza
PhD: Université Rennes 1, 2014
Details

Domain Specific Languages: From Craft to Engineering

Jézéquel, Jean-Marc
The 16th International Conference on Information Integration and Web-based Applications & Services,, 2014
Details

A formal framework to prove the correctness of model driven engineering composition operators

Kezadri, Mounira and Pantel, Marc and Combemale, Benoit and Thirioux, Xavier
ICFEM'14 - 16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS,Springer, 2014
Details

Cost in the Cloud: Rationalization and Research Trails

Hamadache, Kahina and Simko, Viliam and Dautov, Rustem and Gonidis, Fotis and Zerva, Paraskevi and Paez Anaya, Ivan Dario and Polyviou, Ariana
International Conference on Advanced Cloud and Big Data (CBD 2014),, 2014
Details

Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness

Alférez, Mauricio and Bonifácio, Rodrigo and Teixeira, Leopoldo and Accioly, Paola and Kulesza, Uirá and Moreira, Ana and Araujo, Joao and Borba, Paulo
Requirements Engineering,Springer Verlag, 2014
Details

When Systems Engineering Meets Software Language Engineering

Jézéquel, Jean-Marc and Mendez, David and Degueule, Thomas and Combemale, Benoit and Barais, Olivier
CSD&M'14 - Complex Systems Design & Management,Springer, 2014
Details

Rare event simulation for statistical model checking

Jegourel, Cyrille
PhD: Université Rennes 1, 2014
Details

Optimizing Multi-objective Evolutionary Algorithms to Enable Quality-Aware Software Provisioning

El Kateb, Donia and Fouquet, François and Bourcier, Johann and Le Traon, Yves
The 14th International Conference on Quality Software,, 2014
Details

Using Models@Run.time to embed an Energetic Cloud Simulator in a MAPE-K Loop

Outin, Edouard and Pazat, Jean-Louis and Barais, Olivier
Workshop Autonomique,, 2014
Details

The Relevance of Model-Driven Engineering Thirty Years from Now

Mussbacher, Gunter and Amyot, Daniel and Breu, Ruth and Bruel, Jean-Michel and Cheng, Betty H.C. and Collet, Philippe and Combemale, Benoit and France, Robert and Heldal, Rogardt and Hill, James and Kienzle, Jörg and Schöttle, Matthias and Steimann, Friedrich and Stikkolorum, Dave and Whittle, Jon
Model-Driven Engineering Languages and Systems,Springer International Publishing Switzerland, 2014
Details

A Native Versioning Concept to Support Historized Models at Runtime

Hartmann, Thomas and Fouquet, François and Nain, Gregory and Morin, Brice and Klein, Jacques and Barais, Olivier and Le Traon, Yves
ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014),, 2014
Details

MPLM -- MaTeLo Product Line Manager

Samih, Hamza and Bogusch, Ralf
18th International Software Product Line Conference (2014),, 2014
Details

ViViD: A Variability-Based Tool for Synthesizing Video Sequences

Acher, Mathieu and Alférez, Mauricio and Galindo Duarte, José Angel and Romenteau, Pierre and Baudry, Benoit
SPLC'14 (tool demonstration track),, 2014
Details

Vision-based Absolute Localization for Unmanned Aerial Vehicles

Yol, Aurelien and Delabarre, Bertrand and Dame, Amaury and Dartois, Jean-Emile and Marchand, Eric
IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, IROS'14,, 2014
Details

WebFML: Synthesizing Feature Models Everywhere

Bécan, Guillaume and Ben Nasr, Sana and Acher, Mathieu and Baudry, Benoit
SPLC - 18th International Software Product Line Conference,, 2014
Details

Slicing-based Techniques for Visualizing Large Metamodels

Blouin, Arnaud and Moha, Naouel and Baudry, Benoit and Sahraoui, Houari
IEEE Working Conference on Software Visualization (VISSOFT 2014),, 2014
Details

SPLTea 2014: First International Workshop on Software Product Line Teaching

Acher, Mathieu and Lopez-Herrejon, Roberto Erick and Rabiser, Rick
18th International Software Product Line Conference,, 2014
Details

Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis

Pinchinat, Sophie and Acher, Mathieu and Vojtisek, Didier
Workshop on Formal Methods in the Development of Software (co-located with SEFM),, 2014
Details

Automating the Formalization of Product Comparison Matrices

Bécan, Guillaume and Sannier, Nicolas and Acher, Mathieu and Barais, Olivier and Blouin, Arnaud and Baudry, Benoit
ASE - 29th IEEE/ACM International Conference on Automated Software Engineering,, 2014
Details

Moving Toward Product Line Engineering in a Nuclear Industry Consortium

Ben Nasr, Sana and Sannier, Nicolas and Acher, Mathieu and Baudry, Benoit
18th International Software Product Line Conference (SPLC'2014),, 2014
Details

Towards Managing Variability in the Safety Design of an Automotive Hall Effect Sensor

Van Landuyt, Dimitri and Op De Beeck, Steven and Hovsepyan, Aram and Michiels, Sam and Joosen, Wouter and Meynckens, Sven and De Jong, Gjalt and Barais, Olivier and Acher, Mathieu
18th International Software Product Line Conference,, 2014
Details

Variability Management in Domain-Specific Languages

Méndez-Acuña, David
Doctoral Symposium of 17th International Conference in Model-Driven Engineering Languages and Systems,, 2014
Details

Automating Variability Model Inference for Component-Based Language Implementations

Vacchi, Edoardo and Cazzola, Walter and Combemale, Benoit and Acher, Mathieu
SPLC'14 - 18th International Software Product Line Conference,ACM, 2014
Details

GEMOC 2014 2nd International Workshop on The Globalization of Modeling Languages

Combemale, Benoit and Deantoni, Julien and France, Robert
GEMOC 2014 co-located with MODELS 2014,,Benoit Combemale and Julien Deantoni and Robert France,CEUR-WS, 2014
Details

Variability Management in Domain-Specific Languages

Méndez-Acuña, David and Combemale, Benoit and Baudry, Benoit
PhD: Poster,International School of Model-Driven Development for Distributed Real-Time Embedded Systems (MDDRES), 2014
Details

Scalable Armies of Model Clones through Data Sharing

Bousse, Erwan and Combemale, Benoit and Baudry, Benoit
Model Driven Engineering Languages and Systems, 17th International Conference, MODELS 2014,, 2014
Details

Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language

Acher, Mathieu and Combemale, Benoit and Collet, Philippe
Onward! Essays,ACM, 2014
Details

Operational Semantics of the Model of Concurrency and Communication Language

Deantoni, Julien and Diallo, Papa Issa and Champeau, Joël and Combemale, Benoit and Teodorov, Ciprian
INRIA, 2014
Details

Conversations with my Washing Machine: An in-the-wild Study of Demand Shifting with Self-generated Energy

Bourgeois, Jacky and Van Der Linden, Janet and Kortuem, Gerd and Price, Blaine A. and Rimmer, Christopher
2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2014),, 2014
Details

On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems

Biazzini, Marco and Monperrus, Martin and Baudry, Benoit
ICSME - 30th IEEE International Conference on Software Maintenance and Evolution,, 2014
Details

Towards Scalable Multidimensional Execution Traces for xDSMLs

Bousse, Erwan and Combemale, Benoit and Baudry, Benoit
11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE (MoDeVVa 2014),, 2014
Details

Safely Reusing Model Transformations through Family Polymorphism

Jézéquel, Jean-Marc
8th System Analysis and Modelling Confrence (SAM2014),, 2014
Details

Deriving Usage Model Variants for Model-based Testing: An Industrial Case Study

Samih, Hamza and Acher, Mathieu and Bogusch, Ralf and Le Guen, Hélène and Baudry, Benoit
19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014),IEEE, 2014
Details

Efficient Multi-Objective Optimisation of Service Compositions in Mobile Ad hoc Networks Using Lightweight Surrogate Models

Efstathiou, Dionysios and Mcburney, Peter and Zschaler, Steffen and Bourcier, Johann
Journal of Universal Computer Science,Springer, 2014
Details

Using Participatory Data Analysis to Understand Social Constraints and Opportunities of Electricity Demand-Shifting

Bourgeois, Jacky and Van Der Linden, Janet and Kortuem, Gerd and Rimmer, Christopher
2nd International Conference on ICT for Sustainability (ICT4S 2014),, 2014
Details

A Variability-Based Testing Approach for Synthesizing Video Sequences

Galindo Duarte, José Angel and Alférez, Mauricio and Acher, Mathieu and Baudry, Benoit and Benavides, David
ISSTA '14: International Symposium on Software Testing and Analysis,, 2014
Details

Using Path-Dependent Types to Build Type Safe JavaScript Foreign Function Interfaces

Richard-Foy, Julien and Barais, Olivier and Jézéquel, Jean-Marc
ICWE - 14th International Conference on Web Engineering,, 2014
Details

Generating Counterexamples of Model-based Software Product Lines

Ferreira Filho, Joao Bosco and Barais, Olivier and Acher, Mathieu and Le Noir, Jérôme and Legay, Axel and Baudry, Benoit
Software Tools for Technology Transfer (STTT),Springer, 2014
Details

The K3 Model-Based Language Workbench

Degueule, Thomas and Barais, Olivier and Blouin, Arnaud and Combemale, Benoit
working paper or preprint, 2014
Details

Modeling Variability in the Video Domain: Language and Experience Report

Alférez, Mauricio and Galindo Duarte, José Angel and Acher, Mathieu and Baudry, Benoit
INRIA, 2014
Details

Surrogate-Assisted Optimisation of Composite Applications in Mobile Ad hoc Networks

Efstathiou, Dionysios and Mcburney, Peter and Zschaler, Steffen and Bourcier, Johann
GECCO - Genetic and Evolutionary Computation Conference,, 2014
Details

Customization and 3D Printing: A Challenging Playground for Software Product Lines

Acher, Mathieu and Baudry, Benoit and Barais, Olivier and Jézéquel, Jean-Marc
18th International Software Product Line Conference,, 2014
Details

Designing and Evolving Distributed Architecture using Kevoree

Fouquet, François and Nain, Grégory and Daubert, Erwan and Bourcier, Johann and Barais, Olivier and Plouzeau, Noel and Morin, Brice
QoSA '14 Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures,ACM New York, NY, USA ©2014, 2014
Details

Software Diversity: Challenges to handle the imposed, Opportunities to harness the chosen

Acher, Mathieu and Barais, Olivier and Baudry, Benoit and Blouin, Arnaud and Bourcier, Johann and Combemale, Benoit and Jézéquel, Jean-Marc and Plouzeau, Noël
GDR GPL,, 2014
Details

"May the fork be with you": novel metrics to analyze collaboration on GitHub

Biazzini, Marco and Baudry, Benoit
Proceedings of the 5th International Workshop on Emerging Trends in Software Metrics (WETSoM 2014),, 2014
Details

Globalizing Modeling Languages

Combemale, Benoit and Deantoni, Julien and Baudry, Benoit and France, Robert B. and Jézéquel, Jean-Marc and Gray, Jeff
Computer,IEEE Computer Society, 2014
Details

A Prediction-Driven Adaptation Approach for Self-Adaptive Sensor Networks

Paez Anaya, Ivan Dario and Simko, Viliam and Bourcier, Johann and Plouzeau, Noël and Jézéquel, Jean-Marc
9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems,, 2014
Details

Vers une approche centrée humain pour la définition de langages de modélisation graphiques

Dupuy-Chessa, Sophie and Combemale, Benoit and Gervais, Marie-Pierre and Nodenot, Thierry and Le Pallec, Xavier and Wouters, Laurent
32ème congrès Inforsid'2014,, 2014
Details

Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use

Fouquet, François and Nain, Grégory and Morin, Brice and Daubert, Erwan and Barais, Olivier and Plouzeau, Noël and Jézéquel, Jean-Marc
University of Luxembourg, 2014
Details

Leveraging Family Polymorphism in MDE

Degueule, Thomas and Combemale, Benoit and Barais, Olivier and Blouin, Arnaud and Jézéquel, Jean-Marc
working paper or preprint, 2014
Details

Consistency Checking in Early Software Product Line Specifications -The VCC Approach

Alférez, Mauricio and Lopez-Herrejon, Roberto Erick and Moreira, Ana and Amaral, Vasco and Egyed, Alexander
Journal of Universal Computer Science,Springer, 2014
Details

Software Architectures and Multiple Variability

Acher, Mathieu and Collet, Philippe and Lahire, Philippe
Software Architecture 2,ISTE Editions, 2014
Details

Sound Merging and Differencing for Class Diagrams

Fahrenberg, Uli and Acher, Mathieu and Legay, Axel and Wąsowski, Andrzej
FASE 2014 : 17th International Conference on Fundamental Approaches to Software Engineering,Springer, 2014
Details

INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis

Sannier, Nicolas and Baudry, Benoit
REFSQ'2014 - the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality,Springer, 2014
Details

Variability management and automation of software development processes

Rouillé, Emmanuelle
PhD: Université Rennes 1, 2014
Details

Towards an Automation of the Mutation Analysis Dedicated to Model Transformation

Aranega, Vincent and Mottu, Jean-Marie and Etien, Anne and Degueule, Thomas and Baudry, Benoit and Dekeyser, Jean-Luc
Software Testing, Verification and Reliability,Wiley, 2014
Details

Scapegoat: an Adaptive monitoring framework for Component-based systems

Gonzalez-Herrera, Inti and Bourcier, Johann and Daubert, Erwan and Rudametkin, Walter and Barais, Olivier and Fouquet, François and Jézéquel, Jean-Marc
Working IEEE/IFIP Conference on Software Architecture,, 2014
Details

An Architecture-Based Approach for Compute-Intensive Pervasive Systems in Dynamic Environments

Al Ali, Rima and Gerostathopoulos, Ilias and Gonzalez-Herrera, Inti and Juan-Verdejo, Adrian and Kit, Michal and Surajbali, Bholanathsingh
International Workshop on Hot TopiCS in Cloud Cloud service Scalability (HotTopiCS 2014),, 2014
Details

When Model Driven Engineering meets Virtual Reality: Feedback from Application to the Collaviz Framework

Duval, Thierry and Blouin, Arnaud and Jézéquel, Jean-Marc
Software Engineering and Architectures for Realtime Interactive Systems Working Group,, 2014
Details

DIVERSIFY: Ecology-inspired software evolution for diversity emergence

Baudry, Benoit and Monperrus, Martin and Mony, Cendrine and Chauvel, Franck and Fleurey, Franck and Clarke, Siobhàn
Proceedings of IEEE CSMR-WCRE,IEEE, 2014
Details

Reverse Engineering Web Configurators

Abbasi, Ebrahim Khalil and Acher, Mathieu and Heymans, Patrick and Cleve, Anthony
17th European Conference on Software Maintenance and Reengineering (CSMR),IEEE, 2014
Details

Architectures logicielles et variabilité multiple

Acher, Mathieu and Collet, Philippe and Lahire, Philippe
Architectures logicielles : principes, techniques et outils,Lavoisier, 2014
Details

Model-Based Testing of Global Properties on Large-Scale Distributed Systems

Sunyé, Gerson and Cunha De Almeida, Eduardo and Le Traon, Yves and Baudry, Benoit and Jézéquel, Jean-Marc
Information and Software Technology,Elsevier, 2014
Details

Analysis and Exploitation of Natural Software Diversity: The Case of API Usages

Mendez, Diego and Baudry, Benoit and Monperrus, Martin
Inria, 2014
Details

A Survey on Teaching of Software Product Lines

Acher, Mathieu and Lopez-Herrejon, Roberto Erick and Rabiser, Rick
Eight International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS'14),ACM, 2014
Details

The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond

Baudry, Benoit and Monperrus, Martin
INRIA, 2014
Details

Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants

Baudry, Benoit and Allier, Simon and Monperrus, Martin
Proceedings of the International Symposium on Software Testing and Analysis,, 2014
Details

Software Language Engineering

Combemale, Benoit and Pearce, David and Barais, Olivier and Vinju, Jurgen
SLE 7 - Proceedings of International Conference on Software Language Engineering 2014,Springer,Benoît Combemale and David J. Pearce and Olivier Barais and Jurgen J. Vinju,, 2014
Details

A Reference Architecture and Roadmap for Models@run.time Systems

Aßmann, Uwe and Gotz, Sebastian and Jézéquel, Jean-Marc and Morin, Brice and Trapp, Mario
Models@run.time - Foundations, Applications, and Roadmaps,, 2014
Details

Comparing or Configuring Products: Are We Getting the Right Ones?

Sannier, Nicolas and Bécan, Guillaume and Acher, Mathieu and Ben Nasr, Sana and Baudry, Benoit
8th International Workshop on Variability Modelling of Software-intensive Systems,ACM, 2014
Details