Project-Team Atlanmod
Members
Overall Objectives
Research Program
Application Domains
Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
XML PDF e-pub
PDF e-Pub

previous Previous | up Home

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. Bézivin, F. Buettner, 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.
  • 5J. 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.
  • 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/
  • 8F. 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.
  • 9B. Marco, J. Cabot, M. Wimmer.
    Model-Driven Software Engineering in Practice, Morgan & Claypool, September 2012, 182 p.
    http://hal.inria.fr/hal-00755006
  • 10A. 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/, http://hal.archives-ouvertes.fr/hal-00589277/en/
Publications of the year

Articles in International Peer-Reviewed Journals

  • 11D. 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
  • 12F. Büttner, U. Bartels, L. Hamann, O. Hofrichter, M. Kuhlmann, M. Gogolla, L. Rabe, F. Steimke, Y. Rabenstein, A. Stosiek.
    Model-driven Standardization of Public Authority Data Interchange, in: Science of Computer Programming, 2013. [ DOI : 10.1016/j.scico.2013.03.009 ]
    http://hal.inria.fr/hal-00814982
  • 13F. Büttner, J. Cabot.
    Lightweight String Reasoning in Model Finding, in: Software and Systems Modeling, 2013. [ DOI : 10.1007/s10270-013-0332-x ]
    http://hal.inria.fr/hal-00814991
  • 14F. Büttner, M. Gogolla.
    On OCL-based Imperative Languages, in: Science of Computer Programming, October 2013.
    http://hal.inria.fr/hal-00876206
  • 15J. S. Cuadrado, J. Canovas, J. Garcia Molina.
    Applying model-driven engineering in small software enterprises, in: Science of Computer Programming, May 2013.
    http://hal.inria.fr/hal-00869356
  • 16O. Diaz, G. Puente, J. Canovas, J. Garcia Molina.
    Harvesting models from web 2.0 databases, in: Software and Systems Modeling, February 2013, vol. 12, no 1, pp. 15-34. [ DOI : 10.1007/s10270-011-0194-z ]
    http://hal.inria.fr/hal-00823323
  • 17G.-A. Joaquin, C. Frédéric, C.-B. Nora, S. Martínez Pérez, J. Cabot.
    Management of stateful firewall misconfiguration, in: Computers & Security, February 2013.
    http://hal.inria.fr/hal-00869328
  • 18A. Vignaga, F. Jouault, M. C. Bastarrica, H. Brunelière.
    Typing artifacts in megamodeling, in: Springer Journal on Software and Systems Modeling, February 2013, vol. 12, no 1. [ DOI : 10.1007/s10270-011-0191-2 ]
    http://link.springer.com/article/10.1007%2Fs10270-011-0191-2, http://hal.inria.fr/hal-00589277

