Journal articles
- titre
- Achieving Process modeling and Execution through the Combination of Aspect and Model-Driven Engineering Approaches
- auteur
- Reda Bendraou, Jean-Marc Jézéquel, Franck Fleurey
- article
- Journal of Software: Evolution and Process, 2012, 24 (7), pp.765-781. ⟨10.1002/smr.494⟩
- Accès au texte intégral et bibtex
-
- titre
- P2POEM: Function optimization in P2P networks
- auteur
- Marco Biazzini, Alberto Montresor
- article
- Peer-to-Peer Networking and Applications, 2012, Peer-to-Peer Networking and Applications, 6 (2), pp.213-232. ⟨10.1007/s12083-012-0152-8⟩
- Accès au texte intégral et bibtex
-
- titre
- User Data Confidentiality in an Orchestration of Web Services
- auteur
- Thomas Demongeot, Eric Totel, Valérie Viet Triem Tong, Yves Le Traon
- article
- Journal of Information Assurance and Security, 2012, 7 (1), pp.32-40
- Accès au bibtex
-
- titre
- Formalisation de contextes et d'exigences pour la validation formelle de logiciels embarqués
- auteur
- Philippe Dhaussy, Frédéric Boniol, Jean-Charles Roger, Amine Raji, Yves Le Traon, Benoît Baudry
- article
- Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2012, VOL 31 (6), pp.797-826. ⟨10.3166/tsi.31.797-826⟩
- Accès au bibtex
-
- titre
- Fixing Generalization Defects in UML Use Case Diagrams
- auteur
- Xavier Dolques, Marianne Huchard, Clémentine Nebut, Philippe Reitz
- article
- Fundamenta Informaticae, 2012, 115 (4), pp.327-356. ⟨10.3233/FI-2012-658⟩
- Accès au bibtex
-
- titre
- Weaving Variability into Domain Metamodels
- auteur
- Perrouin Gilles, Gilles Vanwormhoudt, Brice Morin, Philippe Lahire, Olivier Barais, Jean-Marc Jézéquel
- article
- Software and Systems Modeling, 2012, 11 (3), pp.361-383. ⟨10.1007/s10270-010-0186-4⟩
- Accès au bibtex
-
- titre
- Bridging the Chasm Between MDE and the World of Compilation
- auteur
- Jean-Marc Jézéquel, Benoit Combemale, Steven Derrien, Clément Guy, Sanjay Rajopadhye
- article
- Software and Systems Modeling, 2012, 11 (4), pp.581-597. ⟨10.1007/s10270-012-0266-8⟩
- Accès au texte intégral et bibtex
-
- titre
- Modeling Modeling Modeling
- auteur
- Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry, Benoit Combemale
- article
- Software and Systems Modeling, 2012, 11 (3), pp.347-359. ⟨10.1007/s10270-010-0172-x⟩
- Accès au texte intégral et bibtex
-
- titre
- Usage and Testability of AOP: an empirical study of AspectJ
- auteur
- Freddy Munoz, Benoit Baudry, Romain Delamare, Yves Le Traon
- article
- Information and Software Technology, 2012
- Accès au texte intégral et bibtex
-
- titre
- Pairwise Testing for Software Product Lines: Comparison of Two Approaches
- auteur
- Gilles Perrouin, Sabastian Oster, Sagar Sen, Jacques Klein, Benoit Baudry, Yves Le Traon
- article
- Software Quality Journal, 2012, 20 (3-4), pp.605-643. ⟨10.1007/s11219-011-9160-9⟩
- Accès au texte intégral et bibtex
-
- titre
- Reusable model transformations
- auteur
- Sagar Sen, Naouel Moha, Vincent Mahé, Olivier Barais, Benoit Baudry, Jean-Marc Jézéquel
- article
- Software and Systems Modeling, 2012, 11 (1), pp.111-125. ⟨10.1007/s10270-010-0181-9⟩
- Accès au texte intégral et bibtex
-
- titre
- Comment allons-nous développer d'ici 5 à 10 ans ?
- auteur
- Didier Vojtisek
- article
- Programmez !, 2012, 150, pp.44-46
- Accès au texte intégral et bibtex
-
Conference papers
- titre
- Next-Generation Model-based Variability Management: Languages and Tools
- auteur
- Mathieu Acher, Patrick Heymans, Philippe Collet, Philippe Lahire
- article
- MODELS 2012 - 15th International Conference on Model Driven Engineering Languages & Systems, Sep 2012, Innsbruck, Austria
- Accès au texte intégral et bibtex
-
- titre
- A Tridimensional Approach for Studying the Formal Verification of Model Transformations
- auteur
- Moussa Amrani, Levi Lucio, Gehan Selim, Benoit Combemale, Jürgen Dingel, Hans Vangheluwe, Yves Le Traon, James R. Cordy
- article
- Verification and validation Of model Transformations (VOLT), Apr 2012, Montreal, Canada
- Accès au texte intégral et bibtex
-
- titre
- From Abstract to Executable BPEL Processes with Continuity Support
- auteur
- Zeina Azmeh, Marianne Huchard, Fady Hamoui, Naouel Moha
- article
- ICWS 2012: 19th International Conference on Web Services, Application and Experience Track, Jun 2012, Honolulu, Hawaii, United States. pp.368-374, ⟨10.1109/ICWS.2012.124⟩
- Accès au bibtex
-
- titre
- Specifying and Running Rich Graphical Components with Loa
- auteur
- Olivier Beaudoux, Mickaël Clavreul, Arnaud Blouin, Mengqiang Yang, Olivier Barais, Jean-Marc Jézéquel
- article
- EICS'12: Proceedings of the 4th ACM SIGCHI symposium on Engineering interactive computing systems, Jun 2012, Copenhagen, Denmark. pp.169-178, ⟨10.1145/2305484.2305513⟩
- Accès au texte intégral et bibtex
-
- titre
- Aligning SysML with the B Method to Provide V&V for Systems Engineering
- auteur
- Erwan Bousse, David Mentré, Benoit Combemale, Benoit Baudry, Katsuragi Takaya
- article
- Model-Driven Engineering, Verification, and Validation 2012 (MoDeVVa 2012), Sep 2012, Innsbruck, Austria
- Accès au texte intégral et bibtex
-
- titre
- Searching the boundaries of a modeling space to test metamodels
- auteur
- Juan Cadavid, Benoit Baudry, Houari Sahraoui
- article
- Fifth IEEE International Conference on Software Testing, Verification and Validation, Apr 2012, Montréal, Canada
- Accès au texte intégral et bibtex
-
- titre
- The 8th Educators' Symposium @ MODELS 2012: Software Modeling in Education
- auteur
- Dan Chiorean, Benoit Combemale
- article
- Proceedings of the 8th edition of the Educators' Symposium, Oct 2012, Innsbruck, Austria. ⟨10.1145/2425936.2425937⟩
- Accès au texte intégral et bibtex
-
- titre
- A Design Pattern to Build Executable DSMLs and associated V&V tools
- auteur
- Benoit Combemale, Xavier Crégut, Marc Pantel
- article
- The 19th Asia-Pacific Software Engineering Conference (APSEC 2012), Dec 2012, Hong Kong, Hong Kong SAR China
- Accès au texte intégral et bibtex
-
- titre
- Bridging the Chasm between Executable Metamodeling and Models of Computation
- auteur
- Benoit Combemale, Cécile Hardebolle, Christophe Jacquet, Frédéric Boulanger, Benoit Baudry
- article
- 5th International Conference, SLE 2012, Sep 2012, Desden, Germany. pp.184-203
- Accès au texte intégral et bibtex
-
- titre
- Formally Defining and Iterating Infinite Models
- auteur
- Benoit Combemale, Xavier Thirioux, Benoit Baudry
- article
- ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012), Sep 2012, Innsbruck, Austria. pp.119-133, ⟨10.1007/978-3-642-33666-9_9⟩
- Accès au texte intégral et bibtex
-
- titre
- Using CVL to Operationalize Product Line Development with Reusable Aspect Models
- auteur
- Benoit Combemale, Olivier Barais, Omar Alam, Jörg Kienzle
- article
- VARY@MoDELS'12: VARiability for You, Sep 2012, Innsbruck, Austria
- Accès au texte intégral et bibtex
-
- titre
- Model-Based Product Line Evolution: an Incremental Growing by Extension
- auteur
- Stephen Creff, Joël Champeau, Jean-Marc Jézéquel
- article
- 16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. pp.107-114
- Accès au bibtex
-
- titre
- Relationships Formalization for Model-Based Product Lines
- auteur
- Stephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel
- article
- APSEC 2012, Dec 2012, Hong Kong SAR China. pp.187
- Accès au bibtex
-
- titre
- Une organisation des Lignes de Produits Logiciels autour d'un motif architectural
- auteur
- Stephen Creff, Joël Champeau, Arnaud Monégier, Jean-Marc Jézéquel
- article
- CAL 2012, May 2012, Montpellier, France
- Accès au bibtex
-
- titre
- A Vision for Behavioural Model-Driven Validation of Software Product Lines
- auteur
- Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry
- article
- International Symposium On Leveraging Applications of Formal Methods, Verification and Validation, Oct 2012, Amirandes, Heraclion, Greece
- Accès au texte intégral et bibtex
-
- titre
- Towards Behavioural Model-Driven Validation of Software Product Lines
- auteur
- Xavier Devroey, Maxime Cordy, Gilles Perrouin, Eun-Young Kang, Pierre-Yves Schobbens, Patrick Heymans, Axel Legay, Benoit Baudry
- article
- 5th International Sympoisum on Leveraging Applications of Formal Methods, Oct 2012, Héraklion, Crète, Greece
- Accès au bibtex
-
- titre
- An Approach for Semantic Enrichment of Software Product Lines
- auteur
- J.B.F. Filho, Olivier Barais, Benoit Baudry, Windson Viana, Rossana Andrade
- article
- Third International Workshop on Knowledge Oriented Product Line Engineering (KOPLE), Sep 2012, Salvador, Brazil
- Accès au bibtex
-
- titre
- Leveraging variability modeling for multi-dimensional Model-driven Software Product Lines
- auteur
- J.B.F. Filho, Olivier Barais, Benoit Baudry, Jérôme Le Noir
- article
- 3rd International Workshop on Product Line Approaches in Software Engineering (PLEASE), Jun 2012, Zurich, Switzerland. pp.5-8, ⟨10.1109/PLEASE.2012.6229774⟩
- Accès au bibtex
-
- titre
- Comparaison de Modèles Filtrée pour le Test de Transformations de Modèles
- auteur
- Olivier Finot, Jean-Marie Mottu, Gerson Sunyé, Christian Attiogbé
- article
- CIEL 2012, 2012, Rennes, France
- Accès au bibtex
-
- titre
- A Dynamic Component Model for Cyber Physical Systems
- auteur
- François Fouquet, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel, Brice Morin, Franck Fleurey
- article
- 15th International ACM SIGSOFT Symposium on Component Based Software Engineering, Jul 2012, Bertinoro, Italy
- Accès au texte intégral et bibtex
-
- titre
- An Eclipse Modelling Framework Alternative to Meet the Models@Runtime Requirements
- auteur
- François Fouquet, Grégory Nain, Brice Morin, Erwan Daubert, Olivier Barais, Noël Plouzeau, Jean-Marc Jézéquel
- article
- Models 2012, Oct 2012, Innsbruck, Austria
- Accès au texte intégral et bibtex
-
- titre
- Dissemination of reconfiguration policies on mesh networks
- auteur
- François Fouquet, Erwan Daubert, Noël Plouzeau, Olivier Barais, Johann Bourcier, Jean-Marc Jézéquel
- article
- 12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. pp.16-30, ⟨10.1007/978-3-642-30823-9_2⟩
- Accès au texte intégral et bibtex
-
- titre
- Kevoree : une approche model@runtime pour les systèmes ubiquitaires
- auteur
- François Fouquet, Erwan Daubert, Noël Plouzeau, Olivier Barais, Johann Bourcier, Arnaud Blouin
- article
- UbiMob2012, Jun 2012, Anglet, France
- Accès au texte intégral et bibtex
-
- titre
- On Model Subtyping
- auteur
- Clément Guy, Benoit Combemale, Steven Derrien, James Steel, Jean-Marc Jézéquel
- article
- ECMFA - 8th European Conference on Modelling Foundations and Applications, Jul 2012, Kgs. Lyngby, Denmark
- Accès au texte intégral et bibtex
-
- titre
- Dependability-Driven Runtime Management of Service Oriented Architectures
- auteur
- Haouas Hanen, Johann Bourcier
- article
- PESOS - 4th International Workshop on Principles of Engineering Service-Oriented Systems - 2012, Jun 2012, Zurich, Switzerland
- Accès au texte intégral et bibtex
-
- titre
- Managing Execution Environment Variability during Software Testing: An Industrial Experience
- auteur
- Aymeric Hervieu, Benoit Baudry, Arnaud Gotlieb
- article
- 24th International Conference on Testing Software and Systems (ICTSS), Nov 2012, Aalborg, Denmark. pp.24-38, ⟨10.1007/978-3-642-34691-0_4⟩
- Accès au texte intégral et bibtex
-
- titre
- Impact of Footprinting on Model Quality: An Experimental Evaluation
- auteur
- Cédric Jeanneret, Martin Glinz, Benoit Baudry, Benoit Combemale
- article
- MODEL-DRIVEN REQUIREMENTS ENGINEERING (MoDRE) WORKSHOP AT RE 2012, Sep 2012, Chicago, Illinois, United States. pp.78-87
- Accès au texte intégral et bibtex
-
- titre
- A Model-Based Approach for Optimizing Power Consumption of IaaS
- auteur
- Tam Le Nhan, Gerson Sunyé, Jean-Marc Jézéquel
- article
- IEEE NCCA 2012 IEEE Second Symposium on Network Cloud Computing and Applications, Dec 2012, London, United Kingdom. pp.978-0-7695-4943-9/12, ⟨10.1109/NCCA.2012.22⟩
- Accès au texte intégral et bibtex
-
- titre
- A Model-Driven Approach for Virtual Machine Image Provisioning in Cloud Computing
- auteur
- Tam Le Nhan, Gerson Sunyé, Jean-Marc Jézéquel
- article
- European Conference on Service-Oriented and Cloud Computing, Sep 2012, Bertinoro, Italy. pp.107-121, ⟨10.1007/978-3-642-33427-6_8⟩
- Accès au texte intégral et bibtex
-
- titre
- A Model-Driven Approach for Virtual Machine Image Provisioning in Cloud Computing
- auteur
- Tam Le Nhan, Gerson Sunyé, Jean-Marc Jézéquel
- article
- European Conference on Service-Oriented and Cloud Computing (ESOCC 2012), Sep 2012, Bertinoro, Italy. pp.107-121
- Accès au bibtex
-
- titre
- SCADE System, a comprehensive toolset for smooth transition from Model-Based System Engineering to certified embedded control and display software
- auteur
- Thierry Le Sergent, Alain Le Guennec, François Terrier, Yann Tanguy, Sébastien Gérard
- article
- Embedded Real Time Software and Systems (ERTS2012), Feb 2012, Toulouse, France
- Accès au texte intégral et bibtex
-
- titre
- A Categorical Model of Model Merging and Weaving
- auteur
- Jonathan Marchand, Benoit Combemale, Benoit Baudry
- article
- MiSe 2012 - 4th International Workshop on Modeling in Software Engineering, Jun 2012, Zurich, Switzerland
- Accès au texte intégral et bibtex
-
- titre
- Peer-to-Peer Load Testing
- auteur
- Jorge Augusto Meira, Eduardo Cunha de Almeida, Yves Le Traon, Gerson Sunyé
- article
- 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation, Apr 2012, Montreal, Canada. pp.642-647
- Accès au bibtex
-
- titre
- Specification and Detection of SOA Antipatterns
- auteur
- Naouel Moha, Francis Palma, Mathieu Nayrolles, Benjamin Joyen Conseil, Guéhéneuc Yann-Gael.Gueheneuc@polymtl.Ca Yann-Gael, Benoit Baudry, Jean-Marc Jézéquel
- article
- International Conference on Service Oriented Computing, Nov 2012, Shanghai, China
- Accès au texte intégral et bibtex
-
- titre
- A Process for Continuous Validation of Self-Adapting Component Based Systems
- auteur
- Viet Hoa Nguyen, François Fouquet, Noël Plouzeau, Olivier Barais
- article
- 7th International Workshop on Models@run.time of the MODELS 2012 Conference., Oct 2012, Innsbruck, Austria
- Accès au texte intégral et bibtex
-
- titre
- Novel design of RFID UHF passive tag for wideband applications by direct and contactless chip connection
- auteur
- Dat Son Nguyen, Xuan Chien Le, Tien Thong Pham, Viet Hoa Nguyen, Mau Chien Dang, Smail Tedjini
- article
- RFID-TA 2012 - IEEE International Conference on RFID-Technologies and Applications, Nov 2012, Nice, France. pp.131-136, ⟨10.1109/rfid-ta.2012.6404498⟩
- Accès au bibtex
-
- titre
- Towards flexible evolution of Dynamically Adaptive Systems
- auteur
- Gilles Perrouin, Brice Morin, Franck Chauvel, Franck Fleurey, Jacques Klein, Yves Le Traon, Olivier Barais, Jean-Marc Jézéquel
- article
- 34th International Conference on Software Engineering (ICSE), NIER Track, Jun 2012, Zurich, Switzerland. pp.1353-1356, ⟨10.1109/ICSE.2012.6227081⟩
- Accès au bibtex
-
- titre
- Towards a Hybrid Client/Server and P2P Architecture for Content Delivery over the Internet
- auteur
- Soufiane Rouibia, Majd Ghareed, Benoît Parrein, Marco Biazzini, Raziel Carvajal-Gomez, Adriana Perez-Espinosa, Patricia Serrano-Alvarado
- article
- CFIP/NOTERE, Oct 2012, Bayonne, France. pp.1
- Accès au bibtex
-
- titre
- Leveraging CVL to Manage Variability in Software Process Lines
- auteur
- Emmanuelle Rouillé, Benoit Combemale, Olivier Barais, David Touzet, Jean-Marc Jézéquel
- article
- Asia-Pacific Software Engineering Conference, Dec 2012, Hong Kong, China
- Accès au texte intégral et bibtex
-
- titre
- Defining and Retrieving Themes in Nuclear Regulations
- auteur
- Nicolas Sannier, Benoit Baudry
- article
- Fifth International Workshop on Requirements Engineering and Law (RELAW 2012), Sep 2012, Chicago, United States
- Accès au texte intégral et bibtex
-
- titre
- Toward Multilevel Textual Requirements Traceability Using Model-Driven Engineering and Information Retrieval
- auteur
- Nicolas Sannier, Benoit Baudry
- article
- Second International Model-Driven Requirements Engineering (MoDRE) Workshop, Sep 2012, Chicago, United States
- Accès au texte intégral et bibtex
-
- titre
- TransDPOR: A Novel Dynamic Partial-Order Reduction Technique for Testing Actor Programs
- auteur
- Samira Tasharofi, Rajesh K. Karmani, Steven Lauterburg, Axel Legay, Darko Marinov, Gul Agha
- article
- 14th International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS) / 32nd International Conference on Formal Techniques for Networked and Distributed Systems (FORTE), Jun 2012, Stockholm, Sweden. pp.219-234, ⟨10.1007/978-3-642-30793-5_14⟩
- Accès au texte intégral et bibtex
-
Other publications
- titre
- Découpez vos Modèles avec Kompren : une Démonstration
- auteur
- Arnaud Blouin, Benoit Combemale, Benoit Baudry
- article
- 2012
- Accès au texte intégral et bibtex
-
Books
- titre
- Actes des 4èmes journées du GDR Génie de la Programmation et du Logiciel, Rennes, 2012
- auteur
- Olivier Barais, Laurence Duchien
- article
- Olivier Barais, Laurence Duchien. Université de Rennes, pp.256, 2012
- Accès au bibtex
-
- titre
- EduSymp '12: Proceedings of the 8th Edition of the Educators' Symposium
- auteur
- Dan Chiorean, Benoit Combemale
- article
- Dan Chiorean and Benoit Combemale. ACM, pp.39, 2012, 978-1-4503-1812-9
- Accès au bibtex
-
- titre
- Ingénierie Dirigée par les Modèles : des concepts à la pratique...
- auteur
- Jean-Marc Jézéquel, Benoit Combemale, Didier Vojtisek
- article
- Ellipses. Ellipses, pp.144, 2012, Références sciences, 9782729871963
- Accès au texte intégral et bibtex
-
Poster communications
- titre
- On Model Subtyping
- auteur
- Clément Guy
- article
- 4emes journées nationales du GDR-GPL 2012, Jun 2012, Rennes, France
- Accès au texte intégral et bibtex
-
- titre
- Ingénierie dirigée par les modèles pour structurer et partager un référentiel d'exigences de sûreté dans la durée
- auteur
- Nicolas Sannier
- article
- 4emes journées nationales du GDR-GPL 2012, Jun 2012, Rennes, France. pp.203
- Accès au texte intégral et bibtex
-
Reports
- titre
- Towards Ecology Inspired Software Engineering
- auteur
- Benoit Baudry, Martin Monperrus
- article
- [Research Report] RR-7952, INRIA. 2012
- Accès au texte intégral et bibtex
-
- titre
- Ten years of Meta-Object Facility: an Analysis of Metamodeling Practices
- auteur
- Juan Cadavid, Benoit Combemale, Benoit Baudry
- article
- [Research Report] RR-7882, INRIA. 2012
- Accès au texte intégral et bibtex
-
- titre
- A Design Pattern for Executable DSML
- auteur
- Benoit Combemale, Xavier Crégut, Marc Pantel
- article
- [Research Report] RR-8063, INRIA Rennes - Bretagne Atlantique. 2012, pp.19
- Accès au texte intégral et bibtex
-