Publications HAL du labo/EPI diverse;triskell

Journal articles

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

Conference papers

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

Book sections

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

Habilitation à diriger des recherches

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

Other publications

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

Books

titre
Globalizing Domain-Specific Languages
auteur
Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jézéquel, Bernhard Rumpe
article
Springer International Publishing, 9400, 2015, LNCS, Programming and Software Engineering, 978-3-319-26171-3. ⟨10.1007/978-3-319-26172-0⟩
Accès au bibtex
BibTex

Poster communications

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

Proceedings

titre
Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling
auteur
Benoit Combemale, Julien Deantoni, Jeff Gray
article
GEMOC+MPM 2015, Ottawa, Canada. 1511, CEUR, 2015, Joint Proceedings of the 3rd International Workshop on the Globalization Of Modeling Languages and the 9th International Workshop on Multi-Paradigm Modeling
Accès au bibtex
BibTex

Reports

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

Theses

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

Preprints, Working Papers, ...

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