Publications

Full page

Publications HAL du labo/EPI diverse;triskell

Journal articles

titre
Extraction and Evolution of Architectural Variability Models in Plugin-based Systems
auteur
Mathieu Acher, Anthony Cleve, Philippe Collet, Philippe Merle, Laurence Duchien, Philippe Lahire
article
Software & Systems Modeling (SoSyM), Springer, 2013, 27 p. 〈10.1007/s10270-013-0364-2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859472/file/FraSCAtiSoSyM12.pdf BibTex
titre
FAMILIAR: A Domain-Specific Language for Large Scale Management of Feature Models
auteur
Mathieu Acher, Philippe Collet, Philippe Lahire, Robert France
article
Science of Computer Programming, Elsevier, 2013, 78 (6), pp.657 – 681. 〈10.1016/j.scico.2012.12.004〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00767175/file/SCP-FAMILIAR.pdf BibTex
titre
Teaching Software Product Lines: A Snapshot of Current Practices and Challenges
auteur
Mathieu Acher, Roberto E. Lopez-Herrejon, Rick Rabiser
article
ACM Transactions of Computing Education, Association for Computing Machinery, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01522779/file/TOCE.pdf BibTex
titre
Consistency Checking in Early Software Product Line Specifications -The VCC Approach
auteur
Mauricio Alférez, Roberto Erick Lopez-Herrejon, Ana Moreira, Vasco Amaral, Alexander Egyed
article
Journal of Universal Computer Science, Springer, 2014, 20 (5), pp.640 – 665. 〈http://www.jucs.org/jucs_20_5/consistency_checking_in_early〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088464/file/jucs_20_05_0640_0665_alferez.pdf BibTex
titre
Evaluating scenario-based SPL requirements approaches: the case for modularity, stability and expressiveness
auteur
Mauricio Alférez, Rodrigo Bonifácio, Leopoldo Teixeira, Paola Accioly, Uirá Kulesza, Ana Moreira, Joao Araujo, Paulo Borba
article
Requirements Engineering, Springer Verlag, 2014, 19 (4), pp.355 – 376. 〈10.1007/s00766-013-0184-5〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01088537/file/REJ%20Alferez%20etal%20fresh%20in%20hal.pdf BibTex
titre
Multi-tier 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, Institute of Electrical and Electronics Engineers, 2015, 32 (1), pp.83–90. 〈http://dx.doi.org/10.1109/MS.2014.150〉. 〈10.1109/MS.2014.150〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01089268/file/final-multi-tier.pdf BibTex
titre
Pushdown Module Checking with Imperfect Information
auteur
Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Vardi
article
Information and Computation, Elsevier, 2013, 223, pp.18. 〈10.1016/j.ic.2012.11.005〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01260664/file/comb4-rev.pdf BibTex
titre
Formal Verification Techniques for Model Transformations: A Tridimensional Classification
auteur
Moussa Amrani, Benoît Combemale, Levi Lúcio, Gehan Selim, Jürgen Dingel, Yves Le Traon, Hans Vangheluwe, James R. Cordy
article
The Journal of Object Technology, Chair of Software Engineering, 2015, 14 (3), pp.1:1-43. 〈http://www.jot.fm/contents/issue_2015_03/article1.html〉. 〈10.5381/jot.2015.14.3.a1〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01083759/file/JoT2014-final.pdf BibTex
titre
Towards an Automation of the Mutation Analysis Dedicated to Model Transformation
auteur
Vincent Aranega, Jean-Marie Mottu, Anne Etien, Thomas Degueule, Benoit Baudry, Jean-Luc Dekeyser
article
Software Testing, Verification and Reliability, Wiley, 2014, pp.30. 〈10.1002/stvr.1532〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00988164/file/paper.pdf BibTex
titre
Quand l’écologie inspire de nouvelles manières de fabriquer des logiciels
auteur
Benoit Baudry
article
Interstices, INRIA, 2015, 〈https://interstices.info/jcms/p_82529/quand-l-ecologie-inspire-de-nouvelles-manieres-de-fabriquer-des-logiciels〉
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, Association for Computing Machinery, 2015, 48, pp.1-26. 〈10.1145/2807593〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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, Springer Verlag, 2015, pp.51. 〈10.1007/s10664-014-9357-1〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01096969/file/ESE-KSynthesis.pdf BibTex
titre
Automated Extraction of Product Comparison Matrices From Informal Product Descriptions
auteur
Sana Ben Nasr, Guillaume Bécan, Mathieu Acher, João Ferreira Filho Bosco, Nicolas Sannier, Benoit Baudry, Jean-Marc Davril
article
Journal of Systems and Software, Elsevier, 2017, 124, pp.82 – 103. 〈10.1016/j.jss.2016.11.018〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01427218/file/spedoc.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, Elsevier, 2015, 62, pp.124 – 142. 〈10.1016/j.infsof.2015.02.007〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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, Springer Verlag, 2015, 14 (1), pp.321-337
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00746566/file/slicer.pdf BibTex
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
Advanced and efficient execution trace management for executable domain-specific modeling languages
auteur
Erwan Bousse, Tanja Mayerhofer, Benoit Combemale, Benoit Baudry
article
Software and Systems Modeling, Springer Verlag, 2017, pp.1-37 〈10.1007/s10270-017-0598-5〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01614377/file/sosym-bousse-tracemanagement-2017.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, Elsevier, 2015, 41, pp.46. 〈10.1016/j.cl.2015.02.002〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01186015/file/metamodelingpractices-comlan2015-preprint.pdf BibTex
titre
Globalizing Modeling Languages
auteur
Benoit Combemale, Julien Deantoni, Benoit Baudry, Robert B. France, Jean-Marc Jézéquel, Jeff Gray
article
Computer, Institute of Electrical and Electronics Engineers, 2014, pp.10-13
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00994551/file/ieee-computer-column-gemoc-v8.pdf BibTex
titre
Le nouveau défi de la coordination des langages de modélisation. Gestion de l’hétérogénéité des modèles dans le développement et l’exécution de systèmes logiciels complexes
auteur
Benoit Combemale, Julien Deantoni, Ali Koudri, Jérôme Le Noir
article
Génie logiciel, C & S, 2013, pp.4-11
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00854221/file/Neptune2013-gemoc.pdf BibTex
titre
A WebRTC Extension to Allow Identity Negotiation at Runtime
auteur
Kevin Corre, Simon Bécot, Olivier Barais, Gerson Sunyé
article
Lecture Note in Computer Science, Springer, 2017, Web Engineering, 10360, pp.412-419. 〈10.1007/978-3-319-60131-1_27〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01611057/file/WebRTCExtensionIdentityNegotiationRuntime.pdf BibTex
titre
Why can’t users choose their identity providers on the web?
auteur
Kevin Corre, Olivier Barais, Gerson Sunyé, Vincent Frey, Jean-Michel Crom
article
Proceedings on Privacy Enhancing Technologies, De Gruyter Open, 2017, 2017 (3), pp.72-86. 〈10.1515/popets-2017-0029〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01611048/file/main.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
Empirical Software Engineering, Springer Verlag, 2017, 〈10.1007/s10664-017-9571-8〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01378523/file/correctness-attraction.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, Computer Languages, Systems Structures, 49, pp.30. 〈http://www.sciencedirect.com/science/journal/14778424〉. 〈10.1016/j.cl.2016.09.001〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01367305/file/comlan-melange.pdf BibTex
titre
Efficient Multi-Objective Optimisation of Service Compositions in Mobile Ad hoc Networks Using Lightweight Surrogate Models
auteur
Dionysios Efstathiou, Peter Mcburney, Steffen Zschaler, Johann Bourcier
article
Journal of Universal Computer Science, Springer, 2014, 20 (8), pp.20
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090552/file/EfstathiouRevised.pdf BibTex
titre
Generating Counterexamples of Model-based Software Product Lines
auteur
Joao Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Axel Legay, Benoit Baudry
article
Software Tools for Technology Transfer (STTT), Springer, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01026581/file/STTT2014.pdf BibTex
titre
SOA Antipatterns: an Approach for their Specification and Detection
auteur
Palma Francis, Nayrolles Mathieu, Moha Naouel, Guéhéneuc Yann-Gael, Benoit Baudry, Jean-Marc Jézéquel
article
International Journal of Cooperative Information Systems, World Scientific Publishing, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916299/file/IJCIS-Palma.pdf BibTex
titre
Supporting Distributed Product Configuration by Integrating Heterogeneous Variability Modeling Approaches
auteur
José Angel Galindo Duarte, Deepak Dhungana, Rick Rabiser, David Benavides, Goetz Botterweck, Paul Grünbacher
article
Information and Software Technology, Elsevier, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01204510/file/invar_journal.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
Symbolic Unfolding of Parametric Stopwatch Petri Nets
auteur
Claude Jard, Didier Lime, Olivier Henri Roux, Louis-Marie Traonouez
article
Formal Methods in System Design, Springer Verlag, 2013, 43 (3), pp.493-519. 〈10.1007/s10703-013-0188-2〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00840368/file/fmsd.pdf BibTex
titre
Comment maîtriser la complexité des logiciels ?
auteur
Jean-Marc Jézéquel, Joanna Jongwane
article
Interstices, INRIA, 2017, 〈https://interstices.info/jcms/p_93062/comment-maitriser-la-complexite-des-logiciels〉
Accès au bibtex
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, Springer Verlag, 2015, 14 (2), pp.905-920. 〈http://link.springer.com/article/10.1007%2Fs10270-013-0354-4〉. 〈10.1007/s10270-013-0354-4〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00829839/file/mashup-of-meta-languages.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
Reverse Engineering Language Product Lines from Existing DSL Variants
auteur
David Méndez-Acuña, José Galindo, Benoit Combemale, Arnaud Blouin, Benoit Baudry
article
Journal of Systems and Software, Elsevier, 2017, 〈http://www.sciencedirect.com/science/article/pii/S0164121217300857〉. 〈10.1016/j.jss.2017.05.042〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01524632/file/elsarticle-template.pdf BibTex
titre
Automated Measurement of Models of Requirements
auteur
Martin Monperrus, Benoit Baudry, Joël Champeau, Brigitte Hoeltzener, Jean-Marc Jézéquel
article
Software Quality Journal, Springer Verlag, 2013, 21 (1), pp.3-22. 〈10.1007/s11219-011-9163-6〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00646876/file/main.pdf BibTex
titre
Automating the Maintenance of Non-functional System Properties using Demonstration-based Model Transformation
auteur
Yu Sun, Jeff Gray, Romain Delamare, Benoit Baudry, Jules White
article
Journal of Software Maintenance and Evolution, Wiley, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916287/file/AOM-JSME.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, Chair of Software Engineering, 2015, pp.28
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01179369/file/jot_coslicing_cameraready.pdf BibTex
titre
Model-Based Testing of Global Properties on Large-Scale Distributed Systems
auteur
Gerson Sunyé, Eduardo Cunha de Almeida, Yves Le Traon, Benoit Baudry, Jean-Marc Jézéquel
article
Information and Software Technology, Elsevier, 2014
Accès au bibtex
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
Reverse Engineering Web Configurators
auteur
Ebrahim Khalil Abbasi, Mathieu Acher, Patrick Heymans, Anthony Cleve
article
17th European Conference on Software Maintenance and Reengineering (CSMR), Feb 2014, Antwerp, Belgium. IEEE, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00913139/file/csmr-main.pdf BibTex
titre
A Survey on Teaching of Software Product Lines
auteur
Mathieu Acher, Roberto Erick Lopez-Herrejon, Rick Rabiser
article
Eight International Workshop on Variability Modelling of Software-Intensive Systems (VaMoS’14), Jan 2014, Nice, France. ACM, pp.1-8, 2014, 〈10.1145/2556624.2556629〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916746/file/vamos14.pdf BibTex
titre
Composing your Compositions of Variability Models
auteur
Mathieu Acher, Benoît Combemale, Philippe Collet, Olivier Barais, Philippe Lahire, Robert France
article
ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MODELS’13), Sep 2013, Miami, United States. Lecture Notes in Computer Science, 17 p., 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859473/file/models13-compofm.pdf BibTex
titre
Customization and 3D Printing: A Challenging Playground for Software Product Lines
auteur
Mathieu Acher, Benoit Baudry, Olivier Barais, Jean-Marc Jézéquel
article
18th International Software Product Line Conference, Jul 2014, Florence, Italy. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01018937/file/SPLC2014-3DPrinting.pdf BibTex
titre
Metamorphic Domain-Specific Languages: A Journey Into the Shapes of a Language
auteur
Mathieu Acher, Benoit Combemale, Philippe Collet
article
Onward! Essays, Sep 2014, Portland, United States. ACM, pp.243–253, 2014, 〈10.1145/2661136.2661159〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01061576/file/onwd1446-acher.pdf BibTex
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://hal.inria.fr/hal-01234342/file/fse15nier-nierid35-p-3ebab97-24933-preprint.pdf BibTex
titre
Software Diversity: Challenges to handle the imposed, Opportunities to harness the chosen
auteur
Mathieu Acher, Olivier Barais, Benoit Baudry, Arnaud Blouin, Johann Bourcier, Benoit Combemale, Jean-Marc Jézéquel, Noël Plouzeau
article
GDR GPL, Jun 2014, Paris, France. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00980126/file/GDR-challenge.pdf BibTex
titre
SPLTea 2014: First International Workshop on Software Product Line Teaching
auteur
Mathieu Acher, Roberto Erick Lopez-Herrejon, Rick Rabiser
article
18th International Software Product Line Conference, Sep 2014, Florence, Italy. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01024990/file/spltea_summary.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. 2015, Proceedings of the 19th International Conference on Software Product Line (SPLC’15). 〈10.1145/2791060.2791063〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01243213/file/spltea_summaryHAL.pdf BibTex
titre
Support for Reverse Engineering and Maintaining Feature Models
auteur
Mathieu Acher, Patrick Heymans, Anthony Cleve, Jean-Luc Hainaut, Benoit Baudry
article
VaMoS’13 – Seventh International Workshop on Variability Modelling of Software-Intensive Systems, Jan 2013, Pisa, Italy. ACM, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00766786/file/KSynthesis-VaMoS2013-CR.pdf BibTex
titre
ViViD: A Variability-Based Tool for Synthesizing Video Sequences
auteur
Mathieu Acher, Mauricio Alférez, José Angel Galindo Duarte, Pierre Romenteau, Benoit Baudry
article
SPLC’14 (tool demonstration track), Sep 2014, Florence, Italy. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01020933/file/paper.pdf BibTex
titre
Towards a Model@runtime Middleware for Cyber Physical Systems
auteur
Francisco Javier Acosta Padilla, Frédéric Weis, Johann Bourcier
article
Proceedings of the 9th Workshop on Middleware for Next Generation Internet Computing, Dec 2014, Bordeaux, France. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090269/file/M4CPS14-norights.pdf BibTex
titre
An Architecture-Based Approach for Compute-Intensive Pervasive Systems in Dynamic Environments
auteur
Rima Al Ali, Ilias Gerostathopoulos, Inti Gonzalez-Herrera, Adrian Juan-Verdejo, Michal Kit, Bholanathsingh Surajbali
article
International Workshop on Hot TopiCS in Cloud Cloud service Scalability (HotTopiCS 2014), Mar 2014, Dublin, Ireland
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01091541/file/2014-AlAli_etal-HottopicsICPE.pdf BibTex
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
A Demonstration for Building Modular and Efficient DSLs: The Kermeta v2 Experience
auteur
Olivier Barais, Benoit Baudry, Arnaud Blouin, Benoit Combemale, Jean-Marc Jézéquel, Didier Vojtisek
article
Conférence en IngénieriE du Logiciel (CIEL), Apr 2013, Nancy, France. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00796009/file/K2.pdf BibTex
titre
Language Engineering with the GEMOC Studio
auteur
Olivier Barais, Benoit Combemale, Andreas Wortmann
article
IEEE. ICSAW 2017 – IEEE International Conference on Software Architecture Workshops, Apr 2017, Gothenburg, Sweden. pp.3
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01609576/file/language-engineering-gemoc.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
DIVERSIFY – Ecology-inspired software evolution for diversity emergence
auteur
Benoit Baudry, Martin Monperrus, Cendrine Mony, Franck Chauvel, Franck Fleurey, Siobhàn Clarke
article
Proceedings of IEEE CSMR-WCRE, Feb 2014, Antwerp, Belgium. IEEE, pp.395-398, 2014, 〈10.1109/CSMR-WCRE.2014.6747203〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916281/file/csmr14-diversify.pdf BibTex
titre
Tailored Source Code Transformations to Synthesize Computationally Diverse Program Variants
auteur
Benoit Baudry, Simon Allier, Martin Monperrus
article
Proceedings of the International Symposium on Software Testing and Analysis, 2014, San Jose, United States. pp.149-159, 2014, 〈10.1145/2610384.2610415〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00938855/file/sosies.pdf BibTex
titre
Binding Orthogonal Views for User Interface Design
auteur
Olivier Beaudoux, Mickael Clavreul, Arnaud Blouin
article
Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling (VAO’13), Jul 2013, Montpellier, France. ACM press, in press, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00826705/file/VAO-2013.pdf BibTex
titre
An Ontologic-Aware Feature Modeling Environment
auteur
Guillaume Bécan, Sana Ben Nasr, Benoit Baudry
article
Journées lignes de produits – 2013, Nov 2013, Paris, France. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00915662/file/JLDP2013_KSynthesis.pdf BibTex
titre
Automating the Formalization of Product Comparison Matrices
auteur
Guillaume Bécan, Nicolas Sannier, Mathieu Acher, Olivier Barais, Arnaud Blouin, Benoit Baudry
article
ASE – 29th IEEE/ACM International Conference on Automated Software Engineering, Sep 2014, Västerås, Sweden. 2014, 〈10.1145/2642937.2643000〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01058440/file/FromData2Models.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, 2015, 〈10.1145/2701319.2701328〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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://hal.inria.fr/hal-01178454/file/SPLC15-AFM.pdf BibTex
titre
WebFML: Synthesizing Feature Models Everywhere
auteur
Guillaume Bécan, Sana Ben Nasr, Mathieu Acher, Benoit Baudry
article
SPLC – 18th International Software Product Line Conference, Sep 2014, Florence, Italy. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01022912/file/SPLC2014-WebFML.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://hal.inria.fr/hal-01234338/file/MatrixMiner.pdf BibTex
titre
Moving Toward Product Line Engineering in a Nuclear Industry Consortium
auteur
Sana Ben Nasr, Nicolas Sannier, Mathieu Acher, Benoit Baudry
article
18th International Software Product Line Conference (SPLC’2014), Sep 2014, Florence, Italy. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01019537/file/Ben-Nasr_Sannier_Acher_Baudry_Moving_toward_PLE_in_nuclear_industry.pdf BibTex
titre
Raising Time Awareness in Model-Driven Engineering
auteur
Amine Benelallam, Thomas Hartmann, Ludovic Mouline, Francois Fouquet, Johann Bourcier, Olivier Barais, Yves Le Traon
article
ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems., Sep 2017, Austin, Texas, United States. 〈https://www.cs.utexas.edu/models2017〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01580554/file/raising-time-awareness.pdf BibTex
titre
Incremental Generation of Linear Invariants for Component-Based Systems
auteur
Saddek Bensalem, Marius Bozga, Benoît Boyer, Axel Legay
article
3th International Conference on Application of Concurrency to System Design (ACSD), Jul 2013, Barcelona, Spain. pp.1-10, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00878738/file/main.pdf BibTex
titre
May the fork be with you”: novel metrics to analyze collaboration on GitHub
auteur
Marco Biazzini, Benoit Baudry
article
Proceedings of the 5th International Workshop on Emerging Trends in Software Metrics (WETSoM 2014), Jun 2014, Hyderabad, India. pp.37 – 43, 2014, 〈https://www.conference-publishing.com/list.php?Event=ICSEWS14WETSOM〉. 〈10.1145/2593868.2593875〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01085400/file/Biazzini14b.pdf BibTex
titre
On Analyzing the Topology of Commit Histories in Decentralized Version Control Systems
auteur
Marco Biazzini, Martin Monperrus, Benoit Baudry
article
ICSME – 30th IEEE International Conference on Software Maintenance and Evolution, Sep 2014, Victoria, Canada. pp.261-270, 2014, 〈10.1109/ICSME.2014.48〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01063789/file/main.pdf BibTex
titre
Towards improving user satisfaction in decentralized P2P networks
auteur
Marco Biazzini, Patricia Serrano-Alvarado, Raziel Carvajal-Gomez
article
COLLABORATECOM, Oct 2013, Austin, Texas, United States. pp.1, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00871672/file/main.pdf BibTex
titre
Slicing-based Techniques for Visualizing Large Metamodels
auteur
Arnaud Blouin, Naouel Moha, Benoit Baudry, Houari Sahraoui
article
IEEE Working Conference on Software Visualization (VISSOFT 2014), Sep 2014, Victoria, Canada. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01056217/file/vissoft14Blouin.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. CEUR, 2015, 〈http://flux.cs.queensu.ca/oss4mde/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01186019/file/oss4mde-capella.pdf BibTex
titre
Conversations with my Washing Machine: An in-the-wild Study of Demand Shifting with Self-generated Energy
auteur
Jacky Bourgeois, Janet Van Der Linden, Gerd Kortuem, Blaine A. Price, Christopher Rimmer
article
2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing (UbiComp 2014), Sep 2014, Seattle, WA, United States. 〈10.1145/2632048.2632106〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090641/file/ubicomp-camera-ready.pdf BibTex
titre
Using Participatory Data Analysis to Understand Social Constraints and Opportunities of Electricity Demand-Shifting
auteur
Jacky Bourgeois, Janet Van Der Linden, Gerd Kortuem, Christopher Rimmer
article
2nd International Conference on ICT for Sustainability (ICT4S 2014), Aug 2014, Stockholm, Sweden. 2014, 〈10.2991/ict4s-14.2014.49〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090643/file/ict4s-camera-ready.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, 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. ACM, Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation, pp.1359–1360, 2015, Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation. 〈http://www.sigevo.org/gecco-2015/〉. 〈10.1145/2739482.2764716〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01248177/file/p1359-boussaa.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
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. 〈https://www.uni-marburg.de/fb12/swt/ecmfa2015〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01154225/file/ecmfa-final.pdf BibTex
titre
Combining Verification and Validation techniques
auteur
Erwan Bousse
article
Doctoral Symposium of ECMFA, ECOOP and ECSA 2013, Jul 2013, Montpellier, France. pp.10, 〈http://info-web.lirmm.fr/ecoop13/index.php/doctoral-symposium.html〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01183129/file/final.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
Scalable Armies of Model Clones through Data Sharing
auteur
Erwan Bousse, Benoit Combemale, Benoit Baudry
article
Model Driven Engineering Languages and Systems, 17th International Conference, MODELS 2014, Sep 2014, Valencia, Spain. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01023681/file/modelcloning-final2.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. 〈http://www.sleconf.org/2015/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01182517/file/bousse-corley-omniscient-debugging-sle2015.pdf BibTex
titre
Towards Scalable Multidimensional Execution Traces for xDSMLs
auteur
Erwan Bousse, Benoit Combemale, Benoit Baudry
article
11th Workshop on Model Design, Verification and Validation Integrating Verification and Validation in MDE (MoDeVVa 2014), Sep 2014, Valencia, Spain. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01061740/file/main.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, Jun 2015, Reykjavík, Iceland. 2015, 〈http://www.iccs-meeting.org/iccs2015〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01141393/file/mde-practice-computational-camera.pdf BibTex
titre
Interactive Visualisation of Products in Online Configurators: A Case Study for Variability Modelling Technologies
auteur
Marianela Ciolfi Felice, Joao Bosco Ferreira Filho, Mathieu Acher, Arnaud Blouin, Olivier Barais
article
MAPLE/SCALE 2013: Joint Workshop on Model-driven Approaches in SPL Engineering, and Workshop on Scalable Modeling Techniques for SPL, Aug 2013, Tokio, Japan. pp.82–85, 2013, 〈10.1145/2499777.2500711〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00842656/file/MAPLE2013.pdf BibTex
titre
Feature Model Management: Smart Operations and Language Support
auteur
Philippe Collet, Philippe Lahire, Mathieu Acher, Robert France
article
ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, Sep 2013, Miami, United States. 2013
Accès au bibtex
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. CEUR, 〈http://www.transformation-tool-contest.eu/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01152342/file/ttc15-combemale-cameraready.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
Reifying Concurrency for Executable Metamodeling
auteur
Benoit Combemale, Julien Deantoni, Matias Ezequiel Vara Larsen, Frédéric Mallet, Olivier Barais, Benoit Baudry, Robert France
article
Erwig, Martin and Paige, Richard F. and Van Wyk, Eric. SLE – 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. Springer, 8225, pp.365-384, 2013, Lecture Notes in Computer Science. 〈10.1007/978-3-319-02654-1_20〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00850770/file/sle13-eventdrivenmetamodeling-cameraready-v1.1.pdf BibTex
titre
Report on the First Workshop On the Globalization of Modeling Languages (GEMOC 2013)
auteur
Benoit Combemale, Julien Deantoni, Robert France, Frédéric Boulanger, Sébastien Mosser, Marc Pantel, Bernhard Rumpe, Rick Salay, Martin Schindler
article
GEMOC+AMINO@MoDELS: GEMOC – 1st International Workshop On the Globalization of Modeling Languages (2013), Sep 2013, Miami, United States. CEUR, Vol-1102, pp.3-13, 2013, Joint Proceedings of GEMOC ’13 and AMINO ’13 @ MODELS 2013. 〈http://ceur-ws.org/Vol-1102/gemoc13-report.pdf〉
Accès au bibtex
BibTex
titre
Feature Model Extraction from Large Collections of Informal Product Descriptions
auteur
Jean-Marc Davril, Edouard Delfosse, Negar Hariri, Mathieu Acher, Jane Clelang-Huang, Patrick Heymans
article
European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC/FSE’13), Sep 2013, Saint Petersburg, Russia. pp.290-300, 2013, 〈10.1145/2491411.2491455〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859475/file/fse13main-id221-p-18686-final.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. 17th International Configuration Workshop, 17th International Configuration Workshop
Accès au texte intégral et bibtex
https://hal.inria.fr/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. 2015, Artificial Intelligence for Requirements Engineering (AIRE), 2015 IEEE Second International Workshop on. 〈10.1109/AIRE.2015.7337624〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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. IEEE proceedings of Design, Automation and Test in Europe Conference and Exhibition (DATE), 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/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://hal.inria.fr/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. Proceedings of the 15th Workshop on Domain-Specific Modeling
Accès au texte intégral et bibtex
https://hal.inria.fr/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. 2015, Proceedings of the 19th International Conference on Software Product Line. 〈10.1145/2791060.2791097〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01242180/file/SPLC2015-kCVLPatternsTool.pdf BibTex
titre
Vers une approche centrée humain pour la définition de langages de modélisation graphiques
auteur
Sophie Dupuy-Chessa, Benoit Combemale, Marie-Pierre Gervais, Thierry Nodenot, Xavier Le Pallec, Laurent Wouters
article
32ème congrès Inforsid’2014, May 2014, Lyon, France. pp.79-94, 2014
Accès au bibtex
BibTex
titre
When Model Driven Engineering meets Virtual Reality: Feedback from Application to the Collaviz Framework
auteur
Thierry Duval, Arnaud Blouin, Jean-Marc Jézéquel
article
Software Engineering and Architectures for Realtime Interactive Systems Working Group, Mar 2014, Minnesota, United States. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00969072/file/MDEVR.pdf BibTex
titre
Exploring Optimal Service Compositions in Highly Heterogeneous and Dynamic Service-Based Systems
auteur
Dionysios Efstathiou, Peter Mcburney, Steffen Zschaler, Johann Bourcier
article
Search Based Software Engineering, Aug 2013, Saint Petersbourg, Russia. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859877/file/efstathiouSSBSE2013.pdf BibTex
titre
Flexible QoS-Aware Service Composition in Highly Heterogeneous and Dynamic Service-Based Systems
auteur
Dionysios Efstathiou, Peter Mcburney, Steffen Zschaler, Johann Bourcier
article
WiMob – The 9th IEEE International Conference on Wireless and Mobile Computing, Networking and Communications – 2013, Oct 2013, Lyon, France. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859891/file/efstathiouWiMob.pdf BibTex
titre
Surrogate-Assisted Optimisation of Composite Applications in Mobile Ad hoc Networks
auteur
Dionysios Efstathiou, Peter Mcburney, Steffen Zschaler, Johann Bourcier
article
GECCO – Genetic and Evolutionary Computation Conference, Jul 2014, Vancouver, Canada. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00983064/file/pap444-efstathiou.pdf BibTex
titre
Optimizing Multi-objective Evolutionary Algorithms to Enable Quality-Aware Software Provisioning
auteur
Donia El Kateb, François Fouquet, Johann Bourcier, Yves Le Traon
article
The 14th International Conference on Quality Software, Oct 2014, Dallas, United States. pp.85 – 94, 2014, 〈10.1109/QSIC.2014.44〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090246/file/QSIC.pdf BibTex
titre
Sound Merging and Differencing for Class Diagrams
auteur
Uli Fahrenberg, Mathieu Acher, Axel Legay, Andrzej Wąsowski
article
Stefania Gnesi and Arend Rensink. FASE 2014 : 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France. Springer, 8411, pp.63 – 78, 2014, LNCS : Fundamental Approaches to Software Engineering. 〈10.1007/978-3-642-54804-8_5〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01087323/file/fase-final.pdf BibTex
titre
Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples
auteur
Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale
article
MODELS – ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, 2013, Miami, United States. Springer, pp.187-202, 2013, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00923789/file/DerivingOCLInv_main.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://hal.inria.fr/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://hal.inria.fr/hal-01116694/file/unbundling.pdf BibTex
titre
Generating Counterexamples of Model-based Software Product Lines: An Exploratory Study
auteur
Joao Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Benoit Baudry
article
SPLC – 17th International Software Product Line Conference, Aug 2013, Tokyo, Japan. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00837523/file/SPLC2013.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. 2015, 〈https://www.cs.york.ac.uk/nature/ecal2015〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01159131/file/paper119_CR.pdf BibTex
titre
Designing and Evolving Distributed Architecture using Kevoree
auteur
François Fouquet, Grégory Nain, Erwan Daubert, Johann Bourcier, Olivier Barais, Noel Plouzeau, Brice Morin
article
QoSA ’14 Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures, Jul 2014, Lille, France. ACM New York, NY, USA ©2014, pp.147-148, 2014, QoSA ’14 Proceedings of the 10th international ACM Sigsoft conference on Quality of software architectures. 〈10.1145/2602576.2611461〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01096941/file/p147-barais.pdf BibTex
titre
A Variability-Based Testing Approach for Synthesizing Video Sequences
auteur
José Angel Galindo Duarte, Mauricio Alférez, Mathieu Acher, Benoit Baudry, David Benavides
article
ISSTA ’14: International Symposium on Software Testing and Analysis, Jul 2014, San José, California, United States. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01003148/file/paper.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
Tree Regular Model Checking for Lattice-Based Automata
auteur
Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat
article
CIAA – 18th International Conference on Implementation and Application of Automata, Jul 2013, Halifax, Canada. Springer, 7982, 2013, LNCS
Accès au bibtex
BibTex
titre
Fingerprinting mobile devices: A short analysis
auteur
Alejandro Gómez-Boix, Pierre Laperdrix, Benoit Baudry
article
CIEL 2017 – 6ème Conférence en IngénieriE du Logiciel, Jun 2017, Montpellier, France
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01611101/file/FP_mobile_devices_A_short_analysis%20.pdf BibTex
titre
Designing resource-aware distriubted system based on system level containers
auteur
Inti Gonzalez-Herrera, Johann Bourcier, Olivier Barais, François Fouquet
article
Middleware Conference, Dec 2014, Bordeaux, France. pp.2, Middleware tutorial
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01090565/file/tuto-middleware.pdf BibTex
titre
Scapegoat: an Adaptive monitoring framework for Component-based systems
auteur
Inti Gonzalez-Herrera, Johann Bourcier, Erwan Daubert, Walter Rudametkin, Olivier Barais, François Fouquet, Jean-Marc Jézéquel
article
Antony Tang. Working IEEE/IFIP Conference on Software Architecture, Apr 2014, Syndey, Australia. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00983045/file/sig-alternate.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
Yo Variability! JHipster: A Playground for Web-Apps Analyses
auteur
Axel Halin, Alexandre Nuttinck, Mathieu Acher, Xavier Devroey, Gilles Perrouin, Patrick Heymans
article
11th International Workshop on Variability Modelling of Software-intensive Systems, Feb 2017, Eindhoven, Netherlands. pp.44 – 51, 2017, 〈10.1145/3023956.3023963〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01468084/file/vamos-2017%20%2810%29.pdf BibTex
titre
Cost in the Cloud: Rationalization and Research Trails
auteur
Kahina Hamadache, Viliam Simko, Rustem Dautov, Fotis Gonidis, Paraskevi Zerva, Ivan Dario Paez Anaya, Ariana Polyviou
article
International Conference on Advanced Cloud and Big Data (CBD 2014), Nov 2014, Huangshan, Anhui, China. International Conference on Advanced Cloud and Big Data (CBD 2014), 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01158925/file/ESOCC_2014_submission_18.pdf BibTex
titre
A Native Versioning Concept to Support Historized Models at Runtime
auteur
Thomas Hartmann, François Fouquet, Gregory Nain, Brice Morin, Jacques Klein, Olivier Barais, Yves Le Traon
article
ACM/IEEE 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), Sep 2014, Valencia, Spain. pp.252 – 268, 2014, 〈10.1007/978-3-319-11653-2_16〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01097020/file/Models14-author-preprint-270614.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
Domain Specific Languages: From Craft to Engineering
auteur
Jean-Marc Jezequel
article
The 16th International Conference on Information Integration and Web-based Applications & Services, Dec 2014, Hanoi, Vietnam
Accès au bibtex
BibTex
titre
Safely Reusing Model Transformations through Family Polymorphism
auteur
Jean-Marc Jézéquel
article
8th System Analysis and Modelling Confrence (SAM2014), Sep 2014, Valencia, Spain
Accès au bibtex
BibTex
titre
When Systems Engineering Meets Software Language Engineering
auteur
Jean-Marc Jézéquel, David Mendez, Thomas Degueule, Benoit Combemale, Olivier Barais
article
CSD&M’14 – Complex Systems Design & Management, Nov 2014, Paris, France. Springer, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01024166/file/csdm14-sle.pdf BibTex
titre
Towards Functional Model Transformations with OCL
auteur
Frédéric Jouault, Olivier Beaudoux, Matthias Brun, Mickaël Clavreul, Guillaume Savaton
article
Proceedings the 8th International Conference on Model Transformation (ICMT’15), Jul 2015, L’Aquila, Italy. pp.111-120, 〈10.1007/978-3-319-21155-8_9〉
Accès au bibtex
BibTex
titre
A formal framework to prove the correctness of model driven engineering composition operators
auteur
Mounira Kezadri, Marc Pantel, Benoit Combemale, Xavier Thirioux
article
ICFEM’14 – 16TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS, Nov 2014, Luxembourg, Luxembourg. Springer, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01024067/file/paper_84-camera.pdf BibTex
titre
The Anatomy of a Sales Configurator: An Empirical Study of 111 Cases
auteur
Ebrahim Khalil Abbasi, Arnaud Hubaux, Mathieu Acher, Quentin Boucher, Patrick Heymans
article
Moira Norrie and Camille Salinesi. CAiSE’13 – 25th International Conference on Advanced Information Systems Engineering – 2013, Jun 2013, Valencia, Spain. 7908, pp.162-177, 2013, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00796555/file/ConfiguratorsCAISE13.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
RELATE: a research training network on engineering and provisioning of service-based cloud applications
auteur
Samuel Kounev, Stamatia Rizou, Steffen Zschaler, Spiros Alexakis, Tomas Bures, Jean-Marc Jézéquel
article
Samuel Kounev and Steffen Zschaler and Kai Sachs. Proceedings of the 2013 international workshop on Hot topics in cloud services, Apr 2013, Prague, Czech Republic. ACM, pp.51-54, 2013, 〈10.1145/2462307.2462319〉
Accès au bibtex
BibTex
titre
Achieving Practical Genericity in Model Weaving through Extensibility
auteur
Max Kramer, Jacques Klein, Jim R.H. Steel, Brice Morin, Jörg Kienzle, Olivier Barais, Jean-Marc Jézéquel
article
Keith Duddy and Gerti Kappel. Theory and Practice of Model Transformations – 6th International Conference, Jun 2013, Budapest, Hungary. Springer, pp.108-124, 2013, 〈10.1007/978-3-642-38883-5_12〉
Accès au bibtex
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
FPRandom: Randomizing core browser objects to break advanced device fingerprinting techniques
auteur
Pierre Laperdrix, Benoit Baudry, Vikas Mishra
article
ESSoS 2017 – 9th International Symposium on Engineering Secure Software and Systems, Jul 2017, Bonn, Germany. pp.17
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01527580/file/fprandom-essos17.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, 〈http://www.disim.univaq.it/seams2015/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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. CEUR, 2015, 〈http://www.modelexecution.org/?page_id=1619〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01222999/file/CopingWithSemanticVariationPointsInDomainSpecificModelingLanguages_camera-ready.pdf BibTex
titre
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages
auteur
Florent Latombe, Xavier Crégut, Benoît Combemale, Julien Deantoni, Marc Pantel
article
8th ACM SIGPLAN International Conference on Software Language Engineering (SLE), 2015, Pittsburg, United States. ACM, 2015, 〈http://www.sleconf.org/2015/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01185911/file/sle2015-weavingconcurrency.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
AGENT: Automatic Generation of Experimental Protocol Runtime
auteur
Gwendal Le Moulec, Ferran Argelaguet, Valérie Gouranton, Arnaud Blouin, Bruno Arnaldi
article
ACM Symposium on Virtual Reality Software and Technology (VRST), Nov 2017, Gothenburg, Sweden. 2017, Virtual Reality Software and Technology
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01613873/file/AGENT_HAL.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
Revisiting Visitors for Modular Extension of Executable DSMLs
auteur
Manuel Leduc, Thomas Degueule, Benoit Combemale, Tijs Van Der Storm, Olivier Barais
article
ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep 2017, Austin, United States
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01568169/file/models17-revisitors.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
Challenges of Testing for Critical Interactive Systems
auteur
Valéria Lelli
article
International Conference on Software Testing, Verification and Validation, Mar 2013, Luxembourg, Luxembourg. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00804876/file/PhDSymposium-ICST13-vCR-ValeriaLelli.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, 2015, 〈http://icst2015.ist.tu-graz.ac.at/?page_id=21〉. 〈10.1109/ICST.2015.7102582〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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, Software Testing, Verification and Validation Workshops (ICSTW), 2015 IEEE Eighth International Conference on. 〈10.1109/ICSTW.2015.7107403〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01123647/file/TestingAdvancedGUIs.pdf BibTex
titre
Practical Pairwise Testing for Software Product Lines
auteur
Dusica Marijan, Arnaud Gotlieb, Sagar Sen, Aymeric Hervieu
article
SPLC 2013, Aug 2013, Tokyo, Japan. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859438/file/splc2013_submission_63_2_.pdf BibTex
titre
Empirical Evidence of Large-Scale Diversity in API Usage of Object-Oriented Software
auteur
Diego Mendez, Benoit Baudry, Martin Monperrus
article
International Conference on Source Code Analysis and Manipulation (SCAM’2013), Sep 2013, Eindhoven, Netherlands. pp.10, 2013, 〈10.1109/SCAM.2013.6648183〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00844753/file/article.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
Variability Management in Domain-Specific Languages
auteur
David Méndez-Acuña
article
Benoit Baudry. Doctoral Symposium of 17th International Conference in Model-Driven Engineering Languages and Systems, Sep 2014, Valencia, Spain
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01077834/file/0-main%20%281%29.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), Jun 2015, New York, United States. pp.852 – 859, Proceedings of 8th IEEE International Conference on Cloud Computing (CLOUD 2015). 〈10.1109/CLOUD.2015.117〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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://hal.inria.fr/hal-01248160/file/modelsward15-author-preprint.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
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. Proceedings of IEEE International Symposium on Software Reliability Engineering, ISSRE 2015, 2015
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01228715/file/issre2015MottuSen.pdf BibTex
titre
Weaving Rules into Models@run.time for Embedded Smart Systems
auteur
Ludovic Mouline, Thomas Hartmann, François Fouquet, Yves Le Traon, Johann Bourcier, Olivier Barais
article
Programming 2017 – Companion to the first International Conference on the Art, Science and Engineering of Programming, Apr 2017, Brussels, Belgium. pp.1 – 6, 2017, 〈10.1145/3079368.3079394〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01609796/file/main.pdf BibTex
titre
Towards Trust-Aware and Self-Adaptive Systems
auteur
Francisco Moyano, Benoit Baudry, Javier Lopez
article
IFIPTM, Jun 2013, Malaga, Spain. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916280/file/Moyano-IFIPTM.pdf BibTex
titre
Towards Trust-Aware and Self-adaptive Systems
auteur
Francisco Moyano, Benoit Baudry, Javier Lopez
article
Carmen Fernández-Gago; Fabio Martinelli; Siani Pearson; Isaac Agudo. 7th Trust Management (TM), Jun 2013, Malaga, Spain. Springer, IFIP Advances in Information and Communication Technology, AICT-401, pp.255-262, 2013, Trust Management VII. 〈10.1007/978-3-642-38323-6_20〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01468178/file/978-3-642-38323-6_20_Chapter.pdf BibTex
titre
The Relevance of Model-Driven Engineering Thirty Years from Now
auteur
Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty H.C. Cheng, Philippe Collet, Benoit Combemale, Robert France, Rogardt Heldal, James Hill, Jörg Kienzle, Matthias Schöttle, Friedrich Steimann, Dave Stikkolorum, Jon Whittle
article
Juergen Dingel; Wolfram Schulte; Isidro Ramos; Silvia Abrahão; Emilio Insfran. Model-Driven Engineering Languages and Systems, Sep 2014, Valencia, Spain. Springer International Publishing Switzerland, LNCS, 8767, pp.18, 2014, Model-Driven Engineering Languages and Systems. 〈10.1007/978-3-319-11653-2_12〉
Accès au bibtex
BibTex
titre
Modélisation et Évaluation de la Sécurité des IHM
auteur
Youssou Ndiaye, Nicolas Aillery, Olivier Barais, Arnaud Blouin, Ahmed Bouabdallah
article
CIEL 2017 : 6ème Conférence en IngénieriE du Logiciel, Jun 2017, Montpellier, France. 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01611324/file/gdrgpl17.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. IEEE, proceeding of the 2015 IEEE International Conference on Cloud and Autonomic Computing (ICCAC), pp.8, 2015, 〈10.1109/ICCAC.2015.10〉
Accès au bibtex
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
Using Models@Run.time to embed an Energetic Cloud Simulator in a MAPE-K Loop
auteur
Edouard Outin, Jean-Louis Pazat, Olivier Barais
article
Workshop Autonomique, Oct 2014, Toulouse, France. Workshop Autonomique
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01243158/file/Outin.pdf BibTex
titre
A Prediction-Driven Adaptation Approach for Self-Adaptive Sensor Networks
auteur
Ivan Dario Paez Anaya, Viliam Simko, Johann Bourcier, Noël Plouzeau, Jean-Marc Jézéquel
article
Nelly Bencomo. 9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, Jun 2014, Hyderabad, India. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00983046/file/SEAMS14-main.pdf 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
CEUR. Projects Showcase @ STAF’15, Jul 2015, L’Aquila, Italy. 1400, pp.18 – 25, Proceedings of the Projects Showcase @ STAF’15. 〈http://ceur-ws.org〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01188826/file/occiware_staf15.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
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. Second International Workshop on Graphical Models for Security (GraMSec’15) co-located with CSF’15, Second International Workshop on Graphical Models for Security (GraMSec’15) co-located with CSF’15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01243021/file/paper_3%20%282%29.pdf BibTex
titre
Towards Synthesis of Attack Trees for Supporting Computer-Aided Risk Analysis
auteur
Sophie Pinchinat, Mathieu Acher, Didier Vojtisek
article
Workshop on Formal Methods in the Development of Software (co-located with SEFM), Sep 2014, Grenoble, France. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01064645/file/SEFM-FMDS.pdf BibTex
titre
Efficient and Complete FD-Solving for Extended Array Constraints *
auteur
Quentin Plazar, Mathieu Acher, Sébastien Bardin, Arnaud Gotlieb
article
IJCAI 2017, Aug 2017, Melbourne, Australia. Proceedings of the 26th International Joint Conference on Artificial Intelligence
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01545557/file/camera_ready.pdf BibTex
titre
Efficient high-level abstractions for web programming
auteur
Julien Richard-Foy, Olivier Barais, Jean-Marc Jézéquel
article
Jaakko Jarvi and Christian Kastner. Generative Programming: Concepts and Experiences, GPCE’13, Oct 2013, Indianapolis, United States. ACM, pp.53-60, 2013, 〈10.1145/2517208.2517227〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00920786/file/p53-foy.pdf BibTex
titre
Using Path-Dependent Types to Build Type Safe JavaScript Foreign Function Interfaces
auteur
Julien Richard-Foy, Olivier Barais, Jean-Marc Jézéquel
article
ICWE – 14th International Conference on Web Engineering, Jul 2014, Toulouse, France. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01026148/file/icwe14.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
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, Sep 2015, Bogotá, Colombia. 2015, 〈10ccc.sco2.org〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01204507/file/paper.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
Improving Reusability in Software Process Lines
auteur
Emmanuelle Rouillé, Olivier Barais, Benoit Combemale, Touzet David, Jean-Marc Jézéquel
article
Euromicro Conference on Software Engineering and Advanced Applications, Sep 2013, Santander, Spain. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00838771/file/SEAA2013_metamodeling_process.pdf BibTex
titre
Integrating Software Process Reuse and Automation
auteur
Emmanuelle Rouillé, Benoit Combemale, Olivier Barais, Touzet David, Jean-Marc Jézéquel
article
Asia-Pacific Software Engineering Conference (APSEC), Dec 2013, Bangkok, Thailand. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00872188/file/PID2965685.pdf BibTex
titre
Deriving Usage Model Variants for Model-based Testing: An Industrial Case Study
auteur
Hamza Samih, Mathieu Acher, Ralf Bogusch, Hélène Le Guen, Benoit Baudry
article
19th International Conference on Engineering of Complex Computer Systems (ICECCS 2014), Aug 2014, Tianjin, China. IEEE, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01002099/file/Deriving_Usage_Model_Variants_for_Model_based_Testing_An_Industrial_Case_Study.pdf BibTex
titre
MPLM — MaTeLo Product Line Manager
auteur
Hamza Samih, Ralf Bogusch
article
18th International Software Product Line Conference (2014), Sep 2014, Florence, Italy. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01025159/file/MasterTexMPLM.pdf BibTex
titre
Comparing or Configuring Products: Are We Getting the Right Ones?
auteur
Nicolas Sannier, Guillaume Bécan, Mathieu Acher, Sana Ben Nasr, Benoit Baudry
article
Andrzej Wasowski and Thorsten Weyer. 8th International Workshop on Variability Modelling of Software-intensive Systems, Jan 2014, Nice, France. ACM, 2014, 〈10.1145/2556624.2556636〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00927312/file/VAMOS2014vision.pdf BibTex
titre
From Comparison Matrix to Variability Model: The Wikipedia Case Study
auteur
Nicolas Sannier, Mathieu Acher, Benoit Baudry
article
28th IEEE/ACM International Conference on Automated Software Engineering, Nov 2013, Palo Alto, United States. IEEE, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00858491/file/ASE2013_Sannier_Acher_Baudry.pdf BibTex
titre
INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis
auteur
Nicolas Sannier, Benoit Baudry
article
Camille Salinesi and Inge van de Weerd. REFSQ’2014 – the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, Apr 2014, Essen, Germany. Springer, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00982065/file/REFSQ2014-increment.pdf BibTex
titre
On Product Comparison Matrices and Variability Models from a Product Comparison/Configuration Perspective
auteur
Nicolas Sannier, Guillaume Bécan, Sana Ben Nasr, Benoit Baudry
article
Journée lignes de produits – 2013, Nov 2013, Paris, France. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00915657/file/JLDP2013_PCM_suites.pdf BibTex
titre
Toward the design of a generic model of interoperability for Siec
auteur
Mongi Smati, Mengqiang Yang, Slimane Hammoudi, Olivier Beaudoux, Frédéric Saubion, Olivier Camp
article
Proceedings the 15th International Conference on Enterprise Information Systems (ICEIS’13), Jul 2013, Angers, France
Accès au bibtex
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, 2015, Companion Proceedings of the 14th International Conference on Modularity, MODULARITY 2015, Fort Collins, CO, USA, March 16 – 19, 2015. 〈http://www.aosd.net/2015/〉. 〈10.1145/2735386.2735926〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01141395/file/slicing_modularity_no_copyright.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
Automating Variability Model Inference for Component-Based Language Implementations
auteur
Edoardo Vacchi, Walter Cazzola, Benoit Combemale, Mathieu Acher
article
Patrick Heymans and Julia Rubin. SPLC’14 – 18th International Software Product Line Conference, Sep 2014, Florence, Italy. ACM, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01023864/file/splc14-camera.pdf BibTex
titre
Variability Support in Domain-Specific Language Development
auteur
Edoardo Vacchi, Walter Cazzola, Suresh Pillay, Benoit Combemale
article
Erwig, Martin and Paige, Richard F. and Van Wyk, Eric. SLE – 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. Springer, 8225, pp.76-95, 2013, Lecture Notes in Computer Science. 〈http://link.springer.com/chapter/10.1007/978-3-319-02654-1_5〉. 〈10.1007/978-3-319-02654-1_5〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00914715/file/sle13-camera.pdf BibTex
titre
Towards Managing Variability in the Safety Design of an Automotive Hall Effect Sensor
auteur
Dimitri Van Landuyt, Steven Op de Beeck, Aram Hovsepyan, Sam Michiels, Wouter Joosen, Sven Meynckens, Gjalt De Jong, Olivier Barais, Mathieu Acher
article
18th International Software Product Line Conference, Sep 2014, Florence, Italy. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01018938/file/splc.pdf BibTex
titre
A Behavioral Coordination Operator Language (BCOoL)
auteur
Matias Ezequiel Vara Larsen, Julien Deantoni, Benoit Combemale, Frédéric Mallet
article
Timothy Lethbridge; Jordi Cabot; Alexander Egyed. International Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2015, Ottawa, Canada. ACM; IEEE, 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) pp.462, 2015, 〈http://cruise.eecs.uottawa.ca/models2015/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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
CEUR. Models 2015 demo and posters, Oct 2015, Ottawa, Canada. Models 2015 demo and posters
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01198744/file/models2015-bcool-demo.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
titre
Using Model Types to Support Contract-Aware Model Substitutability
auteur
Sun Wuliang, Benoit Combemale, Steven Derrien, Robert France
article
Van Gorp, P. and Ritter, T. and Rose, L.M. 9th European Conference on Modelling Foundations and Applications (ECMFA 2013), Jul 2013, Montpellier, France. Springer-Verlag Berlin Heidelberg, 7949, pp.118-133, 2013, LNCS. 〈http://dx.doi.org/10.1007/978-3-642-39013-5_9〉. 〈10.1007/978-3-642-39013-5_9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00808770/file/ecmfa13-contractmatching.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. 2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01159118/file/GI-4%20copy.pdf BibTex
titre
Vision-based Absolute Localization for Unmanned Aerial Vehicles
auteur
Aurelien Yol, Bertrand Delabarre, Amaury Dame, Jean-Emile Dartois, Eric Marchand
article
IEEE/RSJ Int. Conf. on Intelligent Robots and Systems, IROS’14, Sep 2014, Chicago, United States. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01010140/file/IROS14_vfinal_ayol.pdf BibTex

