Publications HAL du labo/EPI diverse;triskell

Journal articles

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, 2014, 20 (5), pp.640 - 665
Accès au texte intégral et bibtex
https://inria.hal.science/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, 2014, 19 (4), pp.355 - 376. ⟨10.1007/s00766-013-0184-5⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01088537/file/REJ%20Alferez%20etal%20fresh%20in%20hal.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
Journal of Software Testing, Verification and Reliability, 2014, pp.30. ⟨10.1002/stvr.1532⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00988164/file/paper.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, 2014, pp.10-13
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00994551/file/ieee-computer-column-gemoc-v8.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, 2014, 20 (8), pp.20
Accès au texte intégral et bibtex
https://inria.hal.science/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
International Journal on Software Tools for Technology Transfer, 2014
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01026581/file/STTT2014.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, 2014
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01204510/file/invar_journal.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, 2014, 56 (7), pp.749-762. ⟨10.1016/j.infsof.2014.02.002⟩
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
Accès au texte intégral et bibtex
https://inria.hal.science/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. pp.1-8, ⟨10.1145/2556624.2556629⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00916746/file/vamos14.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
Accès au texte intégral et bibtex
https://inria.hal.science/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. pp.243--253, ⟨10.1145/2661136.2661159⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01061576/file/onwd1446-acher.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
Accès au texte intégral et bibtex
https://inria.hal.science/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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01024990/file/spltea_summary.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
Accès au texte intégral et bibtex
https://inria.hal.science/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
Accès au texte intégral et bibtex
https://inria.hal.science/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://inria.hal.science/hal-01091541/file/2014-AlAli_etal-HottopicsICPE.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. pp.395-398, ⟨10.1109/CSMR-WCRE.2014.6747203⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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, ⟨10.1145/2610384.2610415⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00938855/file/sosies.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. ⟨10.1145/2642937.2643000⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01058440/file/FromData2Models.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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01022912/file/SPLC2014-WebFML.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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01019537/file/Ben-Nasr_Sannier_Acher_Baudry_Moving_toward_PLE_in_nuclear_industry.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, ⟨10.1145/2593868.2593875⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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, ⟨10.1109/ICSME.2014.48⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01063789/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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01056217/file/vissoft14Blouin.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://inria.hal.science/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. ⟨10.2991/ict4s-14.2014.49⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01090643/file/ict4s-camera-ready.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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01023681/file/modelcloning-final2.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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01061740/file/main.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
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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00969072/file/MDEVR.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
Accès au texte intégral et bibtex
https://inria.hal.science/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, ⟨10.1109/QSIC.2014.44⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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
FASE 2014 : 17th International Conference on Fundamental Approaches to Software Engineering, Apr 2014, Grenoble, France. pp.63 - 78, ⟨10.1007/978-3-642-54804-8_5⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01087323/file/fase-final.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. pp.147-148, ⟨10.1145/2602576.2611461⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01003148/file/paper.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
Accès au texte intégral et bibtex
https://inria.hal.science/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
Working IEEE/IFIP Conference on Software Architecture, IEEE/IFIP, Apr 2014, Syndey, Australia
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00983045/file/sig-alternate.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
Accès au texte intégral et bibtex
https://inria.hal.science/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, ⟨10.1007/978-3-319-11653-2_16⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01097020/file/Models14-author-preprint-270614.pdf BibTex
titre
Domain Specific Languages: From Craft to Engineering
auteur
Jean-Marc Jézéquel
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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01024166/file/csdm14-sle.pdf 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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01024067/file/paper_84-camera.pdf BibTex
titre
Correct-by-construction model composition: Application to the Invasive Software Composition method
auteur
Mounira Kezadri, Marc Pantel, Benoit Combemale, Xavier Thirioux
article
International Workshop on Formal Engineering approaches to Software Components and Architectures 2014, Apr 2014, Grenoble, France. pp.(electronic medium), ⟨10.4204/EPTCS.147.8⟩
Accès au bibtex
https://arxiv.org/pdf/1404.0853 BibTex
titre
Variability Management in Domain-Specific Languages
auteur
David Méndez-Acuña
article
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://inria.hal.science/hal-01077834/file/0-main%20%281%29.pdf BibTex
titre
The relevance of model-driven engineering thirty years from now
auteur
Gunter Mussbacher, Daniel Amyot, Ruth Breu, Jean-Michel Bruel, Betty Cheng, Philippe Collet, Benoit Combemale, Robert B. France, Rogardt Heldal, James Hill, Jörg Kienzle, Matthias Schöttle, Friedrich Steimann, Dave Stikkolorum, Jon Whittle
article
17th International Conference ACM/IEEE - Conference on Model Driven Engineering Languages and Systems (MODELS), Sep 2014, Valencia, Spain. pp. 183-200, ⟨10.1007/978-3-319-11653-2_12⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01156595/file/mussbacher_13271.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
Accès au texte intégral et bibtex
https://inria.hal.science/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
9th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, IEEE/ACM, Jun 2014, Hyderabad, India
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00983046/file/SEAMS14-main.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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01064645/file/SEFM-FMDS.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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01026148/file/icwe14.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
Accès au texte intégral et bibtex
https://inria.hal.science/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
Accès au texte intégral et bibtex
https://inria.hal.science/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
8th International Workshop on Variability Modelling of Software-intensive Systems, Jan 2014, Nice, France. ⟨10.1145/2556624.2556636⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00927312/file/VAMOS2014vision.pdf BibTex
titre
INCREMENT: A Mixed MDE-IR Approach for Regulatory Requirements Modeling and Analysis
auteur
Nicolas Sannier, Benoit Baudry
article
REFSQ'2014 - the 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, Apr 2014, Essen, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00982065/file/REFSQ2014-increment.pdf BibTex
titre
Automating Variability Model Inference for Component-Based Language Implementations
auteur
Edoardo Vacchi, Walter Cazzola, Benoit Combemale, Mathieu Acher
article
SPLC'14 - 18th International Software Product Line Conference, Sep 2014, Florence, Italy
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01023864/file/splc14-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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01018938/file/splc.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
Accès au texte intégral et bibtex
https://inria.hal.science/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
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
Accès au bibtex
BibTex
titre
A Reference Architecture and Roadmap for Models@run.time Systems
auteur
Uwe Assmann, Sebastian Gotz, Jean-Marc Jézéquel, Brice Morin, Mario Trapp
article
Models@run.time - Foundations, Applications, and Roadmaps, 2014
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://inria.hal.science/tel-01096952/file/hdr_final_complete.pdf 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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01077788/file/poster-A4.pdf BibTex

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
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01074602/file/GEMOC2014-complete.pdf BibTex
titre
Software Language Engineering
auteur
Benoit Combemale, David Pearce, Olivier Barais, Jurgen Vinju
article
8706, Springer, pp.353, 2014, 978-3-319-11245-9
Accès au bibtex
BibTex

