Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

197 Results
Structure: Internal structure identifier : 239954
Image document

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

Nicolas Sannier , Guillaume Bécan , Mathieu Acher , Sana Ben Nasr , Benoit Baudry et al.
8th International Workshop on Variability Modelling of Software-intensive Systems, Jan 2014, Nice, France. ⟨10.1145/2556624.2556636⟩
Conference papers hal-00927312v1
Image document

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

Nicolas Sannier , Benoit Baudry
REFSQ'2014 - the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, Apr 2014, Essen, Germany
Conference papers hal-00982065v1
Image document

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

Benoit Combemale , Julien Deantoni , Robert France
Benoit Combemale; Julien Deantoni; Robert France. GEMOC 2014 co-located with MODELS 2014, Sep 2014, Valencia, France. 1236, , pp.82, 2014, CEUR-WS, 1613-0073
Proceedings hal-01074602v1
Image document

Synthesis of Attributed Feature Models From Product Descriptions: Foundations

Guillaume Bécan , Razieh Behjati , Arnaud Gotlieb , Mathieu Acher
[Research Report] RR-8680, Inria Rennes; INRIA. 2015
Reports hal-01116663v1
Image document

Towards the use of slicing techniques for an efficient invariant checking

Wuliang Sun , Benoit Combemale , Robert B. France
MODULARITY 2015, Mar 2015, Fort Collins, United States. pp.2, ⟨10.1145/2735386.2735926⟩
Conference papers hal-01141395v1
Image document

Sound Merging and Differencing for Class Diagrams

Uli Fahrenberg , Mathieu Acher , Axel Legay , Andrzej Wąsowski
FASE 2014 : 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France. pp.63 - 78, ⟨10.1007/978-3-642-54804-8_5⟩
Conference papers hal-01087323v1
Image document

Approximate Loop Unrolling

Marcelino Rodriguez-Cancio , Benoit Combemale , Benoit Baudry
2016
Preprints, Working Papers, ... hal-01401828v1
Image document

Composition and Interoperability for External Domain-Specific Language Engineering

Thomas Degueule
Software Engineering [cs.SE]. Université de Rennes 1 [UR1], 2016. English. ⟨NNT : ⟩
Theses tel-01427009v2
Image document

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

Jean Parpaillon , Philippe Merle , Olivier Barais , Marc Dutoo , Fawaz Paraiso et al.
Projects Showcase @ STAF'15, Jul 2015, L'Aquila, Italy. pp.18 - 25
Conference papers hal-01188826v1
Image document

Motivating Use Cases for the Globalization of DSLs

Betty H.C. Cheng , Thomas Degueule , Colin Atkinson , Siobhan Clarke , Ulrich Frank et al.
Benoit Combemale; Betty H.C. Cheng; Robert B. France; Jean-Marc Jézéquel; Bernhard Rumpe. Globalizing Domain-Specific Languages, 9400, Springer International Publishing, pp.21-42, 2015, Lecture Notes in Computer Science, 978-3-319-26171-3. ⟨10.1007/978-3-319-26172-0_3⟩
Book sections hal-01233660v1
Image document

VCU: The Three Dimensions of Reuse

Jörg Kienzle , Gunter Mussbacher , Omar Alam , Matthias Schöttle , Nicolas Belloir et al.
15th International Conference on Software Reuse (ICSR-15), May 2016, Limassol, Cyprus
Conference papers hal-01287720v1
Image document

A Novelty Search Approach for Automatic Test Data Generation

Mohamed Boussaa , Olivier Barais , Gerson Sunyé , Benoit Baudry
8th International Workshop on Search-Based Software Testing SBST@ICSE 2015, May 2015, Firenze, Italy. pp.4
Conference papers hal-01121228v1
Image document

KevoreeJS: Enabling Dynamic Software Reconfigurations in the Browser

Maxime Tricoire , Olivier Barais , Manuel Leduc , Johann Bourcier , François Fouquet et al.
WICSA and CompArch 2016, ACM Sigsoft, Apr 2016, Venice, Italy. ⟨10.1109/CBSE.2016.20⟩
Conference papers hal-01354997v1
Image document

Software Unbundling: Challenges and Perspectives

