Publications HAL

2024

Conference papers

titre
10 years of Model Federation with Openflexo: Challenges and Lessons Learned
auteur
Jean-Christophe Bach, Antoine Beugnard, Joël Champeau, Fabien Dagnat, Sylvain Guérin, Salvador Martínez
article
MODELS 2024, Sep 2024, Linz, Austria. ⟨10.1145/nnnnnnn.nnnnnnn⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04617492/file/submitted_and_accepted_version-ModelFederationChallengesAndLessonsLearned.pdf BibTex
titre
Maintaining Security Consistency During System Development with Security-Oriented Model Federation
auteur
Chahrazed Boudjemila, Fabien Dagnat, Salvador Martínez
article
International Conference on Software and Systems Processes (ICSSP ’24), Sep 2024, Munich, Germany. ⟨10.1145/3666015.3666016⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04611757/file/Maintaining%20security%20consistency%20during%20system%20development.pdf BibTex
titre
Security Contracts a Property-Based Approach to Support Security Patterns
auteur
Sylvain Guérin, Joël Champeau, Salvador Martínez, Raul Mazo
article
10th International Conference on Information Systems Security and Privacy, Feb 2024, Rome, France. pp.103-111, ⟨10.5220/0012305600003648⟩
Accès au bibtex
BibTex

2023

Journal articles

titre
Modeling and enforcing access control policies in conversational user interfaces
auteur
Elena Planas, Salvador Martínez, Marco Brambilla, Jordi Cabot
article
Software and Systems Modeling, 2023, ⟨10.1007/s10270-023-01131-3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04308465/file/s10270-023-01131-3.pdf BibTex

Conference papers

titre
Towards evolving secured multi-model systems with model federation
auteur
Chahrazed Boudjemila, Fabien Dagnat, Salvador Martínez
article
MODELS 2023: 26th International Conference on Model-Driven Engineering Languages and Systems - ME 2023: 16th Workshop on Models and Evolution, Oct 2023, Vasteras, Sweden
Accès au texte intégral et bibtex
https://hal.science/hal-04254748/file/TowardsEvolvingSecuredMulti-ModelSystemswithModelFederation.pdf BibTex
titre
Monitoring Association Constraints in Model-Oriented Programming
auteur
Sylvain Guérin, Joël Champeau, Antoine Beugnard, Salvador Martínez
article
MODELS-C 2023: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, Oct 2023, Vasteras, Sweden. ⟨10.1109/MODELS-C59198.2023.00068⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04240673/file/MLE_2023_AssociationPatterns.pdf BibTex

2022

Journal articles

titre
A domain-specific language for the specification of UCON policies
auteur
Antonia Reina Quintero, Salvador Martínez, Ángel Jesús Varela-Vaca, María Teresa Gómez López, Jordi Cabot
article
Journal of information security and applications, 2022, 64, pp.103006. ⟨10.1016/j.jisa.2021.103006⟩
Accès au bibtex
BibTex
titre
Multi-Level Modeling with Openflexo/FML
auteur
Sylvain Guérin, Joël Champeau, Jean-Christophe Bach, Antoine Beugnard, Fabien Dagnat, Salvador Martínez
article
Enterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩
Accès au bibtex
BibTex

Conference papers

titre
An analysis of software design understanding & motivation of engineering students
auteur
Jean-Christophe Bach, Antoine Beugnard, Jean-Loup Castaigne, Julien Mallet, Salvador Martínez, Maria-Teresa Segarra
article
MODELS 2022 Educators Symposium, Oct 2022, Montreal, Canada
Accès au texte intégral et bibtex
https://hal.science/hal-03801001/file/MAPD_article-Camera_ready_version%20%281%29.pdf BibTex
titre
Towards Access Control Models for Conversational User Interfaces
auteur
Elena Planas, Salvador Martínez, Marco Brambilla, Jordi Cabot
article
EMMSAD 2022, Jun 2022, Leuven, Belgium. pp.310-317, ⟨10.1007/978-3-031-07475-2_21⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03685799/file/main.pdf BibTex

