Publications 2013

Full page

Publications HAL du labo/EPI diverse;triskell

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 & Systems Modeling (SoSyM), Springer, 2013, 27 p. <10.1007/s10270-013-0364-2>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859472/file/FraSCAtiSoSyM12.pdf 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, Elsevier, 2013, 78 (6), pp.657 – 681. <10.1016/j.scico.2012.12.004>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00767175/file/SCP-FAMILIAR.pdf BibTex
titre
Pushdown Module Checking with Imperfect Information
auteur
Benjamin Aminof, Axel Legay, Aniello Murano, Olivier Serre, Moshe Vardi
article
Information and Computation, Elsevier, 2013, 223, pp.18. <10.1016/j.ic.2012.11.005>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01260664/file/comb4-rev.pdf 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, C & S, 2013, pp.4-11
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00854221/file/Neptune2013-gemoc.pdf BibTex
titre
SOA Antipatterns: an Approach for their Specification and Detection
auteur
Palma Francis, Nayrolles Mathieu, Moha Naouel, Guéhéneuc Yann-Gael, Benoit Baudry, Jean-Marc Jézéquel
article
International Journal of Cooperative Information Systems, World Scientific Publishing, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916299/file/IJCIS-Palma.pdf 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, Springer Verlag, 2013, 43 (3), pp.493-519. <10.1007/s10703-013-0188-2>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00840368/file/fmsd.pdf 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, Springer Verlag, 2013, 21 (1), pp.3-22. <10.1007/s11219-011-9163-6>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00646876/file/main.pdf 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, Wiley, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916287/file/AOM-JSME.pdf BibTex

Conference papers

