Publications 2012

Full page

Publications HAL du labo/EPI diverse;triskell

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, Wiley, 2012, 24 (7), pp.765-781. 〈10.1002/smr.494〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00538462/file/Bendraou10b.pdf BibTex
titre
P2POEM: Function optimization in P2P networks
auteur
Marco Biazzini, Alberto Montresor
article
Peer-to-Peer Networking and Applications, Springer, 2012, Peer-to-Peer Networking and Applications, 6 (2), pp.213-232. 〈https://link.springer.com/article/10.1007%2Fs12083-012-0152-8〉. 〈10.1007/s12083-012-0152-8〉
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00726413/file/ppna12.pdf 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
International Journal of Information Assurance and Security, 2012, 7, pp.32-40
Accès au bibtex
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, Lavoisier, 2012, VOL 31 (6), pp.797-826. 〈10.3166/tsi.31.797-826〉
Accès au bibtex
BibTex
titre
Fixing Generalization Defects in UML Use Case Diagrams
auteur
Xavier Dolques, Marianne Huchard, Clémentine Nebut, Philippe Reitz
article
Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2012, 115 (4), pp.327-356. 〈10.3233/FI-2012-658〉
Accès au bibtex
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 & Systems Modeling, Springer-Verlag, 2012, 11 (3), pp.361-383. 〈10.1007/s10270-010-0186-4〉
Accès au bibtex
BibTex
titre
Bridging the Chasm Between MDE and the World of Compilation
auteur
Jean-Marc Jézéquel, Benoît Combemale, Steven Derrien, Clément Guy, Sanjay Rajopadhye
article
Journal of Software and Systems Modeling (SoSyM), Springer, 2012, 11 (4), pp.581-597. 〈10.1007/s10270-012-0266-8〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00717219/file/sosym-sle11.pdf BibTex
titre
Modeling Modeling Modeling
auteur
Pierre-Alain Muller, Frédéric Fondement, Benoit Baudry, Benoit Combemale
article
SOSYM, Springer-Verlag, 2012, 11 (3), pp.347-359. 〈http://www.springerlink.com/content/f7342601l1w08jj2〉. 〈10.1007/s10270-010-0172-x〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00538459/file/Muller2010.pdf 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, Elsevier, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00726119/file/aop-analysis.pdf 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, Springer Verlag, 2012, 20 (3-4), pp.605-643. 〈10.1007/s11219-011-9160-9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00805856/file/ICST-SPLC-SQJ2010-Ext.pdf 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 (SoSyM), Springer, 2012, 11 (1), pp.111-125. 〈http://www.springerlink.com/content/a820u50671251314/〉. 〈10.1007/s10270-010-0181-9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/inria-00542766/file/Sen10b.pdf BibTex
titre
Comment allons-nous développer d’ici 5 à 10 ans ?
auteur
Didier Vojtisek
article
Programmez!, Magazine Programmez, 2012, 150, pp.44-46
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00714953/file/Programmez_Dans5Ans.pdf 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. ACM / IEEE, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00767170/file/NextGenVariabilityMODELS12-tutorial.pdf 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. IEEE, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00684717/file/IEEEFinal.pdf BibTex
titre
From Abstract to Executable BPEL Processes with Continuity Support
auteur
Zeina Azmeh, Marianne Huchard, Fady Hamoui, Naouel Moha
article
Carole Goble and Peter Chen and Jia Zhang. ICWS 2012: 19th International Conference on Web Services, Application and Experience Track, Jun 2012, Honolulu, Hawaii, United States. IEEE Computer Society, pp.368-374, 2012, 〈http://conferences.computer.org/icws/2012/〉. 〈10.1109/ICWS.2012.124〉
Accès au bibtex
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, 2012, 〈10.1145/2305484.2305513〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00684881/file/BEA12.pdf 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. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00741134/file/paper.pdf 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. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00665866/file/main.pdf 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. ACM, 2012, 〈10.1145/2425936.2425937〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00773311/file/1-chiorean.pdf 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. IEEE, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00739332/file/apsec2012-xdsml.pdf 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
Krzysztof Czarnecki and Goerel Hedin. 5th International Conference, SLE 2012, Sep 2012, Desden, Germany. Springer, 7745 (12), pp.184-203, 2013, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal-supelec.archives-ouvertes.fr/hal-00905067/file/2012BridgingTheChasm.pdf BibTex
titre
Formally Defining and Iterating Infinite Models
auteur
Benoit Combemale, Xavier Thirioux, Benoit Baudry
article
R.B. France et al. ACM/IEEE 15th International Conference on Model Driven Engineering Languages & Systems (MODELS 2012), Sep 2012, Innsbruck, Austria. Springer-Verlag Berlin Heidelberg, 7590, pp.119-133, 2012, LNCS. 〈10.1007/978-3-642-33666-9_9〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00716623/file/models12-infinitemodel.pdf 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. ACM, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00730274/file/ram_cvl.pdf BibTex
titre
Model-Based Product Line Evolution: an Incremental Growing by Extension
auteur
Stephen Creff, Joël Champeau, Jean-Marc Jezequel
article
16th International Software Product Line Conference SPLC 2012, Sep 2012, El Salvador. II, pp.107-114, 2012
Accès au bibtex
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, 2012
Accès au bibtex
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. 2012
Accès au bibtex
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. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00726121/file/isola2012-root.pdf 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. 2012
Accès au bibtex
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. 2012
Accès au bibtex
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, 2012, 〈10.1109/PLEASE.2012.6229774〉
Accès au bibtex
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. 2012
Accès au bibtex
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. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00713769/file/p135.pdf 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. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00714558/file/emfatruntime.pdf 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
Karl Michael Göschka; Seif Haridi. 12th International Conference on Distributed Applications and Interoperable Systems (DAIS), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7272, pp.16-30, 2012, Distributed Applications and Interoperable Systems. 〈10.1007/978-3-642-30823-9_2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00688707/file/main.pdf 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. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00714557/file/FOUQUET.pdf 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. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00695034/file/ECMFA2012-OnModelSubtyping.pdf 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. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00714357/file/Dependability_driven_autonomic_adaptation_of_service_oriented_computing_Final-corrected.pdf BibTex
titre
Managing Execution Environment Variability during Software Testing: an industrial experience
auteur
Aymeric Hervie.inria.Bg" border=e.inrs://h,sry
article
Internationan Conference oe Testini>Software and Syste12Novun 2012,al" bgby, Denmark, Springer, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00726156/file/TSS_HBG_EA12.pdf BibTex
titre
An experementaEvaluutation
auteur
article
< (MOD-DRIVEN REQUIREMENTS ENGINEERING12 (MRE) WORKSHOP AT RELC 2012, Sep 2012Caphigoro,dellorais, United States. IE72, p78-.187, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00203874/fileews12modre-id14-p-11124-submitected.pdf BibTex
titre
M Model-Basen Approach foOpuntizstinPowvieronsumpnation oIaaSon
auteur
article
, Dec 2012Lecdlion, UniteKutidom. CPSan ConferencPublishering Servis72, p7/970-7695-4943-9/2012c 2012n 201M/IEES recdFT Symposium oN netwo CloinrC computins and Applicatioa>. 〈10.110NCCASE.20122_2〉
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-09626121/fileeeerecola20ed.pdf BibTex
titre
auteur
article
, Sep 2012, Bertinoro, Italy. Springer-Verlag Berlin Heidelberg, pp.1072187, 2012
Accès au bibtex
BibTex
titre
auteur
article
< iSe2n 201S – 4th International Workshop oM Modeling id Software Engineering, Jun 2012, Zurich, Switzerlandn ConferencPublisheringEvolutis87, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01437621/filsc20ed.pdf BibTex
titre
auteur
article
Accès au bibtex
BibTex
titre
Specification anDehiteation ofOA andipalidatectures
auteur
article
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00248721/fill MoEA12.pdf BibTex
titre
Prossel fororestuousen Validation of_se-A_adaering Component Based Systems
auteur
article
<7 4th International Workshop oM Modsel@r.untimn of th (MODELS 20al Conferen.12, Oct 2012, Innsbruck, Austria. 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-06410807/filert12_submisensi_5-912.pdf BibTex
titre
auteur
ton n NguyerinXu>Dan Ce on ,es e oTh KonPhAlamVil eHoa NguyerinMs an Ce oD KangSmailre djinoui
article
Novun 2012Unknowrin. IE72, p131-136-8, 2012, 〈10.110rfid-taSE.201226049874〉
Accès au bibtex
BibTex
titre
Towardflexirable Evolutign oA DynamrmallA_adaeveed Systems
auteur
article
<3; 4th International Conference on Software EngineeringICSE)12NIERde TckE), Jun 2012, Zurich, Switzerland. p1353-1356-8, 2012, 〈10.110ICSESE.2012.6708174〉
Accès au bibtex
BibTex
titre
Towarda HybrianClOrie/n Sevies anP2Ped Architectuel fororeonenDe Olery oevief thh Inteetal
auteur
article
, Oct 2012Bayorniet, France. p187, 2012
Accès au bibtex
BibTex
titre
Leveraging CVL te Manant Variabilitiven Software Prosset Lines
auteur
Benoit Combemale, Olivier BaraisDavianTPlouter, Jean-Marc Jézéquel
article
, Dec 2012, Hong KongR China, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00588107/fili>APS, 20_m Metho_speram_cvl.pdf BibTex
titre
auteur
article
Fifth International Workshop oe Requiremenre Engineering anLaw (RELAWEC 2012), Sep 2012Caphigoro, United States, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00182807/filRELAW, 20_Sanning_t Baud-cr12.pdf BibTex
titre
Towa M mull Dev ibTtuonae Requiremenre Tceriabilit >Usinl Model-Drivee Engineering anInnsformatinRePatevural
auteur
article
, Sep 2012Caphigoro, United States, 2012
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00180807/fil (MRE, 20_Sanning_t Baud_M mull Dev_e Requiremen_e Tceriabili_ >Usi_MDE_g a_IR-cr312.pdf BibTex
pdl classRubriéq'>Diorreations oetwo or appreedUsionspdl>
titre
auteur
Olivier BaraisLauferencDuFichuin
article
Olivier BaraisLauferencDuFichu.o, Uversiintns d, Rennespp.256-8, 20a>
Accès au bibtex
BibTex
titre
auteur
Dan Coreantu, Benoit Combemale
article
Dan Coreanng an, Benoit Combemaia. ACMpp.39-8, 20127/971-4503-1812-9a>
Accès au bibtex
BibTex
pdl classRubriéq'>Of tr aublilicationspdl>
titre
auteur
article
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-69614707/filBLOEA12.pdf BibTex
pdl classRubriéq'>Bookonspdl>
titre
auteur
article
Accès au bibtex
BibTex
pdl classRubriéq'>Posputecommunilicationspdl>
titre
On Model Subtyping
auteur
Clément Gry
article
<4eèmejournégneernationgnesu GDR-GPL8, 20E), Jun 2012, Rennes, Fran12
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-02639707/filPosput_GDRla20ed.pdf BibTex
titre
auteur
article
<4eèmejournégneernationgnesu GDR-GPL8, 20E), Jun 2012, Rennes, France. p203a>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01889407/filGPL, 20_Posput_Sanning_A4ed.pdf BibTex
pdl classRubriéq'>Reportonspdl>
titre
TowardEcology Inspirased Software Engineering
auteur
article
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-69427607/fil >Towar-Ecology-Inspiras-d Softwa-e Engineeri12.pdf BibTex
titre
auteur
Danadaviaé, Benoit Combemale, Benoit Baudle
article
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-67065207/filRR-788012.pdf BibTex
titre
auteur
article
Accès au texte intégral et bibtex
https://hal.inria.fr.inral-54-64874/filer-xdsml-la20ed.pdf BibTex
p/a> body/a> html/a> pdl>p/> pdl > fooputd />< articd l > l l > > l > l aside id="twitecr-untioele-pro4/fi-2"ec classwidarg widarg_twitecr-untioele-pro4/fixt"Twergonby DUverSE_s.inrng > > >>Proudly powviednby W boPressng fooputd /> l <"cript/l ( funteatio( body ) {l 'useuotrict';l body.c claNFrax= body.c claNFra.replace( /\bistre-no-js\b/, 'istre-js' );l } )( docureme.body ); > "cript/l <"cript type='llte/java"cript'> /* */ > "cript/<"cript type='llte/java"cript'x" sr'="http:/Uverse.irisria.fwp-include"/js/commeme-reply.min.js?ver=4.8.2'>> "cript/l<"cript type='llte/java"cript'> /* */ > "cript/l<"cript type="llte/java"cript" id="twitecr-wja" async defute" src="https:platnsfo.twitecr.com/widargs.ja" charsealtutf-8">> "cript/l<"cript type='llte/java"cript'x" sr'="http:/Uverse.irisria.fwp-include"/js/wp-otbed.min.js?ver=4.8.2'>> "cript/l > body/ > html/