Publications HAL du labo/EPI diverse;triskell

Journal articles

titre
Teaching Software Product Lines: A Snapshot of Current Practices and Challenges
auteur
Mathieu Acher, Roberto Erick Lopez-Herrejon, Rick Rabiser
article
ACM Transactions of Computing Education, 2017
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01522779/file/TOCE.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, 2017, 124, pp.82 - 103. ⟨10.1016/j.jss.2016.11.018⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01427218/file/spedoc.pdf BibTex
titre
A WebRTC Extension to Allow Identity Negotiation at Runtime
auteur
Kevin Corre, Simon Bécot, Olivier Barais, Gerson Sunyé
article
Lecture Notes in Computer Science, 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.science/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, 2017, 2017 (3), pp.72-86. ⟨10.1515/popets-2017-0029⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01611048/file/main.pdf BibTex
titre
Comment maîtriser la complexité des logiciels ?
auteur
Jean-Marc Jézéquel, Joanna Jongwane
article
Interstices, 2017
Accès au bibtex
BibTex
titre
Reverse Engineering Language Product Lines from Existing DSL Variants
auteur
David A Méndez-Acuña, José A Galindo, Benoit Combemale, Arnaud Blouin, Benoit Baudry
article
Journal of Systems and Software, 2017, ⟨10.1016/j.jss.2017.05.042⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01524632/file/elsarticle-template.pdf BibTex
titre
Cross-domain identity and discovery framework for web calling services
auteur
Ibrahim Tariq Javed, Rebecca Copeland, Noel Crespi, Marc Emmelmann, Andreea Ancuta Corici, Ahmed Bouabdallah, Tuo Zhang, Saad El Jaouhari, Felix Beierle, Sebastian Göndör, Axel Küpper, Kevin Corre, Jean-Michel Crom, Frank Oberle, Ingo Friese, Ana Caldeira, Gil Dias, Nuno Santos, Ricardo Chaves, Ricardo Lopes Pereira
article
Annals of Telecommunications - annales des télécommunications, 2017, 72 (7-8), pp.459 - 468. ⟨10.1007/s12243-017-0587-2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01596116/file/ITJ2017.pdf BibTex
titre
Learning-Contextual Variability Models
auteur
Paul Temple, Mathieu Acher, Jean-Marc Jézéquel, Olivier Barais
article
IEEE Software, 2017, 34 (6), pp.64-70. ⟨10.1109/MS.2017.4121211⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01659137/file/Learning_Contextual_Variability_Models.pdf BibTex
titre
Identification of LRP-1 as an endocytosis and recycling receptor for B1-integrin in thyroid cancer cells
auteur
Louis Theret, Albin Jeanne, Benoît Langlois, Cathy Hachet, Marion David, Michel Khrestchatisky, Jérome Devy, Emonard Hervé, Sébastien Almagro, Stéphane Dedieu
article
Oncotarget, 2017, 8 (45), pp.78614-78632. ⟨10.18632/oncotarget.20201⟩
Accès au texte intégral et bibtex
https://hal.univ-reims.fr/hal-02184520/file/20201-290212-4-PB.pdf BibTex

Conference papers

