Publications 2016

Full page

Publications HAL du labo/EPI diverse;triskell

Journal articles

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

Conference papers

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

Books

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

Reports

titre
Large-scale Analysis of Chess Games with Chess Engines: A Preliminary Report
auteur
Mathieu Acher, François Esnault
article
[Technical Report] RT-0479, Inria Rennes Bretagne Atlantique. 2016
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01307091/file/RT-479%20%281%29.pdf https://hal.inria.fr/hal-01307091/file/RT-479.pdf BibTex
titre
Correctness Attraction: A Study of Stability of Software Behavior Under Runtime Perturbation
auteur
Benjamin Danglot, Philippe Preux, Benoit Baudry, Martin Monperrus
article
[Research Report] hal-01378523, HAL. 2016
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01378523/file/correctness-attraction.pdf BibTex
titre
Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
auteur
Gurvan Le Guernic, José Angel Galindo Duarte
article
[Research Report] RR-8967, Inria Rennes Bretagne Atlantique. 2016, pp.41
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01385541/file/RR-8967.pdf BibTex

Theses

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

Preprints, Working Papers, …

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