João Ferreira Filho Bosco , Mathieu Acher , Olivier Barais
S. Chiba; M. Südholt; P. Eugster; L. Ziarek; G.T. Leavens. Transactions on Modularity and Composition I, Springer, 2016, 978-3-319-46969-0
Book sections hal-01427560v1
Image document

Gestion de la variabilité et automatisation des processus de développement logiciel

Emmanuelle Rouillé
Génie logiciel [cs.SE]. Université de Rennes, 2014. Français. ⟨NNT : 2014REN1S022⟩
Theses tel-01061129v1
Image document

Leveraging model-based product lines for systems engineering

João Bosco Ferreira Filho
Software Engineering [cs.SE]. Université de Rennes, 2014. English. ⟨NNT : 2014REN1S080⟩
Theses tel-01127500v1

Correct-by-construction model driven engineering composition operators

Mounira Kezadri , Marc Pantel , Xavier Thirioux , Benoit Combemale
Formal Aspects of Computing, 2016, 28 (3), ⟨10.1007/s00165-016-0354-6⟩
Journal articles hal-01319576v1

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

Roberto Erick Lopez-Herrejon , Tewfik Ziadi , Jabier Martinez , Mathieu Acher
2016
Proceedings hal-01628959v1
Image document

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

Edouard Outin , Jean-Louis Pazat , Olivier Barais
Workshop Autonomique, Oct 2014, Toulouse, France
Conference papers hal-01243158v1
Image document

Breathing Ontological Knowledge Into Feature Model Synthesis: An Empirical Study

Guillaume Bécan , Mathieu Acher , Benoit Baudry , Sana Ben Nasr
Empirical Software Engineering, 2015, pp.51. ⟨10.1007/s10664-014-9357-1⟩
Journal articles hal-01096969v1
Image document

Reverse Engineering Web Configurators

Ebrahim Khalil Abbasi , Mathieu Acher , Patrick Heymans , Anthony Cleve
17th European Conference on Software Maintenance and Reengineering (CSMR), Feb 2014, Antwerp, Belgium
Conference papers hal-00913139v1
Image document

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

Dionysios Efstathiou , Peter Mcburney , Steffen Zschaler , Johann Bourcier
GECCO - Genetic and Evolutionary Computation Conference, Jul 2014, Vancouver, Canada
Conference papers hal-00983064v1
Image document

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

David Méndez-Acuña , José Angel Galindo Duarte , Benoit Combemale , Arnaud Blouin , Benoit Baudry et al.
ICSR 2016 the 15th International Conference on Software Reuse, Jun 2016, Limassol, Cyprus
Conference papers hal-01284822v1
Image document

A Generative Middleware for Heterogeneous and Distributed Services

Brice Morin , Franck Fleurey , Knut Eilif Husa , Olivier Barais
19th International ACM Sigsoft Symposium on Component-Based Software Engineering (CBSE 2016), Apr 2016, Venise, Italy. ⟨10.1109/CBSE.2016.12⟩
Conference papers hal-01356104v1
Image document

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

Jacky Bourgeois
Human-Computer Interaction [cs.HC]. The Open University; Université de Rennes 1 [UR1], 2016. English. ⟨NNT : ⟩
Theses tel-01385022v1
Image document

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

Dimitri van Landuyt , Steven Op de Beeck , Aram Hovsepyan , Sam Michiels , Wouter Joosen et al.
18th International Software Product Line Conference, Sep 2014, Florence, Italy
Conference papers hal-01018938v1
Image document

Automating Variability Model Inference for Component-Based Language Implementations

Edoardo Vacchi , Walter Cazzola , Benoit Combemale , Mathieu Acher
SPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy
Conference papers hal-01023864v1
Image document

The K3 Model-Based Language Workbench

Thomas Degueule , Olivier Barais , Arnaud Blouin , Benoit Combemale
2014
Preprints, Working Papers, ... hal-01025283v1
Image document

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

Dionysios Efstathiou , Peter Mcburney , Steffen Zschaler , Johann Bourcier
Journal of Universal Computer Science, 2014, 20 (8), pp.20
Journal articles hal-01090552v1
Image document

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

Rima Al Ali , Ilias Gerostathopoulos , Inti Gonzalez-Herrera , Adrian Juan-Verdejo , Michal Kit et al.
International Workshop on Hot TopiCS in Cloud Cloud service Scalability (HotTopiCS 2014), Mar 2014, Dublin, Ireland
Conference papers hal-01091541v1