titre
Language Engineering with the GEMOC Studio
auteur
Olivier Barais, Benoit Combemale, Andreas Wortmann
article
ICSAW 2017 - IEEE International Conference on Software Architecture Workshops, Apr 2017, Gothenburg, Sweden. pp.3
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01609576/file/language-engineering-gemoc.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
Accès au texte intégral et bibtex
https://hal.science/hal-01580554/file/raising-time-awareness.pdf 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://inria.hal.science/hal-01611101/file/FP_mobile_devices_A_short_analysis%20.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, ⟨10.1145/3023956.3023963⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01468084/file/vamos-2017%20%2810%29.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://inria.hal.science/hal-01527580/file/fprandom-essos17.pdf BibTex
titre
AGENT: Automatic Generation of Experimental Protocol Runtime
auteur
Gwendal Le Moulec, Ferran Argelaguet Sanz, Valérie Gouranton, Arnaud Blouin, Bruno Arnaldi
article
ACM Symposium on Virtual Reality Software and Technology (VRST), Nov 2017, Gothenburg, Sweden
Accès au texte intégral et bibtex
https://hal.science/hal-01613873/file/AGENT_HAL.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
2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep 2017, Austin, United States. ⟨10.1109/MODELS.2017.23⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01568169/file/models17-revisitors.pdf BibTex
titre
Create and Play your Pac-Man Game with the GEMOC Studio (Tool Demonstration)
auteur
Dorian Leroy, Erwan Bousse, Manuel Wimmer, Benoit Combemale, Wieland Schwinger
article
EXE 2017 - 3rd International Workshop on Executable Modeling, Sep 2017, Austin, United States. pp.1-6
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01651801/file/Create%20and%20Play%20your%20Pac-Man%20Game%20with%20the%20GEMOC%20Studio.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, ⟨10.1145/3079368.3079394⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01609796/file/main.pdf 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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01611324/file/gdrgpl17.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
Accès au texte intégral et bibtex
https://hal.science/hal-01545557/file/camera_ready.pdf BibTex
titre
Modeling business motivation and underlying processes for RAMI 4.0-aligned cyber-physical production systems
auteur
Kunal Suri, Juan Cadavid, Mauricio Alférez, Saadia Dhouib, Sara Tucci-Piergiovanni
article
2017 22nd IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), Sep 2017, Limassol, France. ⟨10.1109/ETFA.2017.8247702⟩
Accès au bibtex
BibTex
titre
A Systematic Mapping Study on Modeling for Industry 4.0
auteur
Andreas Wortmann, Benoit Combemale, Olivier Barais
article
MODELS '17: Proceedings of the ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep 2017, Austin, TX, USA, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-03284857/file/MODELS17_Industry_4_0.pdf BibTex

Book sections

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://inria.hal.science/hal-01424909/file/pause.pdf BibTex
titre
Perpetual Assurances for Self-Adaptive Systems
auteur
Danny Weyns, Nelly Bencomo, Radu Calinescu, Javier Cámara, Carlo Ghezzi, Vincenzo Grassi, Lars Grunske, Paola Inverardi, Jean-Marc Jézéquel, Sam Malek, Raffaela Mirandola, Marco Mori, Giordano Tamburrelli
article
Software Engineering for Self-Adaptive Systems III. Assurances, 2017
Accès au texte intégral et bibtex
https://inria.hal.science/hal-02054220/file/2016SEfSAS.pdf BibTex

Books

titre
Verifying the configuration of Virtualized Network Functions in Software Defined Networks
auteur
Johan Pelay, Fabice Guillemin, Olivier Barais
article
b<>com, pp.1-6, In press
Accès au texte intégral et bibtex
https://hal.science/hal-01657866/file/verifying-configuration-virtualized_vHAL.pdf BibTex

Proceedings

titre
Report on the 1 st International Workshop on Debugging in Model-Driven Engineering (MDEbug'17)
auteur
Simon van Mierlo, Erwan Bousse, Hans Vangheluwe, Manuel Wimmer, Clark Verbrugge, Martin Gogolla, Matthias Tichy, Arnaud Blouin
article
MDEbug 2017 - 1st International Workshop on Debugging in Model-Driven Engineering, Sep 2017, Austin, United States. , pp.1-6, 2017
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01665572/file/mdebug_intro.pdf BibTex

Reports

titre
Learning-Based Performance Specialization of Configurable Systems
auteur
Paul Temple, Mathieu Acher, Jean-Marc Jézéquel, Léo Noel-Baron, José A Galindo
article
[Research Report] IRISA, Inria Rennes; University of Rennes 1. 2017
Accès au texte intégral et bibtex
https://hal.science/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://inria.hal.science/hal-01514421/file/RR-9062.pdf BibTex

Theses

titre
Automatic non-functional testing and tuning of configurable generators
auteur
Mohamed Boussaa
article
Mathematical Software [cs.MS]. Université de Rennes, 2017. English. ⟨NNT : 2017REN1S011⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01598821/file/BOUSSAA_Mohamed.pdf BibTex
titre
Browser Fingerprinting : Exploring Device Diversity to Augment Authentification and Build Client-Side Countermeasures
auteur
Pierre Laperdrix
article
Cryptography and Security [cs.CR]. INSA de Rennes, 2017. English. ⟨NNT : 2017ISAR0016⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01729126/file/These_2017ISAR0016_Laperdrix_Pierre.pdf BibTex

Preprints, Working Papers, ...

titre
The Emerging Field of Test Amplification: A Survey
auteur
Martin Monperrus, Benjamin Danglot, Oscar Luis Vera-Perez, Zhongxing Yu, Benoit Baudry
article
2017
Accès au bibtex
https://arxiv.org/pdf/1705.10692 BibTex