2021

Journal articles

titre
PAMELA: an annotation-based Java Modeling Framework
auteur
Sylvain Guérin, Guillaume Polet, Caine Silva, Joel Champeau, Jean-Christophe Bach, Salvador Martínez, Fabien Dagnat, Antoine Beugnard
article
Science of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03217126/file/PAMELA_SoftwarePublication-accepted_authors_version.pdf BibTex
titre
Efficient model similarity estimation with robust hashing
auteur
Salvador Martínez, Sébastien Gérard, Jordi Cabot
article
Software and Systems Modeling, 2021, ⟨10.1007/s10270-021-00915-9⟩
Accès au bibtex
BibTex

2020

Journal articles

titre
Efficient plagiarism detection for software modeling assignments
auteur
Salvador Martínez, Manuel Wimmer, Jordi Cabot
article
Computer Science Education, 2020, 30 (2), pp.187-215. ⟨10.1080/08993408.2020.1711495⟩
Accès au texte intégral et bibtex
https://imt-atlantique.hal.science/hal-02498433/file/PlagiarismDectectionForMDE-Accepted.pdf BibTex

2019

Conference papers

titre
On the Need for Intellectual Property Protection in Model-Driven Co-Engineering Processes
auteur
Sébastien Gérard, Salvador Martínez, Sébastien Gerard
article
International Conference on Evaluation and Modeling Methods for Systems Analysis and Development, Jun 2019, Rome, Italy. pp.169-177, ⟨10.1007/978-3-030-20618-5_12⟩
Accès au bibtex
BibTex

2018

Journal articles

titre
On Watermarking for Collaborative Model-Driven Engineering
auteur
Salvador Martínez, Sébastien Gerard, Jordi Cabot
article
IEEE Access, 2018, 6, pp.29715-29728. ⟨10.1109/ACCESS.2018.2841020⟩
Accès au bibtex
BibTex

Conference papers

titre
Automatic Generation of Security Compliant (Virtual) Model Views
auteur
Salvador Martínez, Alexis Fouche, Sébastien Gerard, Jordi Cabot
article
International Conference on Conceptual Modeling - ER 2018, Oct 2018, Xi'an, China. pp.109-117, ⟨10.1007/978-3-030-00847-5_10⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02863658/file/ER2018SecureViews.pdf BibTex
titre
Robust Hashing for Models
auteur
Salvador Martínez, Sébastien Gérard, Jordi Cabot
article
21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Oct 2018, Copenhagen, Denmark. pp.312-322, ⟨10.1145/3239372.3239405⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02388808/file/p312-martinez%20%281%29.pdf BibTex

2017

Journal articles

titre
Model-based analysis of Java EE web security misconfigurations
auteur
Salvador Martínez, Valerio Cosentino, Jordi Cabot
article
Computer Languages, Systems and Structures, 2017, 49 (SI), pp.36-61. ⟨10.1016/j.cl.2017.02.001⟩
Accès au texte intégral et bibtex
https://cea.hal.science/cea-01803832/file/Martinez2017.pdf BibTex
titre
Reactive Model Transformation with ATL
auteur
Salvador Martínez, Massimo Tisi, Rémi Douence
article
Science of Computer Programming, 2017, 136, pp.1 - 16. ⟨10.1016/j.scico.2016.08.006⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01627991/file/ReactiveSCP%20%281%29.pdf BibTex

2016

Conference papers

titre
Runtime support for rule-based access-control evaluation through model-transformation
auteur
Salvador Martínez, Jokin Garcia, Jordi Cabot
article
the 2016 ACM SIGPLAN International Conference, Oct 2016, Amsterdam, Netherlands. pp.57-69, ⟨10.1145/2997364.2997375⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02864664/file/sle2016.pdf BibTex
titre
Model-based Analysis of Java EE Web Security Configurations
auteur
Salvador Martínez, Valerio Cosentino, Jordi Cabot
article
2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE), May 2016, Austin, Texas, United States. ⟨10.1145/2896982.2896986⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02868060/file/Mise2016-ModelBasedWebSecurityAnalysis.pdf BibTex