Book sections

titre
Architectures logicielles et variabilité multiple
auteur
Mathieu Acher, Philippe Collet, Philippe Lahire
article
Architectures logicielles : principes, techniques et outils, Lavoisier, 2014, 〈http://www.lavoisier.fr/livre/informatique/architectures-logicielles/oussalah/descriptif-9782746245174〉
Accès au bibtex
BibTex
titre
Software Architectures and Multiple Variability
auteur
Mathieu Acher, Philippe Collet, Philippe Lahire
article
Software Architecture 2, ISTE Editions, 2014, 9781848216884. 〈http://www.iste.co.uk/index.php?p=a&ACTION=View&id=787〉
Accès au bibtex
BibTex
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〉. 〈http://www.springer.com/us/book/9783319261713〉
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://hal.inria.fr/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://hal.inria.fr/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://hal.inria.fr/hal-01224116/file/lncs-gemoc-dagstuhl-conceptualmodel.pdf BibTex
titre
On Language Interfaces
auteur
Thomas Degueule, Benoit Combemale, Jean-Marc Jézéquel
article
Bertrand Meyer; Manuel Mazzara. PAUSE: Present And Ulterior Software Engineering, Springer, 2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01424909/file/pause.pdf BibTex
titre
Separating Concerns in Feature Models: Retrospective and Support for Multi-Views
auteur
Arnaud Hubaux, Mathieu Acher, Thein Than Tun, Patrick Heymans, Philippe Collet, Philippe Lahire
article
Reinhartz-Berger, Iris and Sturm, Arnor and Clark, Tony and Bettin, J. and Cohen, S. Domain Engineering: Product Lines, Conceptual Models, and Languages, Springer, pp.3-28, 2013, 978-3-642-36653-6. 〈10.1007/978-3-642-36654-3_1〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00767213/file/DESoCFMBook.pdf BibTex

