Skip to Main content
New interface

Researcher identifiers

Export Publications

Export the displayed publications:
Number of documents

31

Salvador Martínez - Associate Professor, IMT Atlantique


Journal articles10 documents

  • Antonia Reina Quintero, Salvador Martínez, Ángel Jesús Varela-Vaca, María Teresa Gómez López, Jordi Cabot. A domain-specific language for the specification of UCON policies. Journal of information security and applications, 2022, 64, pp.103006. ⟨10.1016/j.jisa.2021.103006⟩. ⟨hal-03524313⟩
  • Sylvain Guérin, Joël Champeau, Jean-Christophe Bach, Antoine Beugnard, Fabien Dagnat, et al.. Multi-Level Modeling with Openflexo/FML: A Contribution to the Multi-Level Process Challenge. Enterprise Modelling and Information Systems Architectures, 2022, 17, ⟨10.18417/emisa.17.9⟩. ⟨hal-03692372⟩
  • Salvador Martínez, Sébastien Gérard, Jordi Cabot. Efficient model similarity estimation with robust hashing. Software and Systems Modeling, 2021, ⟨10.1007/s10270-021-00915-9⟩. ⟨hal-03316737⟩
  • Sylvain Guérin, Guillaume Polet, Caine Silva, Joel Champeau, Jean-Christophe Bach, et al.. PAMELA: an annotation-based Java Modeling Framework. Science of Computer Programming, 2021, 210, pp.102668. ⟨10.1016/j.scico.2021.102668⟩. ⟨hal-03217126⟩
  • Salvador Martínez, Manuel Wimmer, Jordi Cabot. Efficient plagiarism detection for software modeling assignments. Computer Science Education, 2020, 30 (2), pp.187-215. ⟨10.1080/08993408.2020.1711495⟩. ⟨hal-02498433⟩
  • Salvador Martínez, Sébastien Gerard, Jordi Cabot. On Watermarking for Collaborative Model-Driven Engineering. IEEE Access, 2018, 6, pp.29715-29728. ⟨10.1109/ACCESS.2018.2841020⟩. ⟨hal-02863646⟩
  • Salvador Martínez, Valerio Cosentino, Jordi Cabot. Model-based analysis of Java EE web security misconfigurations. Computer Languages, Systems and Structures, 2017, 49 (SI), pp.36-61. ⟨10.1016/j.cl.2017.02.001⟩. ⟨cea-01803832⟩
  • Salvador Martínez, Massimo Tisi, Rémi Douence. Reactive Model Transformation with ATL. Science of Computer Programming, 2017, 136, pp.1 - 16. ⟨10.1016/j.scico.2016.08.006⟩. ⟨hal-01627991⟩
  • García-Alfaro Joaquin, Cuppens Frédéric, Nora Cuppens-Boulahia, Salvador Martinez Perez, Jordi Cabot. Management of stateful firewall misconfiguration. Computers and Security, Elsevier, 2013, 39 (11), pp.64-85. ⟨hal-00869328⟩
  • Manuel Wimmer, Salvador Martínez, Frédéric Jouault, Jordi Cabot. A Catalogue of Refactorings for Model-to-Model Transformations. The Journal of Object Technology, Chair of Software Engineering, 2012, Journal of Object Technology, 11 (2), pp.21-40. ⟨10.5381/jot.2012.11.2.a2⟩. ⟨hal-00734216⟩

