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 and Systems Modeling, 2013, 27 p. ⟨10.1007/s10270-013-0364-2⟩
- Accès au texte intégral et 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, 2013, 78 (6), pp.657 - 681. ⟨10.1016/j.scico.2012.12.004⟩
- Accès au texte intégral et bibtex
-
- titre
- Pushdown Module Checking with Imperfect Information
- auteur
- Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Vardi
- article
- Information and Computation, 2013, 223, pp.18. ⟨10.1016/j.ic.2012.11.005⟩
- Accès au texte intégral et 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 : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 105, pp.4-11
- Accès au texte intégral et bibtex
-
- titre
- SOA Antipatterns: an Approach for their Specification and Detection
- auteur
- Palma Francis, Nayrolles Mathieu, Moha Naouel, Guéhéneuc Yann-Gael.Gueheneuc@polymtl.Ca Yann-Gael, Benoit Baudry, Jean-Marc Jézéquel
- article
- International Journal of Cooperative Information Systems, 2013
- Accès au texte intégral et 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, 2013, 43 (3), pp.493-519. ⟨10.1007/s10703-013-0188-2⟩
- Accès au texte intégral et 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, 2013, 21 (1), pp.3-22. ⟨10.1007/s11219-011-9163-6⟩
- Accès au texte intégral et 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, 2013
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Composing your Compositions of Variability Models
- auteur
- Mathieu Acher, Benoit 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. 17 p
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au texte intégral et 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. in press
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au texte intégral et 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, ⟨10.1145/2499777.2500711⟩
- Accès au texte intégral et 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
- Accès au 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
- SLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. pp.365-384, ⟨10.1007/978-3-319-02654-1_20⟩
- Accès au texte intégral et 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. pp.3-13
- Accès au 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, ⟨10.1145/2491411.2491455⟩
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au texte intégral et 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. pp.187-202
- Accès au texte intégral et 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
- Accès au texte intégral et bibtex
-
- titre
- A completion algorithm for lattice tree automata
- auteur
- Thomas Genet, Tristan Le Gall, Axel Legay, Valérie Murat
- article
- CIAA 2013 - 18th International Conference on Implementation and Application of Automata, Jul 2013, Halifax, NS, Canada. pp.134-145, ⟨10.1007/978-3-642-39274-0_13⟩
- Accès au 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
- Accès au 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
- CAiSE'13 - 25th International Conference on Advanced Information Systems Engineering - 2013, Jun 2013, Valencia, Spain. pp.162-177
- Accès au texte intégral et 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
- Proceedings of the 2013 international workshop on Hot topics in cloud services, Apr 2013, Prague, Czech Republic. pp.51-54, ⟨10.1145/2462307.2462319⟩
- Accès au 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
- Theory and Practice of Model Transformations - 6th International Conference, Jun 2013, Budapest, Hungary. pp.108-124, ⟨10.1007/978-3-642-38883-5_12⟩
- Accès au 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
- Accès au texte intégral et 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
- Accès au texte intégral et 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, ⟨10.1109/SCAM.2013.6648183⟩
- Accès au texte intégral et bibtex
-
- titre
- Efficient high-level abstractions for web programming
- auteur
- Julien Richard-Foy, Olivier Barais, Jean-Marc Jézéquel
- article
- Generative Programming: Concepts and Experiences, GPCE'13, Oct 2013, Indianapolis, United States. pp.53-60, ⟨10.1145/2517208.2517227⟩
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au texte intégral et 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
- Accès au texte intégral et bibtex
-
- titre
- Variability Support in Domain-Specific Language Development
- auteur
- Edoardo Vacchi, Walter Cazzola, Suresh Pillay, Benoit Combemale
- article
- SLE - 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. pp.76-95, ⟨10.1007/978-3-319-02654-1_5⟩
- Accès au texte intégral et bibtex
-
- titre
- Using Model Types to Support Contract-Aware Model Substitutability
- auteur
- Sun Wuliang, Benoit Combemale, Steven Derrien, Robert France
- article
- 9th European Conference on Modelling Foundations and Applications (ECMFA 2013), Jul 2013, Montpellier, France. pp.118-133, ⟨10.1007/978-3-642-39013-5_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Toward the design of a generic model of interoperability for Siec
- auteur
- Mengqiang Yang, Mongi Smati, 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
-
Book sections
- 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
-
Books
- 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
-
- 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. CEUR-WS, 1102, pp.88, 2013
- Accès au bibtex
-
Reports
- 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
-
- 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
-
- 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
-
- 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
-
- 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
-
Theses
- 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
-
- 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
-
- 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
-
- 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. ⟨NNT : ⟩
- Accès au texte intégral et 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
-
- 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. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et 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. ⟨NNT : ⟩
- Accès au texte intégral et bibtex
-