titre
Composing your Compositions of Variability Models
auteur
Mathieu Acher, Benoît 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. Lecture Notes in Computer Science, 17 p., 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859473/file/models13-compofm.pdf 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. ACM, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00766786/file/KSynthesis-VaMoS2013-CR.pdf 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. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00796009/file/K2.pdf 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. ACM press, in press, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00826705/file/VAO-2013.pdf 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. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00915662/file/JLDP2013_KSynthesis.pdf 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, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00878738/file/main.pdf 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, 2013
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00871672/file/main.pdf BibTex
titre
Combining Verification and Validation techniques
auteur
Erwan Bousse
article
Doctoral Symposium of ECMFA, ECOOP and ECSA 2013, Jul 2013, Montpellier, France. pp.10, <http://info-web.lirmm.fr/ecoop13/index.php/doctoral-symposium.html>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01183129/file/final.pdf 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. 2013
Accès au bibtex
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
Erwig, Martin and Paige, Richard F. and Van Wyk, Eric. SLE – 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. Springer, 8225, pp.365-384, 2013, Lecture Notes in Computer Science; Software Language Engineering – 6th International Conference, SLE 2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings. <10.1007/978-3-319-02654-1_20>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00850770/file/sle13-eventdrivenmetamodeling-cameraready-v1.1.pdf 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. CEUR, Vol-1102, pp.3-13, 2013, Joint Proceedings of GEMOC ’13 and AMINO ’13 @ MODELS 2013. <http://ceur-ws.org/Vol-1102/gemoc13-report.pdf>
Accès au bibtex
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, 2013, <10.1145/2491411.2491455>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859475/file/fse13main-id221-p-18686-final.pdf 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. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859877/file/efstathiouSSBSE2013.pdf 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. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859891/file/efstathiouWiMob.pdf 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. Springer, pp.187-202, 2013, Lecture Notes in Computer Science; 8107
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00923789/file/DerivingOCLInv_main.pdf BibTex
titre
Interactive Visualisation of Products in Online Configurators: A Case Study for Variability Modelling Technologies
auteur
Marianela Felice Ciolfi, 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, 2013, <10.1145/2499777.2500711>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00842656/file/MAPLE2013.pdf 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. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00837523/file/SPLC2013.pdf 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. Springer, 7982, 2013, LNCS
Accès au bibtex
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
Moira Norrie and Camille Salinesi. CAiSE’13 – 25th International Conference on Advanced Information Systems Engineering – 2013, Jun 2013, Valencia, Spain. 7908, pp.162-177, 2013, Lecture Notes in Computer Science
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00796555/file/ConfiguratorsCAISE13.pdf 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
Samuel Kounev and Steffen Zschaler and Kai Sachs. Proceedings of the 2013 international workshop on Hot topics in cloud services, Apr 2013, Prague, Czech Republic. ACM, pp.51-54, 2013, <10.1145/2462307.2462319>
Accès au bibtex
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
Keith Duddy and Gerti Kappel. Theory and Practice of Model Transformations – 6th International Conference, Jun 2013, Budapest, Hungary. Springer, pp.108-124, 2013, <10.1007/978-3-642-38883-5_12>
Accès au bibtex
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. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00804876/file/PhDSymposium-ICST13-vCR-ValeriaLelli.pdf 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. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00859438/file/splc2013_submission_63_2_.pdf 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, 2013, <10.1109/SCAM.2013.6648183>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00844753/file/article.pdf BibTex
titre
Two Flavors in Automated Software Repair: Rigid Repair and Plastic Repair
auteur
Martin Monperrus, Benoit Baudry
article
Dagstuhl Seminar n°13061 “Fault Prediction, Localization, and Repair”, 2013, Germany. pp.5, 2013
Accès au bibtex
BibTex
titre
Towards Trust-Aware and Self-Adaptive Systems
auteur
Francisco Moyano, Benoit Baudry, Javier Lopez
article
IFIPTM, Jun 2013, Malaga, Spain. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00916280/file/Moyano-IFIPTM.pdf BibTex
titre
Towards Trust-Aware and Self-adaptive Systems
auteur
Francisco Moyano, Benoit Baudry, Javier Lopez
article
Carmen Fernández-Gago; Fabio Martinelli; Siani Pearson; Isaac Agudo. 7th Trust Management (TM), Jun 2013, Malaga, Spain. Springer, IFIP Advances in Information and Communication Technology, AICT-401, pp.255-262, 2013, Trust Management VII. <10.1007/978-3-642-38323-6_20>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-01468178/file/978-3-642-38323-6_20_Chapter.pdf BibTex
titre
Efficient high-level abstractions for web programming
auteur
Julien Richard-Foy, Olivier Barais, Jean-Marc Jézéquel
article
Jaakko Jarvi and Christian Kastner. Generative Programming: Concepts and Experiences, GPCE’13, Oct 2013, Indianapolis, United States. ACM, pp.53-60, 2013, <10.1145/2517208.2517227>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00920786/file/p53-foy.pdf 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. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00838771/file/SEAA2013_metamodeling_process.pdf 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. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00872188/file/PID2965685.pdf 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. IEEE, 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00858491/file/ASE2013_Sannier_Acher_Baudry.pdf 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. 2013
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00915657/file/JLDP2013_PCM_suites.pdf BibTex
titre
Toward the design of a generic model of interoperability for Siec
auteur
Mongi Smati, Mengqiang Yang, 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
BibTex
titre
Variability Support in Domain-Specific Language Development
auteur
Edoardo Vacchi, Walter Cazzola, Suresh Pillay, Benoit Combemale
article
Erwig, Martin and Paige, Richard F. and Van Wyk, Eric. SLE – 6th International Conference on Software Language Engineering, Oct 2013, Indianapolis, IN, United States. Springer, 8225, pp.76-95, 2013, Lecture Notes in Computer Science; Proceedings of the 6th International Conference on Software Language Engineering (SLE 2013). <http://link.springer.com/chapter/10.1007/978-3-319-02654-1_5>. <10.1007/978-3-319-02654-1_5>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00914715/file/sle13-camera.pdf BibTex
titre
Using Model Types to Support Contract-Aware Model Substitutability
auteur
Sun Wuliang, Benoit Combemale, Steven Derrien, Robert France
article
Van Gorp, P. and Ritter, T. and Rose, L.M. 9th European Conference on Modelling Foundations and Applications (ECMFA 2013), Jul 2013, Montpellier, France. Springer-Verlag Berlin Heidelberg, 7949, pp.118-133, 2013, LNCS; Modelling Foundations and Applications. <http://dx.doi.org/10.1007/978-3-642-39013-5_9>. <10.1007/978-3-642-39013-5_9>
Accès au texte intégral et bibtex
https://hal.inria.fr/hal-00808770/file/ecmfa13-contractmatching.pdf 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
https://hal.inria.fr/hal-00767213/file/DESoCFMBook.pdf BibTex

Directions of work or proceedings

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
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. 1102, CEUR-WS, pp.88, 2013
Accès au bibtex
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
https://hal.inria.fr/hal-00778039/file/rreport.pdf 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
https://hal.inria.fr/hal-00874867/file/RT-441.pdf 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
https://hal.inria.fr/hal-00856704/file/main.pdf 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
https://hal.archives-ouvertes.fr/hal-00948329/file/Nier.pdf 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
https://tel.archives-ouvertes.fr/tel-00926119/file/CREFFStephen.pdf 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
https://tel.archives-ouvertes.fr/tel-00904364/file/DAUBERT.pdf 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
https://tel.archives-ouvertes.fr/tel-00831018/file/FOUQUET_Francois.pdf BibTex
titre
Facilités de typage pour l’ingénierie des langages
auteur
Clément Guy
article
Autre [cs.OH]. Université Rennes 1, 2013. Français. <NNT : 2013REN1S141>
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00917789/file/GUY_Clement.pdf BibTex
titre
Approche à contraintes pour la sélection de Covering Array
auteur
Aymeric Hervieu
article
Autre [cs.OH]. Université Rennes 1, 2013. Français. <NNT : 2013REN1S143>
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00915223/file/HERVIEU_Aymeric.pdf 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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00926141/file/Istoan.pdf 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
https://tel.archives-ouvertes.fr/tel-00925479/file/ISTOAN_Paul.pdf 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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00923811/file/PhDThesis-LeNhanTam.pdf 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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00923305/file/NGUYEN_VietHoa.pdf 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
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00941881/file/Sannier_Nicolas.pdf BibTex