Publications HAL du labo/EPI atlanmod

Journal articles

titre
Harvesting models from web 2.0 databases
auteur
Oscar Diaz, Gorka Puente, Javier Cánovas, Jesus Garcia Molina
article
Software and Systems Modeling, 2013, 12 (1), pp.15-34. ⟨10.1007/s10270-011-0194-z⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00823323/file/09SchemolFinal.pdf BibTex
titre
Management of stateful firewall misconfiguration
auteur
García-Alfaro Joaquin, Cuppens Frédéric, Nora Cuppens-Boulahia, Salvador Martinez Perez, Jordi Cabot
article
Computers and Security, 2013, 39 (11), pp.64-85
Accès au bibtex
BibTex
titre
Model-driven Standardization of Public Authority Data Interchange
auteur
Fabian Büttner, Ullrich Bartels, Lars Hamann, Oliver Hofrichter, Mirco Kuhlmann, Martin Gogolla, Lutz Rabe, Frank Steimke, Yorck Rabenstein, Alina Stosiek
article
Science of Computer Programming, 2013, ⟨10.1016/j.scico.2013.03.009⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00814982/file/paper.pdf BibTex
titre
Typing artifacts in megamodeling
auteur
Andrés Vignaga, Frédéric Jouault, María Cecilia Bastarrica, Hugo Bruneliere
article
Software and Systems Modeling, 2013, 12 (1), pp.105-119. ⟨10.1007/s10270-011-0191-2⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00589277/file/TypinArtifactsInMegamodeling_SoSyM_AuthorsVersion.pdf BibTex
titre
Non-functional Requirements in Architectural Decision Making
auteur
David Ameller, Claudia Ayala, Jordi Cabot, Xavier Franch
article
IEEE Software, 2013, 30 (2), pp.61-67
Accès au bibtex
BibTex
titre
Lightweight String Reasoning in Model Finding
auteur
Fabian Büttner, Jordi Cabot
article
Software and Systems Modeling, 2013, ⟨10.1007/s10270-013-0332-x⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00814991/file/paper.pdf BibTex
titre
Un support IDM pour l'architecture d'entreprise dans un contexte industriel : l'exemple du framework TEAP
auteur
Hugo Bruneliere, Jordi Cabot, Stéphane Drapeau, Flavien Somda, William Piers, Juan David Villa Calle, Jean-Christophe Lafaurie
article
Génie logiciel : le magazine de l'ingénierie du logiciel et des systèmes, 2013, 107, pp.33-38
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00980301/file/TEAP_RevueGenieLogiciel.pdf BibTex

Conference papers

