Publications

Filter by type:

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

Details PDF Code

Descartes: a PITest engine to detect pseudo-tested methods - tool demonstration

Details PDF Code

A Temporal Model for Interactive Diagnosis of Adaptive Systems

Details PDF Code

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

Details PDF Code

Automatic Production of End User Documentation for DSLs

Details PDF Code

Trace Comprehension Operators for Executable DSLs

Details PDF Code

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

Details PDF Code

Towards Estimating and Predicting User Perception on Software Product Variants

Details PDF Code

Multimorphic Testing

Details PDF Code

FP-STALKER: Tracking Browser Fingerprint Evolutions

Details PDF Code

Detection and Analysis of Behavioral T-patterns in Debugging Activities

Details PDF Code

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

Details PDF Code

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

Details PDF Code

Distributing Relational Model Transformation on MapReduce

Details PDF Code

VaryLaTeX: Learning Paper Variants That Meet Constraints

Details PDF Code

Modeling Variability in the Video Domain: Language and Experience Report

Details PDF Code

Distributing Relational Model Transformation on MapReduce

Details PDF Code

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

Details PDF Code

A Comprehensive Study of Pseudo-tested Methods

Details PDF Code

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

Details PDF Code

The Emerging Field of Test Amplification: A Survey

Details PDF Code

Omniscient Debugging for Executable DSLs

Details PDF Code

Learning-Contextual Variability Models

Details PDF Code

AGENT: Automatic Generation of Experimental Protocol Runtime

Details PDF Code

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

Details PDF Code

Revisiting Visitors for Modular Extension of Executable DSMLs

Details PDF Code

Raising Time Awareness in Model-Driven Engineering

Details PDF Code

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

Details PDF Code

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

Details PDF Code

Automatic non-functional testing and tuning of configurable generators

Details PDF Code

Efficient and Complete FD-Solving for Extended Array Constraints *

Details PDF Code

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

Details PDF Code

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

Details PDF Code

Fingerprinting mobile devices: A short analysis

Details PDF Code

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

Details PDF Code

Reverse Engineering Language Product Lines from Existing DSL Variants

Details PDF Code

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

Details PDF Code

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

Details PDF Code

Towards Industry 4.0: Gap Analysis between Current Automotive MES and Industry Standards Using Model-Based Requirement Engineering

Details PDF Code

Language Engineering with the GEMOC Studio

Details PDF Code

A Systematic Mapping Study on Modeling for Industry 4.0

Details PDF Code

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

Details PDF Code

On Language Interfaces

Details PDF Code

Learning-Based Performance Specialization of Configurable Systems

Details PDF Code

Comment maîtriser la complexité des logiciels ?

Details PDF Code

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

Details PDF Code

Verifying the configuration of Virtualized Network Functions in Software Defined Networks

Details PDF Code

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

Details PDF Code

Automated Extraction of Product Comparison Matrices From Informal Product Descriptions

Details PDF Code

A WebRTC Extension to Allow Identity Negotiation at Runtime

Details PDF Code

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

Details PDF Code

Self-adaptation for Internet of things applications

Details PDF Code

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

Details PDF Code

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

Details PDF Code

Composition and Interoperability for External Domain-Specific Language Engineering

Details PDF Code

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

Details PDF Code

Engineering Modeling Languages

Details PDF Code

Approximate Loop Unrolling

Details PDF Code

Online Genetic Improvement on the java virtual machine with ECSELR

Details PDF Code

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

Details PDF Code

Execution Framework of the GEMOC Studio (Tool Demo)

Details PDF Code

Automatic Non-functional Testing of Code Generators Families

Details PDF Code

Using Machine Learning to Infer Constraints for Product Lines

Details PDF Code

Safe Model Polymorphism for Flexible Modeling

Details PDF Code

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

Details PDF Code

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

Details PDF Code

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

Details PDF Code

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

Details PDF Code

Exploiting the Enumeration of All Feature Model Configurations

Details PDF Code

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

Details PDF Code

Automatic Microbenchmark Generation to Prevent Dead Code Elimination and Constant Folding

Details PDF Code

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

Details PDF Code

NOTICE: A Framework for Non-functional Testing of Compilers

Details PDF Code

Traceability analyses between features and assets in software product lines

Details PDF Code

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

Details PDF Code

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

Details PDF Code

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

Details PDF Code

Interoperability and Composition of DSLs with Melange

Details PDF Code

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

Details PDF Code

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

Details PDF Code

Software Unbundling: Challenges and Perspectives

Details PDF Code

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

Details PDF Code

Featured model types: Towards Systematic Reuse in Modelling Language Engineering

Details PDF Code

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

Details PDF Code

A Complexity Tale: Web Configurators