Reports

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://inria.hal.science/hal-01023159/file/RR-8576.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.science/hal-01067782/file/survey-software-diversity.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://inria.hal.science/hal-01060601/file/RR-8584.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://inria.hal.science/hal-00996764/file/KevoreeModelingFramework.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.science/hal-01095501/file/analysis-exploitation-api-diversity.pdf BibTex

Theses

titre
Leveraging model-based product lines for systems engineering
auteur
João Bosco Ferreira Filho
article
Software Engineering [cs.SE]. Université de Rennes, 2014. English. ⟨NNT : 2014REN1S080⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01127500/file/2014REN1S080.pdf BibTex
titre
Rare event simulation for statistical model checking
auteur
Cyrille Jegourel
article
Embedded Systems. Université de Rennes, 2014. English. ⟨NNT : 2014REN1S084⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01127612/file/2014REN1S084.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. ⟨NNT : ⟩
Accès au texte intégral et bibtex
https://inria.hal.science/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é de Rennes, 2014. Français. ⟨NNT : 2014REN1S022⟩
Accès au texte intégral et bibtex
https://theses.hal.science/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é de Rennes, 2014. Français. ⟨NNT : 2014REN1S109⟩
Accès au texte intégral et bibtex
https://inria.hal.science/tel-01092342/file/these.pdf BibTex

Preprints, Working Papers, ...

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://inria.hal.science/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://inria.hal.science/hal-01025283/file/K3-mdd4dres.pdf BibTex