2015

Conference papers

titre
Enabling the Reuse of Stored Model Transformations Through Annotations
auteur
Javier Criado, Salvador Martínez, Luis Iribarne, Jordi Cabot
article
Theory and Practice of Model Transformations, Jul 2015, L'aquila, Italy. pp.15, ⟨10.1007/978-3-319-21155-8_4⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01257406/file/icmt2015.pdf BibTex
titre
Model-Driven Integration and Analysis of Access-control Policies in Multi-layer Information Systems
auteur
Salvador Martínez, Joaquin Garcia-Alfaro, Frédéric Cuppens, Nora Cuppens-Bouhlahia, Jordi Cabot
article
30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.218-233, ⟨10.1007/978-3-319-18467-8_15⟩
Accès au texte intégral et bibtex
https://inria.hal.science/hal-01152528/file/SEC2015.pdf BibTex

2014

Theses

titre
Automatic reconstruction and analysis of security policies from deployed security components
auteur
Salvador Martínez
article
Systems and Control [cs.SY]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0193⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-01065944/file/MartA_nez_S_06_2014.pdf BibTex

2013

Journal articles

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 & Security, 2013, 39 (11), pp.64-85
Accès au bibtex
BibTex

Conference papers

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
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
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
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
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

2012

Journal articles

titre
A Catalogue of Refactorings for Model-to-Model Transformations
auteur
Manuel Wimmer, Salvador Martínez, Frédéric Jouault, Jordi Cabot
article
The Journal of Object Technology, 2012, Journal of Object Technology, 11 (2), pp.21-40. ⟨10.5381/jot.2012.11.2.a2⟩
Accès au bibtex
BibTex

Conference papers

titre
A model-driven approach for the extraction of network access-control policies
auteur
Salvador Martínez, García-Alfaro Joaquin, Cuppens Frédéric, Nora Cuppens-Boulahia, Jordi Cabot
article
Model-Driven Security Workshop, Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry, Oct 2012, Innsbruck, Austria
Accès au bibtex
BibTex

2011

Conference papers

titre
Lazy Execution of Model-to-Model Transformations
auteur
Massimo Tisi, Salvador Martínez, Frédéric Jouault, Jordi Cabot
article
Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Oct 2011, Wellington, New Zealand
Accès au bibtex
BibTex
titre
Catálogo de refactorizaciones para transformaciones Modelo a Modelo
auteur
Salvador Martínez, Manuel Wimmer, Frédéric Jouault, Jordi Cabot
article
XVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD), Sep 2011, A Coruña, España
Accès au bibtex
BibTex
titre
Extending ATL for Native UML Profile Support: An Experience Report 49-62
auteur
Andrea Randak, Salvador Martínez, Manuel Wimmer
article
3rd International Workshop on Model Transformation with ATL (MtATL-2011), Jul 2011, Zürich, Switzerland. pp.49-62
Accès au bibtex
BibTex

Reports

titre
Refining Models with Rule-based Model Transformations
auteur
Massimo Tisi, Salvador Martínez, Frédéric Jouault, Jordi Cabot
article
[Research Report] RR-7582, INRIA. 2011, pp.18
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00580033/file/RR-7582.pdf BibTex
titre
PORTOLAN: a Model-Driven Cartography Framework
auteur
Vincent Mahe, Salvador Martinez Perez, Guillaume Doux, Hugo Bruneliere, Jordi Cabot
article
[Research Report] RR-7542, INRIA. 2011, pp.27
Accès au texte intégral et bibtex
https://inria.hal.science/inria-00568186/file/RR-7542.pdf BibTex