Details PDF Code

Squirrel: Architecture Driven Resource Management

Details PDF Code

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

Details PDF Code

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

Details PDF Code

KevoreeJS: Enabling Dynamic Software Reconfigurations in the Browser

Details PDF Code

A Generative Middleware for Heterogeneous and Distributed Services

Details PDF Code

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

Details PDF Code

Optimal Minimisation of Pairwise-covering Test Configurations Using Constraint Programming

Details PDF Code

VCU: The Three Dimensions of Reuse

Details PDF Code

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

Details PDF Code

Modeling for Sustainability

Details PDF Code

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

Details PDF Code

Correct-by-construction model driven engineering composition operators

Details PDF Code

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

Details PDF Code

A Tool-Supported Approach for Concurrent Execution of Heterogeneous Models

Details PDF Code

Towards Language-Oriented Modeling

Details PDF Code

Supporting resource-awareness in managed runtime environments

Details PDF Code

Supporting resource awareness in managed runtime environment

Details PDF Code

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

Details PDF Code

Testing and maintenance of graphical user interfaces

Details PDF Code

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

Details PDF Code

Discovering Model Transformation Pre-conditions using Automatically Generated Test Models

Details PDF Code

Supporting Efficient and Advanced Omniscient Debugging for xDSMLs

Details PDF Code

Reusing Legacy DSLs with Melange

Details PDF Code

Model-Driven Multi-Cloud Resource Management

Details PDF Code

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

Details PDF Code

Globalized Domain Specific Language Engineering

Details PDF Code

A Model-Driven Based Environment for Automatic Model Coordination

Details PDF Code

Towards testing variability intensive systems using user reviews

Details PDF Code

On Breaking The Curse of Dimensionality in Reverse Engineering Feature Models

Details PDF Code

Le fingerprinting : une nouvelle technique de traçage

Details PDF Code

Integrating predictive analysis in self-adaptive pervasive systems

Details PDF Code

Enhancing Cloud Energy Models for Optimizing Datacenters Efficiency

Details PDF Code

Automatic Software Diversity in the Light of Test Suites

Details PDF Code

A Behavioral Coordination Operator Language (BCOoL)

Details PDF Code

Using fuzzy modeling for consistent definitions of product qualities in requirements

Details PDF Code

Product Lines Can Jeopardize Their Trade Secrets

Details PDF Code

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

Details PDF Code

Formal Verification Techniques for Model Transformations: A Tridimensional Classification

Details PDF Code

Towards Functional Model Transformations with OCL

Details PDF Code

Tooling Support for Variability and Architectural Patterns in Systems Engineering

Details PDF Code

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

Details PDF Code

Synthesis of Attributed Feature Models From Product Descriptions

Details PDF Code

SPLTea 2015: Second International Workshop on Software Product Line Teaching

Details PDF Code

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

Details PDF Code

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

Details PDF Code

Embedding Adaptivity in Software Systems using the ECSELR framework

Details PDF Code

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

Details PDF Code

ATSyRa: An Integrated Environment for Synthesizing Attack Trees

Details PDF Code

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

Details PDF Code

A Generative Approach to Define Rich Domain-Specific Trace Metamodels

Details PDF Code

MDE in Practice for Computational Science

Details PDF Code

Dynamic Analysis can be Improved with Automatic Test Suite Refactoring

Details PDF Code

DSpot: Test Amplification for Automatic Assessment of Computational Diversity

Details PDF Code

A Precise Metamodel for Open Cloud Computing Interface

Details PDF Code

Mitigating browser fingerprint tracking: multi-level reconfiguration and diversification

Details PDF Code

A Novelty Search Approach for Automatic Test Data Generation

Details PDF Code

On Model-Based Testing Advanced GUIs

Details PDF Code

Classifying and Qualifying GUI Defects

Details PDF Code

Towards the use of slicing techniques for an efficient invariant checking

Details PDF Code

Towards a Meta-Language for the Concurrency Concern in DSLs

Details PDF Code

Towards Language Interfaces for DSLs Integration

Details PDF Code

Evolution, testing and configuration of variability systems intensive

Details PDF Code

Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing

Details PDF Code

Challenges on Software Unbundling: Growing and Letting Go

Details PDF Code

Synthesis of Attributed Feature Models From Product Descriptions: Foundations

Details PDF Code

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

Details PDF Code

Weaving Concurrency in eXecutable Domain-Specific Modeling Languages

Details PDF Code

Using Slicing to Improve the Performance of Model Invariant Checking

Details PDF Code

On the Variability Secrets of an Online Video Generator

Details PDF Code

On the Globalization of Domain-Specific Languages

Details PDF Code

Multi-tier diversification in Web-based software applications