International Conferences with Proceedings

  • 19A. Bergmayr, H. Brunelière, J. Canovas, J. Gorronogoitia, G. Kousiouris, K. Dimosthenis, P. Langer, A. Menychtas, L. Orue-Echevarria, C. Pezuela, M. Wimmer.
    Migrating Legacy Software to the Cloud with ARTIST, in: 17th European Conference on Software Maintenance and Reengineering, Genova, Italy, March 2013.
    http://hal.inria.fr/hal-00869268
  • 20H. Brunelière, J. Cabot, S. Drapeau, F. Somda, W. Piers, J. D. Villa Calle, J.-C. Lafaurie.
    MDE Support for Enterprise Architecture in an Industrial Context: the TEAP Framework Experience, in: TowArds the Model DrIveN Organization (AMINO 2013) workshop - a MODELS 2013 Satellite Event, Miami, United States, September 2013.
    http://hal.inria.fr/hal-00869282
  • 21F. Büttner, M. Egea, E. Guerra, J. De Lara.
    Checking Model Transformation Refinement, in: International Conference on Model Transformation (ICMT), Budapast, Hungary, Springer, 2013.
    http://hal.inria.fr/hal-00815008
  • 22J. Canovas, J. Cabot.
    Discovering Implicit Schemas in JSON Data, in: International Conference on Web Engineering, Aalborg, Denmark, July 2013.
    http://hal.inria.fr/hal-00818945
  • 23J. Canovas, J. Cabot.
    Enabling the Collaborative Definition of DSMLs, in: International Conference on Advanced Information Systems Engineering, Valence, Spain, June 2013.
    http://hal.inria.fr/hal-00818943
  • 24J. Canovas, J. Cabot, J. López-Fernández, J. S. Cuadrado, E. Guerra, J. De Lara.
    Engaging End-Users in the Collaborative Development of Domain-Speci c Modelling Languages, in: International Conference on Cooperative Design, Visualization & Engineering, Mayorca, Spain, September 2013.
    http://hal.inria.fr/hal-00869347
  • 25V. Cosentino, J. Cabot, P. Albert, P. Bauquel, J. Perronnet.
    Extracting Business Rules from COBOL: A Model-Based Framework, in: Working Conference on Reverse Engineering, Koblenz, Germany, October 2013.
    http://hal.inria.fr/hal-00869235
  • 26V. Cosentino, J. Cabot, P. Albert, P. Bauquel, J. Perronnet.
    Extracting Business Rules from COBOL: A Model-Based Tool, in: Working Conference on Reverse Engineering, Koblenz, Germany, October 2013.
    http://hal.inria.fr/hal-00869236
  • 27V. Cosentino, S. Martinez.
    Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases, in: 13th International Workshop on OCL, Model Constraint and Query Languages, Miami, United States, October 2013.
    http://hal.inria.fr/hal-00869231
  • 28V. Cosentino, M. Tisi, F. Büttner.
    Analyzing Flowgraphs with ATL, in: Transformation Tool Contest, Budapest, Hungary, June 2013.
    http://hal.inria.fr/hal-00819075
  • 29D.-H. Dang, J. Cabot.
    Automating Inference of OCL Business Rules from User Scenarios, in: APSEC - 20th Asia-Pacific Software Engineering Conference - 2013, Bangkok, Thailand, P. Muenchaisri, G. Rothermel (editors), IEEE, 2013.
    http://hal.inria.fr/hal-00869234
  • 30M. Gogolla, F. Büttner, J. Cabot.
    Initiating a Benchmark for UML and OCL Analysis Tools, in: International Conference on Tests & Proofs (TAP), Budapast, Hungary, Lecture Notes in Computer Science, Springer, 2013.
    http://hal.inria.fr/hal-00815040
  • 31D. Kolovos, L. Rose, N. Matragkas, R. Paige, E. Guerra, J. S. Cuadrado, J. De Lara, I. Rath, D. Varro, M. Tisi, J. Cabot.
    A research roadmap towards achieving scalability in model driven engineering, in: Proceedings of the Workshop on Scalability in Model Driven Engineering, Budapest, Hungary, ACM, 2013, 2:1 p. [ DOI : 10.1145/2487766.2487768 ]
    http://hal.inria.fr/hal-00869267
  • 32S. Martínez Pérez, V. Cosentino, C. Frédéric, J. Cabot.
    Reverse Engineering of Database Security Policies, in: Database and Expert Systems Applications - DEXA 2013, Prague, Czech Republic, August 2013, pp. 442-449.
    http://hal.inria.fr/hal-00869283
  • 33S. Martínez Pérez, G.-A. Joaquin, C. Frédéric, C.-B. Nora, J. Cabot.
    Model-Driven Extraction and Analysis of Network Security Policies, in: Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Miami, United States, September 2013, pp. 52-68.
    http://hal.inria.fr/hal-00869319
  • 34S. Martínez Pérez, G.-A. Joaquin, C. Frédéric, C.-B. Nora, J. Cabot.
    Towards an Access-Control Metamodel for Web Content Management Systems, in: Model-Driven Web Engineering MDWE 2013, Aalborg, Denmark, July 2013.
    http://hal.inria.fr/hal-00869324
  • 35A. Menychtas, C. Santzaridou, G. Kousiouris, T. Varvarigou, L. Orue-Echevarria, J. Alonso, J. Gorronogoitia, H. Brunelière, O. Strauss, T. Senkova, B. Pellens, P. Stuer.
    ARTIST Methodology and Framework: A novel approach for the migration of legacy software on the Cloud, in: 2nd Workshop on Management of resources and services In Cloud And Sky computing (MICAS 2013), Timisoara, Romania, September 2013.
    http://hal.inria.fr/hal-00869276
  • 36G. Selim, F. Büttner, J. R. Cordy, J. Dingel, S. Wang.
    Automated Verification of Model. Transformations in the Automotive Industry, in: Model Driven Engineering Languages and Systems, 16th International Conference, MODELS 2013, Miami, United States, A. Moreira, B. Schaetz (editors), Springer, 2013.
    http://hal.inria.fr/hal-00834058
  • 37M. Tisi, S. Martinez, H. Choura.
    Parallel Execution of ATL Transformation Rules, in: MoDELS, Miami, United States, 2013, pp. 656-672.
    http://hal.inria.fr/hal-00869269

National Conferences with Proceedings

  • 38J. Canovas, S. Trujillo.
    Retos Actuales en el Desarrollo de Lenguajes Específicos del Dominio, in: Jornadas en Ingeniería del Software y Bases de Datos, Madrid, Spain, September 2013.
    http://hal.inria.fr/hal-00869352
  • 39V. Cosentino, P. Bauquel, J. Perronnet, P. Albert, J. Cabot.
    Un Framework dirigé par les modèles pour l'extraction de règles métier à partir d'applications COBOL, in: CIEL, Nancy, France, April 2013.
    http://hal.inria.fr/hal-00815207

Conferences without Proceedings

  • 40H. Brunelière.
    Introducing Collaboro: Collaborative DSL/DSML Definition, in: EclipseCon France 2013, Toulouse, France, June 2013.
    http://hal.inria.fr/hal-00869270
References in notes
  • 41M. 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.
  • 42J. 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.
  • 43J. Bézivin.
    On the Unification Power of Models, in: Software and System Modeling, 2005, vol. 4, no 2, pp. 171–188.
  • 44J. 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.
  • 45J. 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.
  • 46J. Bézivin, F. Jouault.
    Using ATL for Checking Models, in: Proceedings of the International Workshop on Graph and Model Transformation (GraMoT), Tallinn, Estonia, 2005.
  • 47J. Cabot, R. Clarisó, D. Riera.
    UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming, in: ASE, R. E. K. Stirewalt, A. Egyed, B. Fischer (editors), ACM, 2007, pp. 547-548.
  • 48G. 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
  • 49M. 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.
  • 50F. 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.
  • 51I. 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.

previous Previous | up Home