titre
Initiating a Benchmark for UML and OCL Analysis Tools
auteur
Martin Gogolla, Fabian Büttner, Jordi Cabot
article
International Conference on Tests & Proofs (TAP), Jun 2013, Budapast, Hungary
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00815040/file/tap2013.pdf BibTex
titre
Analyzing Flowgraphs with ATL
auteur
Valerio Cosentino, Massimo Tisi, Fabian Büttner
article
Transformation Tool Contest, Jun 2013, Budapest, Hungary
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00819075/file/TTC2013ATL.pdf BibTex
titre
Extracting Business Rules from COBOL: A Model-Based Framework
auteur
Valerio Cosentino, Jordi Cabot, Patrick Albert, Philippe Bauquel, Jacques Perronnet
article
Working Conference on Reverse Engineering, Oct 2013, Koblenz, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00869235/file/paper-cameraready.pdf BibTex
titre
Parallel Execution of ATL Transformation Rules
auteur
Massimo Tisi, Salvador Martínez, Hassene Choura
article
MoDELS, Sep 2013, Miami, United States. pp.656-672
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00869269/file/ParallelATL.pdf BibTex
titre
Discovering Implicit Schemas in JSON Data
auteur
Javier Cánovas, Jordi Cabot
article
International Conference on Web Engineering, Jul 2013, Aalborg, Denmark
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00818945/file/icwe2013-CanovasCabot.pdf BibTex
titre
Model-Driven Extraction and Analysis of Network Security Policies
auteur
Salvador Martinez Perez, García-Alfaro Joaquin, Cuppens Frédéric, Nora Cuppens-Boulahia, Jordi Cabot
article
Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Sep 2013, Miami, United States. pp.52-68
Accès au bibtex
BibTex
titre
Imaging current induced magnetic domain wall motion in La0.7Sr0.3MnO3 nanowires by XMCD-PEEM
auteur
M. Foerster, C.A.F. Vaz, Luisa Pena, Simone Finizio, Laurence Méchin, M. Mawass, A. Bisig, Fabian Büttner, M. Kläui
article
MMM 2013 (The 12th Joint MMM/Intermag Conference), Jan 2013, Chicago, United States
Accès au bibtex
BibTex
titre
Enabling the Collaborative Definition of DSMLs
auteur
Javier Cánovas, Jordi Cabot
article
International Conference on Advanced Information Systems Engineering, Jun 2013, Valence, Spain
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00818943/file/caise2013-Canovas-Cabot.pdf BibTex
titre
Introducing Collaboro: Collaborative DSL/DSML Definition
auteur
Hugo Bruneliere
article
EclipseCon France 2013, Jun 2013, Toulouse, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00869270/file/collaboro-ignitetalk-econfrance2013.pdf BibTex
titre
MDE Support for Enterprise Architecture in an Industrial Context: the TEAP Framework Experience
auteur
Hugo Bruneliere, Jordi Cabot, Stéphane Drapeau, Flavien Somda, William Piers, Juan David Villa Calle, Jean-Christophe Lafaurie
article
TowArds the Model DrIveN Organization (AMINO 2013) workshop - a MODELS 2013 Satellite Event, Sep 2013, Miami, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00869282/file/TEAP_Paper_AMINO2013_Preprint.pdf BibTex
titre
Engaging End-Users in the Collaborative Development of Domain-Speci c Modelling Languages
auteur
Javier Cánovas, Jordi Cabot, Jesús López-Fernández, Jesus Sanchez Cuadrado, Esther Guerra, Juan de Lara
article
International Conference on Cooperative Design, Visualization & Engineering, Sep 2013, Mayorca, Spain
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00869347/file/article.pdf BibTex
titre
ARTIST Methodology and Framework: A novel approach for the migration of legacy software on the Cloud
auteur
Andreas Menychtas, Christina Santzaridou, George Kousiouris, Theodora Varvarigou, Leire Orue-Echevarria, Juncal Alonso, Jesus Gorronogoitia, Hugo Bruneliere, Olivier Strauss, Tatiana Senkova, Bram Pellens, Peter Stuer
article
2013 15th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, Sep 2013, Timisoara, Romania. ⟨10.1109/SYNASC.2013.62⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00869276/file/ARTISTMethodologyFramework_SYNACS-MICAS2013.pdf BibTex
titre
Towards an Access-Control Metamodel for Web Content Management Systems
auteur
Salvador Martinez Perez, García-Alfaro Joaquin, Cuppens Frédéric, Nora Cuppens-Boulahia, Jordi Cabot
article
ICWE 2013: the International Conference on Web Engineering - MDWE 2013: Model-Driven Web Engineering, Jul 2013, Aalborg, Denmark. pp 148-155
Accès au bibtex
BibTex
titre
Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases
auteur
Valerio Cosentino, Salvador Martínez
article
13th International Workshop on OCL, Model Constraint and Query Languages, Sep 2013, Miami, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00869231/file/paper_cameraready.pdf BibTex
titre
Reverse Engineering of Database Security Policies
auteur
Salvador Martínez, Martinez Cosentino, Jordi Cabot, Frédéric Cuppens
article
DEXA 2013 : 24th International Conference on Database and Expert Systems Applications, Aug 2013, Prague, Czech Republic. pp.442 - 449, ⟨10.1007/978-3-642-40173-2_37⟩
Accès au bibtex
BibTex
titre
Un Framework dirigé par les modèles pour l'extraction de règles métier à partir d'applications COBOL
auteur
Valerio Cosentino, Philippe Bauquel, Jacques Perronnet, Patrick Albert, Jordi Cabot
article
CIEL, Apr 2013, Nancy, France
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00815207/file/CIEL2013.pdf BibTex
titre
Checking Model Transformation Refinement
auteur
Fabian Büttner, Marina Egea, Esther Guerra, Juan de Lara
article
International Conference on Model Transformation (ICMT), Jun 2013, Budapast, Hungary
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00815008/file/article.pdf BibTex
titre
Retos Actuales en el Desarrollo de Lenguajes Específicos del Dominio
auteur
Javier Cánovas, Salvador Trujillo
article
Jornadas en Ingeniería del Software y Bases de Datos, Sep 2013, Madrid, España
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00869352/file/jisbd2013-CanovasTrujillo.pdf BibTex
titre
Automating Inference of OCL Business Rules from User Scenarios
auteur
Duc-Hanh Dang, Jordi Cabot
article
APSEC - 20th Asia-Pacific Software Engineering Conference - 2013, Dec 2013, Bangkok, Thailand
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00869234/file/acquireOCL.pdf BibTex
titre
Automated Verification of Model. Transformations in the Automotive Industry
auteur
Gehan Selim, Fabian Büttner, James R. Cordy, Jürgen Dingel, Shige Wang
article
Model Driven Engineering Languages and Systems, 16th International Conference, MODELS 2013, ACM and IEEE, Sep 2013, Miami, United States
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00834058/file/main.pdf BibTex
titre
Extracting Business Rules from COBOL: A Model-Based Tool
auteur
Valerio Cosentino, Jordi Cabot, Patrick Albert, Philippe Bauquel, Jacques Perronnet
article
Working Conference on Reverse Engineering, Oct 2013, Koblenz, Germany
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00869236/file/paper_new_cameraready.pdf BibTex
titre
Migrating Legacy Software to the Cloud with ARTIST
auteur
Alexander Bergmayr, Hugo Bruneliere, Javier Luis Cánovas Izquierdo, Jesus Gorronogoitia, George Kousiouris, Dimosthenis Kyriazis, Philip Langer, Andreas Menychtas, Leire Orue-Echevarria, Clara Pezuela, Manuel Wimmer
article
17th European Conference on Software Maintenance and Reengineering (CSMR 2013), Mar 2013, Genova, Italy. ⟨10.1109/CSMR.2013.73⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-00869268/file/MigratingToCloudARTIST-CSMR2013.pdf BibTex

Theses

titre
A model-based approach for extracting business rules out of legacy information systems
auteur
Valerio Cosentino
article
Software Engineering [cs.SE]. Ecole des Mines de Nantes, 2013. English. ⟨NNT : 2013EMNA0138⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-00984763/file/Cosentino_V_12_2013.pdf BibTex