Details PDF Code

Motivating Use Cases for the Globalization of DSLs

Details PDF Code

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

Details PDF Code

Kompren: Modeling and Generating Model Slicers

Details PDF Code

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

Details PDF Code

Globalizing Domain-Specific Languages

Details PDF Code

Coping with Semantic Variation Points in Domain-Specific Modeling Languages

Details PDF Code

Conceptual Model of the Globalization for Domain-Specific Languages

Details PDF Code

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

Details PDF Code

Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study

Details PDF Code

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

Details PDF Code

An Analysis of Metamodeling Practices for MOF and OCL

Details PDF Code

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

Details PDF Code

Web applications engineering: reduce the complexity without loosing control

Details PDF Code

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

Details PDF Code

Towards a Model@runtime Middleware for Cyber Physical Systems

Details PDF Code

Supporting Distributed Product Configuration by Integrating Heterogeneous Variability Modeling Approaches

Details PDF Code

Leveraging model-based product lines for systems engineering

Details PDF Code

Domain Specific Languages: From Craft to Engineering

Details PDF Code

Designing resource-aware distriubted system based on system level containers

Details PDF Code

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

Details PDF Code

When Systems Engineering Meets Software Language Engineering

Details PDF Code

Rare event simulation for statistical model checking

Details PDF Code

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

Details PDF Code

Cost in the Cloud: Rationalization and Research Trails

Details PDF Code

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

Details PDF Code

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

Details PDF Code

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

Details PDF Code

WebFML: Synthesizing Feature Models Everywhere

Details PDF Code

Vision-based Absolute Localization for Unmanned Aerial Vehicles

Details PDF Code

ViViD: A Variability-Based Tool for Synthesizing Video Sequences

Details PDF Code

Variability Management in Domain-Specific Languages

Details PDF Code

Variability Management in Domain-Specific Languages

Details PDF Code

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

Details PDF Code

Towards Scalable Multidimensional Execution Traces for xDSMLs

Details PDF Code

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

Details PDF Code

The Relevance of Model-Driven Engineering Thirty Years from Now

Details PDF Code

Slicing-based Techniques for Visualizing Large Metamodels

Details PDF Code

Scalable Armies of Model Clones through Data Sharing

Details PDF Code

Safely Reusing Model Transformations through Family Polymorphism

Details PDF Code

SPLTea 2014: First International Workshop on Software Product Line Teaching

Details PDF Code

Operational Semantics of the Model of Concurrency and Communication Language

Details PDF Code

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

Details PDF Code

Moving Toward Product Line Engineering in a Nuclear Industry Consortium

Details PDF Code

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

Details PDF Code

MPLM -- MaTeLo Product Line Manager

Details PDF Code

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

Details PDF Code

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

Details PDF Code

Automating the Formalization of Product Comparison Matrices

Details PDF Code

Automating Variability Model Inference for Component-Based Language Implementations

Details PDF Code

A Native Versioning Concept to Support Historized Models at Runtime

Details PDF Code

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

Details PDF Code

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

Details PDF Code

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

Details PDF Code

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

Details PDF Code

The K3 Model-Based Language Workbench

Details PDF Code

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

Details PDF Code

Modeling Variability in the Video Domain: Language and Experience Report

Details PDF Code

Generating Counterexamples of Model-based Software Product Lines

Details PDF Code

Designing and Evolving Distributed Architecture using Kevoree

Details PDF Code

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

Details PDF Code

A Variability-Based Testing Approach for Synthesizing Video Sequences

Details PDF Code

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

Details PDF Code

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

Details PDF Code

Globalizing Modeling Languages

Details PDF Code

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

Details PDF Code

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

Details PDF Code

Software Architectures and Multiple Variability

Details PDF Code

Leveraging Family Polymorphism in MDE

Details PDF Code

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

Details PDF Code

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

Details PDF Code

Variability management and automation of software development processes

Details PDF Code

Towards an Automation of the Mutation Analysis Dedicated to Model Transformation

Details PDF Code

Sound Merging and Differencing for Class Diagrams

Details PDF Code

Scapegoat: an Adaptive monitoring framework for Component-based systems

Details PDF Code

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

Details PDF Code

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

Details PDF Code

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

Details PDF Code

Reverse Engineering Web Configurators

Details PDF Code

DIVERSIFY - Ecology-inspired software evolution for diversity emergence

Details PDF Code

Architectures logicielles et variabilité multiple

Details PDF Code

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

Details PDF Code

Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants

Details PDF Code

Software Language Engineering

Details PDF Code

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

Details PDF Code

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

Details PDF Code

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

Details PDF Code

A Survey on Teaching of Software Product Lines

Details PDF Code