Directions of work or proceedings

titre
GEMOC 2014 2nd International Workshop on The Globalization of Modeling Languages
auteur
Benoit Combemale, Julien Deantoni, Robert France
article
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. 〈http://ceur-ws.org/Vol-1236/〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01074602/file/GEMOC2014-complete.pdf BibTex
titre
GlobalDSL ’13: Proceedings of the First Workshop on the Globalization of Domain Specific Languages
auteur
Benoit Combemale, Walter Cazzola, Robert B. France
article
Combemale, Benoit and Cazzola, Walter and France, Robert B. ACM, pp.33, 2013, 978-1-4503-2043-6
Accès au bibtex
BibTex
titre
Globalizing Domain-Specific Languages
auteur
Benoit Combemale, Betty H.C. Cheng, Robert B. France, Jean-Marc Jezequel, Bernhard Rumpe
article
France. 9400, Springer International Publishing, 2015, LNCS, Programming and Software Engineering, 978-3-319-26171-3. 〈10.1007/978-3-319-26172-0〉. 〈http://www.springer.com/us/book/9783319261713〉
Accès au bibtex
BibTex
titre
Joint Proceedings of GEMOC ’13 and AMINO ’13 @ MODELS 2013
auteur
Benoit Combemale, Julien Deantoni, Robert B. France, Balbir Barn, Tony Clark, Ulrich Frank, Vinay Kulkarni, Dan Turk
article
Combemale, Benoit and Deantoni, Julien and France, Robert B. and Barn, Balbir and Clark, Tony and Frank, Ulrich and Kulkarni, Vinay and Turk, Dan. 1102, CEUR-WS, pp.88, 2013
Accès au bibtex
BibTex
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
titre
Software Language Engineering
auteur
Benoit Combemale, David Pearce, Olivier Barais, Jurgen Vinju
article
Benoît Combemale and David J. Pearce and Olivier Barais and Jurgen J. Vinju. SLE 7 – Proceedings of International Conference on Software Language Engineering 2014, Sep 2014, Västerås, Sweden. Springer, pp.353, 2014, 978-3-319-11245-9. 〈http://link.springer.com/book/10.1007%2F978-3-319-11245-9〉
Accès au bibtex
BibTex
titre
Fourth International Workshop on Reverse Variability Engineering (REVE 2016), associated with SPLC
auteur
Roberto Erick Lopez-Herrejon, Tewfik Ziadi, Jabier Martinez, Mathieu Acher
article
Sep 2016, Beijing, China. 2016
Accès au bibtex
BibTex

