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 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
-
- titre
- Monitoring Association Constraints in Model-Oriented Programming
- auteur
- Sylvain Guérin, Joël Champeau, Antoine Beugnard, Salvador Martínez
- article
- 5th International Workshop on Modeling Language Engineering, MODELS 2023, Oct 2023, Vasteras, Sweden
- Accès au texte intégral et 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
-
- 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
-
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
-
- 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
-
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
-
- 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
-
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
-
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
-
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
-
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
-
- 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
-
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
-
- 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
-
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
-
- 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
-
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
-
- 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
-
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
-
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 and Security, 2013, 39 (11), pp.64-85
- Accès au 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
-
- 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
-
- 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
-
- 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
-
- 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
-
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
-
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
-
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
-
- 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
-
- 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
-
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
-
- 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
-