Bibliography
Major publications by the team in recent years
-
1M. Albert, J. Cabot, C. Gómez, V. Pelechano.
Automatic generation of basic behavior schemas from UML class diagrams, in: Software and System Modeling, 2010, vol. 9, no 1, pp. 47-67. -
2D. Ameller, C. Ayala, J. Cabot, X. Franch.
Non-functional Requirements in Architectural Decision Making, in: IEEE Software, March 2013, vol. 30, no 2, pp. 61-67.
http://hal.inria.fr/hal-00822203 -
3H. Brunelière.
An Open Source-Based Approach for Industrializing Research Tools, in: OW2Con 2011, Session "Open Source Innovation Catalyst" - ICT Labs, IRILL, Paris, Issy Les Moulineaux, France, November 2011.
http://hal.inria.fr/hal-00639559/en -
4J. Cabot, R. Clarisó, E. Guerra, J. de Lara.
Verification and validation of declarative model-to-model transformations through invariants, in: Journal of Systems and Software, 2010, vol. 83, no 2, pp. 283-302. -
5J. Cabot, R. Clarisó, D. Riera.
On the verification of UML/OCL class diagrams using constraint programming, in: Journal of Systems and Software, 2014, vol. 93, pp. 1–23.
http://dx.doi.org/10.1016/j.jss.2014.03.023 -
6J. Cabot, R. Pau, R. Raventós.
From UML/OCL to SBVR specifications: A challenging transformation, in: Inf. Syst., 2010, vol. 35, no 4, pp. 417-440. -
7J. Canovas, F. Jouault, J. Cabot, J. Garcia Molina.
API2MoL: Automating the building of bridges between APIs and Model-Driven Engineering, in: Information and Software Technology, October 2011. [ DOI : 10.1016/j.infsof.2011.09.006 ]
http://hal.inria.fr/hal-00642154/en/ -
8B. Marco, J. Cabot, M. Wimmer.
Model-Driven Software Engineering in Practice, Morgan & Claypool, September 2012, 182 p.
http://hal.inria.fr/hal-00755006 -
9A. Vignaga, F. Jouault, M. C. Bastarrica, H. Brunelière.
Typing artifacts in megamodeling, in: Springer Journal on Software and Systems Modeling, February 2011, vol. 10, no 1. [ DOI : 10.1007/s10270-011-0191-2 ]
http://www.springerlink.com/content/j212100qq405n5q1/
Doctoral Dissertations and Habilitation Theses
-
10G. Sunyé.
A Model-Based Approach for Testing Large Scale Systems, Université de Nantes, November 2015, Habilitation à diriger des recherches.
https://hal.inria.fr/tel-01255818
Articles in International Peer-Reviewed Journals
-
11H. Bruneliere, J. Cabot, J. L. Cánovas Izquierdo, L. Orue-Echevarria, O. Strauss, M. Wimmer.
Software Modernization Revisited: Challenges and Prospects, in: Computer, August 2015, vol. 48, no 8, pp. 76-80. [ DOI : 10.1109/MC.2015.234 ]
https://hal.inria.fr/hal-01186371 -
12J. L. Cánovas Izquierdo, V. Cosentino, J. Cabot.
Attracting Contributions to your GitHub Project, in: The Journal of Object Technology, March 2015.
https://hal.inria.fr/hal-01257474 -
13S. HIDAKA, M. Tisi, J. Cabot, Z. Hu.
Feature-Based Classification of Bidirectional Transformation Approaches, in: Software and Systems Modeling, 2015.
https://hal.inria.fr/hal-01257169 -
14R. Tairas, J. Cabot.
Corpus-based analysis of domain-specific languages, in: Software and Systems Modeling, 2015, vol. 14, no 2, pp. 889-904. [ DOI : 10.1007/s10270-013-0352-6 ]
http://hal-bioemco.ccsd.cnrs.fr/LINA/hal-01201686
Articles in National Peer-Reviewed Journals
-
15S. HIDAKA, J. Bézivin, Z. Hu, F. Jouault.
Principles and Applications of Model Driven Engineering (2) Metamodeling and Model Transformation, in: Computer Software, 2015, vol. 32, no 2, pp. 63-78. [ DOI : 10.11309/jssst.32.2_63 ]
https://hal.archives-ouvertes.fr/hal-01202832
International Conferences with Proceedings
-
16D. Ameller, X. Franch, C. Gómez, J. Araujo, R. Berntsson Svensson, S. Biffl, J. Cabot, V. Cortellessa, M. Daneva, D. Méndez Fernández, A. Moreira, H. Muccini, A. Vallecillo, M. Wimmer, V. Amaral, H. Bruneliere, L. Burgueño, M. Goulão, B. Schätz, S. Teufl.
Handling Non-functional Requirements in Model-Driven Development: An Ongoing Industrial Survey, in: 23rd IEEE International Requirements Engineering Conference (RE 2015), Ottawa, Canada, August 2015.
https://hal.inria.fr/hal-01186624 -
17H. Bruneliere, J. Garcia, P. Desfray, D. E. Khelladi, R. Hebig, R. Bendraou, J. Cabot.
On Lightweight Metamodel Extension to Support Modeling Tools Agility, in: 11th European Conference on Modelling Foundations and Applications (ECMFA 2015) (a STAF 2015 conference), L'Aquila, Italy, July 2015.
https://hal.inria.fr/hal-01146802 -
18H. Bruneliere, J. Garcia Perez, M. Wimmer, J. Cabot.
EMF Views: A View Mechanism for Integrating Heterogeneous Models, in: 34th International Conference on Conceptual Modeling (ER 2015), Stockholm, Sweden, October 2015.
https://hal.inria.fr/hal-01159205 -
19V. Cosentino, M. Tisi, J. L. Cánovas Izquierdo.
A Model-Driven Approach to Generate External DSLs from Object-Oriented APIs, in: 41st International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, Book Series: Lecture Notes in Computer Science, January 2015, vol. 8939, pp. 423-435.
https://hal.inria.fr/hal-01094214 -
20A. E. Labib, M. C. Penadés, J. H. Canós, A. Gómez.
Enforcing reuse and customization in the development of learning objects: a product line approach, in: 30th ACM/SIGAPP Symposium On Applied Computing (SAC 2015), Salamanca, Spain, April 2015. [ DOI : 10.1145/2695664.2695991 ]
https://hal.inria.fr/hal-01095594 -
21S. Martínez, J. Garcia-Alfaro, F. Cuppens, N. CUPPENS-BOULAHIA, J. Cabot.
Model-Driven Integration and Analysis of Access-control Policies in Multi-layer Information Systems, in: IFIP SEC - 30th IFIP TC 11 International Conference, Hamburg, Germany, H. Federrath, D. Gollmann (editors), ICT Systems Security and Privacy Protection - IFIP Advances in Information and Communication Technology, Springer, May 2015, vol. 455, pp. 218-233. [ DOI : 10.1007/978-3-319-18467-8_15 ]
https://hal.inria.fr/hal-01152528 -
22J. Troya, H. Bruneliere, M. Fleck, M. Wimmer, L. Orue-Echevarria, J. Gorroñogoitia.
ARTIST: Model-Based Stairway to the Cloud, in: Projects Showcase at STAF 2015 conference, L'Aquila, Italy, July 2015.
https://hal.inria.fr/hal-01166258
Conferences without Proceedings
-
23A. Benelallam, A. Gómez, M. Tisi.
ATL-MR: Model Transformation on MapReduce, in: Proceedings of the Second Workshop on Software Engineering for Parallel Systems (SEPS) co-located with SPLASH 2015, Pittsburgh, United States, October 2015.
https://hal.archives-ouvertes.fr/hal-01215268 -
24A. Benelallam, A. Gómez, M. Tisi, J. Cabot.
Distributed Model-to-Model Transformation with ATL on MapReduce, in: Proceedings of 2015 ACM SIGPLAN International Conference on Software Language Engineering (SLE 2015), Pittsburgh, United States, October 2015.
https://hal.archives-ouvertes.fr/hal-01215228 -
25M. Boussaa, O. Barais, G. Sunyé, B. Baudry.
A Novelty Search Approach for Automatic Test Data Generation, in: 8th International Workshop on Search-Based Software Testing SBST@ICSE 2015, Firenze, Italy, May 2015, 4 p.
https://hal.archives-ouvertes.fr/hal-01121228 -
26M. Boussaa, O. Barais, G. Sunyé, B. Baudry.
A Novelty Search-based Test Data Generator for Object-oriented Programs, in: GECCO 2015, Madrid, Spain, Proceedings of the Companion Publication of the 2015 Annual Conference on Genetic and Evolutionary Computation, ACM, July 2015, pp. 1359–1360. [ DOI : 10.1145/2739482.2764716 ]
https://hal.archives-ouvertes.fr/hal-01248177 -
27V. Cosentino, J. L. Cánovas Izquierdo, J. Cabot.
Assessing the bus factor of Git repositories, in: 22nd International Conference on Software Analysis, Evolution and Reengineering (SANER), 2015 IEEE, Montreal, Canada, March 2015. [ DOI : 10.1109/SANER.2015.7081864 ]
https://hal.inria.fr/hal-01257471 -
28V. Cosentino, J. L. Cánovas Izquierdo, J. Cabot.
Gitana: a SQL-based Git Repository Inspector, in: ER 2015 - 34th International Conference on Conceptual Modeling, Stockholm, Sweden, October 2015.
https://hal.inria.fr/hal-01187769 -
29J. Criado, S. Martínez, L. Iribarne, J. Cabot.
Enabling the Reuse of Stored Model Transformations Through Annotations, in: Theory and Practice of Model Transformations, L'aquila, Italy, Theory and Practice of Model Transformations, Springer, July 2015, vol. 9152, 15 p. [ DOI : 10.1007/978-3-319-21155-8_4 ]
https://hal.inria.fr/hal-01257406 -
30J. L. Cánovas Izquierdo, J. Cabot.
Enabling the Definition and Enforcement of Governance Rules in Open Source Systems, in: International Conference on Software Engineering, Florence, Italy, May 2015.
https://hal.inria.fr/hal-01115920 -
31H. Ed-Douibi, H. Brunelière.
Modeling software application front-ends: introducing the open source IFML graphical editor…, in: EclipseCon North America 2015 - Modeling Symposium, San Francisco, United States, March 2015.
https://hal.inria.fr/hal-01146785 -
32A. Gómez, A. Benelallam, M. Tisi.
Decentralized Model Persistence for Distributed Computing, in: 3rd BigMDE Workshop, L'Aquila, Italy, July 2015.
https://hal.archives-ouvertes.fr/hal-01215280 -
33A. Gómez, M. Tisi, G. Sunyé, J. Cabot.
Map-Based Transparent Persistence for Very Large Models, in: Fundamental Approaches to Software Engineering 18th International Conference, FASE 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings, London, United Kingdom, Lecture Notes in Computer Science, April 2015, vol. 9033, pp. 19-34. [ DOI : 10.1007/978-3-662-46675-9_2 ]
https://hal.inria.fr/hal-01140776 -
34M. Tisi, R. Douence, D. Wagelaar.
Lazy Evaluation for OCL, in: Models 2015: 15th International Workshop on OCL and Textual Modeling, Ottawa, Canada, September 2015.
https://hal.inria.fr/hal-01221072
Scientific Popularization
-
35J. Cabot, J. L. Cánovas Izquierdo, V. Cosentino, B. Rolandi.
Exploring the Use of Labels to Categorize Issues in Open-Source Software Projects, in: International Conference on Software Analysis, Evolution and Reenginering (SANER), Montreal, Canada, March 2015.
https://hal.inria.fr/hal-01119395 -
36J. L. Cánovas Izquierdo, V. Cosentino, B. Rolandi, A. Bergel, J. Cabot.
GiLA: GitHub Label Analyzer, in: International Conference on Software Analysis, Evolution and Reenginering (SANER), Montreal, Canada, March 2015.
https://hal.inria.fr/hal-01119396
-
37M. Barbero, F. Jouault, J. Bézivin.
Model Driven Management of Complex Systems: Implementing the Macroscope's vision, in: Proceedings of the 15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland, IEEE Computer Society, 2008, pp. 277–286. -
38J. Bézivin.
From Object Composition to Model Transformation with the MDA, in: TOOLS '01: Proceedings of the 39th International Conference and Exhibition on Technology of Object-Oriented Languages and Systems (TOOLS39), Washington, DC, USA, IEEE Computer Society, 2001, pp. 350–354. -
39J. Bézivin, F. Büttner, M. Gogolla, F. Jouault, I. Kurtev, A. Lindow.
Model Transformations? Transformation Models!, in: Model Driven Engineering Languages and Systems, 9th International Conference, MoDELS, Genova, Italy, LNCS, Springer Berlin / Heidelberg, October 1-6 2006, no 4199, pp. 440–453. -
40J. Bézivin.
On the Unification Power of Models, in: Software and System Modeling, 2005, vol. 4, no 2, pp. 171–188. -
41J. Bézivin, O. Gerbé.
Towards a Precise Definition of the OMG/MDA Framework, in: ASE'01, Automated Software Engineering, San Diego, USA, IEEE Computer Society Press, 2001, pp. 273-280. -
42J. Bézivin, R. Heckel.
04101 Summary – Language Engineering for Model-driven Software Development, in: Language Engineering for Model-Driven Software Development, Dagstuhl, Germany, J. Bézivin, R. Heckel (editors), Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005, no 04101. -
43J. Bézivin, F. Jouault.
Using ATL for Checking Models, in: Proceedings of the International Workshop on Graph and Model Transformation (GraMoT), Tallinn, Estonia, 2005. -
44G. Canfora, M. Di Penta, L. Cerulo.
Achievements and challenges in software reverse engineering, in: Commun. ACM, April 2011, vol. 54, pp. 142–151.
http://doi.acm.org/10.1145/1924421.1924451 -
45M. Didonet Del Fabro, J. Bézivin, F. Jouault, P. Valduriez.
Applying Generic Model Management to Data Mapping, in: Proceedings of the Journées Bases de Données Avancées (BDA05), 2005. -
46F. Jouault, F. Allilaire, J. Bézivin, I. Kurtev.
ATL: a Model Transformation Tool, in: Science of Computer Programming, 2008, vol. 72, no 3, Special Issue on Second issue of experimental software and toolkits (EST), pp. 31–39. -
47F. Jouault, J. Bézivin.
KM3: a DSL for Metamodel Specification, in: Proceedings of 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, LNCS 4037, Bologna, Italy, 2006, pp. 171–185. -
48I. Kurtev, J. Bézivin, F. Jouault, P. Valduriez.
Model-based DSL Frameworks, in: Companion to the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, OR, USA, ACM, 2006, pp. 602–616.