Habilitation à diriger des recherches

titre
Utilisation de la modélisation à l’exécution : objectif, challenges et bénéfices
auteur
Olivier Barais
article
Informatique et langage [cs.CL]. Université de Rennes 1, 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01096952/file/hdr_final_complete.pdf BibTex
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://hal.inria.fr/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
MISC Magazine n°81. 2015, pp.52-57
Accès au bibtex
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

Poster communications

titre
Variability Management in Domain-Specific Languages
auteur
David Méndez-Acuña, Benoit Combemale, Benoit Baudry
article
International School of Model-Driven Development for Distributed Real-Time Embedded Systems (MDDRES), Sep 2014, Aber-Wrac’h, France. 2014, 〈http://www.mdd4dres.org〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01077788/file/poster-A4.pdf BibTex
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

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
Modeling Variability in the Video Domain: Language and Experience Report
auteur
Mauricio Alférez, José Angel Galindo Duarte, Mathieu Acher, Benoit Baudry
article
[Research Report] RR-8576, INRIA. 2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01023159/file/RR-8576.pdf BibTex
titre
Contracts and Behavioral Patterns for Systems of systems: The EU IP DANSE approach
auteur
Alexandre Arnold, Benoît Boyer, Axel Legay
article
[Research Report] 2013, pp.21
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00778039/file/rreport.pdf BibTex
titre
The Multiple Facets of Software Diversity: Recent Developments in Year 2000 and Beyond
auteur
Benoit Baudry, Martin Monperrus
article
[Research Report] hal-01067782, INRIA. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01067782/file/survey-software-diversity.pdf BibTex
titre
Breathing Ontological Knowledge Into Feature Model Management
auteur
Guillaume Bécan, Mathieu Acher, Benoit Baudry, Sana Ben Nasr
article
[Technical Report] RT-0441, 2013, pp.15
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00874867/file/RT-441.pdf BibTex
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://hal.inria.fr/hal-01116663/file/RR-8680.pdf BibTex
titre
Operational Semantics of the Model of Concurrency and Communication Language
auteur
Julien Deantoni, Papa Issa Diallo, Joël Champeau, Benoit Combemale, Ciprian Teodorov
article
[Research Report] RR-8584, INRIA. 2014, pp.23
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01060601/file/RR-8584.pdf BibTex
titre
A Simple and Efficient Statistical Model Checking Algorithm to Evaluate Markov Decision Processes
auteur
Benoît Delahaye, Axel Legay, Sean Sedwards
article
[Technical Report] 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00856704/file/main.pdf BibTex
titre
Artificial Mutation inspired Hyper-heuristic for Runtime Usage of Multi-objective Algorithms
auteur
Donia El Kateb, François Fouquet, Johann Bourcier, Yves Le Traon
article
2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00948329/file/Nier.pdf BibTex
titre
Kevoree Modeling Framework (KMF): Efficient modeling techniques for runtime use
auteur
François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel
article
[Research Report] TR-SnT-2014-11, University of Luxembourg. 2014, pp.24
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00996764/file/KevoreeModelingFramework.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
titre
Analysis and Exploitation of Natural Software Diversity: The Case of API Usages
auteur
Diego Mendez, Benoit Baudry, Martin Monperrus
article
[Research Report] hal-01095501, Inria. 2014
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01095501/file/analysis-exploitation-api-diversity.pdf BibTex
titre
Two Flavors in Automated Software Repair: Rigid Repair and Plastic Repair
auteur
Martin Monperrus, Benoit Baudry
article
[Research Report] Dagstuhl Seminar 13061 “Fault Prediction, Localization, and Repair”, Schloss Dagstuhl – Leibniz Center for Informatics. 2013, pp.5
Accès au bibtex
BibTex
titre
Learning-Based Performance Specialization of Configurable Systems
auteur
Paul Temple, Mathieu Acher, Jean-Marc Jézéquel, Léo Noel-Baron, José Galindo
article
[Research Report] IRISA, Inria Rennes; University of Rennes 1. 2017
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01467299/file/TSE-ML.pdf BibTex
titre
A Systematic Mapping Study on Modeling for Industry 4.0
auteur
Andreas Wortmann, Benoit Combemale, Olivier Barais
article
[Research Report] RR-9062, INRIA Rennes – Bretagne Atlantique and University of Rennes 1, France. 2017, pp.25
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01514421/file/RR-9062.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
Automatic non-functional testing and tuning of configurable generators
auteur
Mohamed Boussaa
article
Mathematical Software [cs.MS]. Université Rennes 1, 2017. English. 〈NNT : 2017REN1S011〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01598821/file/BOUSSAA_Mohamed.pdf BibTex
titre
Execution trace management to support dynamic V&V for executable DSMLs
auteur
Erwan Bousse
article
Software Engineering [cs.SE]. Université Rennes 1, 2015. English. 〈NNT : 2015REN1S082〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01238005/file/BOUSSE_Erwan.pdf BibTex
titre
Une modélisation de la variabilité multidimensionnelle pour une évolution incrémentale des lignes de produits
auteur
Stephen Creff
article
Autre [cs.OH]. Université Rennes 1, 2013. Français. 〈NNT : 2013REN1S142〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00926119/file/CREFFStephen.pdf BibTex
titre
Adaptation et cloud computing : un besoin d’abstraction pour une gestion transverse
auteur
Erwan Daubert
article
Autre [cs.OH]. INSA de Rennes, 2013. Français. 〈NNT : 2013ISAR0010〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00904364/file/DAUBERT.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 model-based product lines for systems engineering
auteur
João Bosco Ferreira Filho
article
Software Engineering [cs.SE]. Université Rennes 1, 2014. English. 〈NNT : 2014REN1S080〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01127500/file/2014REN1S080.pdf BibTex
titre
Kevoree : Model@Runtime pour le développement continu de systèmes adaptatifs distribués hétérogènes
auteur
François Fouquet
article
Autre [cs.OH]. Université Rennes 1, 2013. Français. 〈NNT : 2013REN1S076〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00831018/file/FOUQUET_Francois.pdf BibTex
titre
Evolution, testing and configuration of variability systems intensive
auteur
José Ángel Galindo Duarte
article
Other [cs.OH]. Université Rennes 1, 2015. English. 〈NNT : 2015REN1S008〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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é Rennes 1, 2015. English. 〈NNT : 2015REN1S090〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/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
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/tel-01246035/file/these.pdf BibTex
titre
Facilités de typage pour l’ingénierie des langages
auteur
Clément Guy
article
Autre [cs.OH]. Université Rennes 1, 2013. Français. 〈NNT : 2013REN1S141〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00917789/file/GUY_Clement.pdf BibTex
titre
Approche à contraintes pour la sélection de Covering Array
auteur
Aymeric Hervieu
article
Autre [cs.OH]. Université Rennes 1, 2013. Français. 〈NNT : 2013REN1S143〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00915223/file/HERVIEU_Aymeric.pdf BibTex
titre
Méthodologie pour la dérivation comportementale de produits dans une ligne de produit logicielle
auteur
Paul Istoan
article
Génie logiciel [cs.SE]. Université Rennes 1; université du Luxembourg, 2013. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00926141/file/Istoan.pdf BibTex
titre
Methodology for the derivation of product behaviour in a Software Product Line
auteur
Paul Istoan
article
Other [cs.OH]. Université Rennes 1, 2013. English. 〈NNT : 2013REN1S013〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00925479/file/ISTOAN_Paul.pdf BibTex
titre
Rare event simulation for statistical model checking
auteur
Cyrille Jegourel
article
Embedded Systems. Université Rennes 1, 2014. English. 〈NNT : 2014REN1S084〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01127612/file/2014REN1S084.pdf BibTex
titre
Browser Fingerprinting: Exploring Device Diversity to Augment Authentication and Build Client-Side Countermeasures
auteur
Pierre Laperdrix
article
Computer Science [cs]. INSA Rennes, 2017. English
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01621257/file/thesis-pierre-laperdrix.pdf BibTex
titre
Model-Driven Software Engineering for Virtual Machine Images Provisioning in Cloud Computing
auteur
Tam Le Nhan
article
Software Engineering [cs.SE]. Université Rennes 1, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00923811/file/PhDThesis-LeNhanTam.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://tel.archives-ouvertes.fr/tel-01232388/file/pdf2star-1460386776-These_LELLI_LEITAO_Val--ria.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
titre
A model-based method to manage time properties in component based software systems
auteur
Viet Hoa Nguyen
article
Software Engineering [cs.SE]. Université Rennes 1, 2013. English
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00923305/file/NGUYEN_VietHoa.pdf BibTex
titre
Integrating predictive analysis in self-adaptive pervasive systems
auteur
Ivan Dario Paez Anaya
article
Other [cs.OH]. Université Rennes 1, 2015. English. 〈NNT : 2015REN1S046〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01251551/file/PAEZ_ANAYA_Ivan_Dario.pdf BibTex
titre
Ingénierie des applications Web : réduire la complexité sans diminuer le contrôle
auteur
Julien Richard-Foy
article
Génie logiciel [cs.SE]. Université de Rennes 1, France, 2014. Français
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01087372/file/these.pdf BibTex
titre
Gestion de la variabilité et automatisation des processus de développement logiciel
auteur
Emmanuelle Rouillé
article
Génie logiciel [cs.SE]. Université Rennes 1, 2014. Français. 〈NNT : 2014REN1S022〉
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01061129/file/ROUILLE_Emmanuelle.pdf BibTex
titre
Test basé sur les modèles appliqué aux lignes de produits
auteur
Hamza Samih
article
Informatique. Université Rennes 1, 2014. Français. 〈NNT : 2014REN1S109〉
Accès au texte intégral et bibtex
https://hal.inria.fr/tel-01092342/file/these.pdf BibTex
titre
INCREMENT une approche hybride pour modéliser et analyser dans le large les exigences réglementaires de sûreté
auteur
Nicolas Sannier
article
Génie logiciel [cs.SE]. Université Rennes 1, 2013. Français
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00941881/file/Sannier_Nicolas.pdf BibTex
titre
Computability Abstractions for Fault-tolerant Asynchronous Distributed Computing
auteur
Julien Stainer
article
Distributed, Parallel, and Cluster Computing [cs.DC]. Université Rennes 1, 2015. English. 〈NNT : 2015REN1S054〉
Accès au texte intégral et bibtex
https://hal.inria.fr/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
11 pages, 4 figures, 8 listings, conference. 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
11 pages. 2015
Accès au bibtex
https://arxiv.org/pdf/1503.05807 BibTex
titre
User Interface Design Smell: Automatic Detection and Refactoring of Blob Listeners
auteur
Arnaud Blouin, Valéria Lelli, Benoit Baudry, Fabien Coulon
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01499106/file/main.pdf BibTex
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
Leveraging Family Polymorphism in MDE
auteur
Thomas Degueule, Benoit Combemale, Olivier Barais, Arnaud Blouin, Jean-Marc Jézéquel
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00994541/file/wip-k3sle.pdf BibTex
titre
The K3 Model-Based Language Workbench
auteur
Thomas Degueule, Olivier Barais, Arnaud Blouin, Benoit Combemale
article
2014
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01025283/file/K3-mdd4dres.pdf BibTex
titre
Towards Language Interfaces for DSLs Integration
auteur
Thomas Degueule
article
2015
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01138017/file/TowardsLanguageInterfaces.pdf BibTex
titre
Automatic Production of End User Documentation for DSLs
auteur
Gwendal Le Moulec, Arnaud Blouin, Valérie Gouranton, Bruno Arnaldi
article
2017
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01549042/file/main.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
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