Conference papers18 documents

  • Jean-Christophe Bach, Antoine Beugnard, Jean-Loup Castaigne, Julien Mallet, Salvador Martínez, et al.. An analysis of software design understanding & motivation of engineering students. MODELS 2022 Educators Symposium, Oct 2022, Montreal, Canada. ⟨hal-03801001⟩
  • Elena Planas, Salvador Martínez, Marco Brambilla, Jordi Cabot. Towards Access Control Models for Conversational User Interfaces. EMMSAD 2022, Jun 2022, Leuven, Belgium. pp.310-317, ⟨10.1007/978-3-031-07475-2_21⟩. ⟨hal-03685799⟩
  • Sébastien Gérard, Salvador Martínez, Sébastien Gerard. On the Need for Intellectual Property Protection in Model-Driven Co-Engineering Processes. 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⟩. ⟨cea-02572729⟩
  • Salvador Martínez, Sébastien Gérard, Jordi Cabot. Robust Hashing for Models. 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, Oct 2018, Copenhagen, Denmark. pp.312-322, ⟨10.1145/3239372.3239405⟩. ⟨hal-02388808⟩
  • Salvador Martínez, Alexis Fouche, Sébastien Gerard, Jordi Cabot. Automatic Generation of Security Compliant (Virtual) Model Views. International Conference on Conceptual Modeling - ER 2018, Oct 2018, Xi'an, China. pp.109-117, ⟨10.1007/978-3-030-00847-5_10⟩. ⟨hal-02863658⟩
  • Salvador Martínez, Valerio Cosentino, Jordi Cabot. Model-based Analysis of Java EE Web Security Configurations. 2016 IEEE/ACM 8th International Workshop on Modeling in Software Engineering (MiSE), May 2016, Austin, Texas, United States. ⟨10.1145/2896982.2896986⟩. ⟨hal-02868060⟩
  • Salvador Martínez, Jokin Garcia, Jordi Cabot. Runtime support for rule-based access-control evaluation through model-transformation. the 2016 ACM SIGPLAN International Conference, Oct 2016, Amsterdam, Netherlands. pp.57-69, ⟨10.1145/2997364.2997375⟩. ⟨hal-02864664⟩
  • Salvador Martínez, Joaquin Garcia-Alfaro, Frédéric Cuppens, Nora Cuppens-Bouhlahia, Jordi Cabot. Model-Driven Integration and Analysis of Access-control Policies in Multi-layer Information Systems. 30th IFIP International Information Security Conference (SEC), May 2015, Hamburg, Germany. pp.218-233, ⟨10.1007/978-3-319-18467-8_15⟩. ⟨hal-01152528⟩
  • Javier Criado, Salvador Martínez, Luis Iribarne, Jordi Cabot. Enabling the Reuse of Stored Model Transformations Through Annotations. Theory and Practice of Model Transformations, Jul 2015, L'aquila, Italy. pp.15, ⟨10.1007/978-3-319-21155-8_4⟩. ⟨hal-01257406⟩
  • Valerio Cosentino, Salvador Martínez. Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases. 13th International Workshop on OCL, Model Constraint and Query Languages, Sep 2013, Miami, United States. ⟨hal-00869231⟩
  • Salvador Martínez, Martinez Cosentino, Jordi Cabot, Frédéric Cuppens. Reverse Engineering of Database Security Policies. 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⟩. ⟨hal-01161908⟩
  • Salvador Martinez Perez, García-Alfaro Joaquin, Cuppens Frédéric, Nora Cuppens-Boulahia, Jordi Cabot. Model-Driven Extraction and Analysis of Network Security Policies. Model-Driven Engineering Languages and Systems - 16th International Conference, MODELS 2013, Sep 2013, Miami, United States. pp.52-68. ⟨hal-00869319⟩
  • Salvador Martinez Perez, García-Alfaro Joaquin, Cuppens Frédéric, Nora Cuppens-Boulahia, Jordi Cabot. Towards an Access-Control Metamodel for Web Content Management Systems. ICWE 2013: the International Conference on Web Engineering - MDWE 2013: Model-Driven Web Engineering, Jul 2013, Aalborg, Denmark. pp 148-155. ⟨hal-00869324⟩
  • Massimo Tisi, Salvador Martínez, Hassene Choura. Parallel Execution of ATL Transformation Rules. MoDELS, Sep 2013, Miami, United States. pp.656-672. ⟨hal-00869269⟩
  • Salvador Martínez, García-Alfaro Joaquin, Cuppens Frédéric, Nora Cuppens-Boulahia, Jordi Cabot. A model-driven approach for the extraction of network access-control policies. Model-Driven Security Workshop, Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry, Oct 2012, Innsbruck, Austria. ⟨hal-00734230⟩
  • Massimo Tisi, Salvador Martínez, Frédéric Jouault, Jordi Cabot. Lazy Execution of Model-to-Model Transformations. Model Driven Engineering Languages and Systems, 14th International Conference, MODELS 2011, Oct 2011, Wellington, New Zealand. ⟨inria-00609458⟩
  • Salvador Martínez, Manuel Wimmer, Frédéric Jouault, Jordi Cabot. Catálogo de refactorizaciones para transformaciones Modelo a Modelo. XVI Jornadas de Ingeniería del Software y Bases de Datos (JISBD), Sep 2011, A Coruña, España. ⟨inria-00609451⟩
  • Andrea Randak, Salvador Martínez, Manuel Wimmer. Extending ATL for Native UML Profile Support: An Experience Report 49-62. 3rd International Workshop on Model Transformation with ATL (MtATL-2011), Jul 2011, Zürich, Switzerland. pp.49-62. ⟨inria-00609024⟩

Reports2 documents

  • Vincent Mahe, Salvador Martinez Perez, Guillaume Doux, Hugo Bruneliere, Jordi Cabot. PORTOLAN: a Model-Driven Cartography Framework. [Research Report] RR-7542, INRIA. 2011, pp.27. ⟨inria-00568186⟩
  • Massimo Tisi, Salvador Martínez, Frédéric Jouault, Jordi Cabot. Refining Models with Rule-based Model Transformations. [Research Report] RR-7582, INRIA. 2011, pp.18. ⟨inria-00580033v2⟩

Theses1 document

  • Salvador Martínez. Automatic reconstruction and analysis of security policies from deployed security components. Systems and Control [cs.SY]. Ecole des Mines de Nantes, 2014. English. ⟨NNT : 2014EMNA0193⟩. ⟨tel-01065944⟩