Salvador Martínez Perez

27 papers A 3B 2Misc 1Journal 7Unranked 13

Year	Rank	Type	Title / Venue / Authors
2024	B	`conf`	Maintaining Security Consistency During System Development with Security-Oriented Model Federation. ICSSP Chahrazed Boudjemila, Fabien Dagnat, Salvador Martínez Perez
2024	—	`conf`	Towards Re-Engineering Digital Twins: Preliminary Experiments on Three Use Cases. MoDELS (Companion) Gwendal G. Beaumont, Antoine Beugnard, Salvador Martínez Perez, Christelle Urtado, Sylvain Vauttier
2023	—	`conf`	Monitoring Association Constraints in Model-Oriented Programming. MoDELS (Companion) Sylvain Guérin, Joël Champeau, Antoine Beugnard, Salvador Martínez Perez
2023	—	`conf`	Towards Evolving Secured Multi-Model Systems with Model Federation. MoDELS (Companion) Chahrazed Boudjemila, Fabien Dagnat, Salvador Martínez Perez
2022	J	`jnl`	A domain-specific language for the specification of UCON policies. J. Inf. Secur. Appl. Antonia M. Reina Quintero, Salvador Martínez Perez, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Jordi Cabot
2022	—	`conf`	An analysis of software design understanding & motivation of engineering students. MoDELS (Companion) Jean-Christophe Bach, Antoine Beugnard, Jean-Loup Castaigne, Julien Mallet, Salvador Martínez Perez, Maria-Teresa Segarra
2022	J	`jnl`	Multi-Level Modeling with Openflexo/FML A Contribution to the Multi-Level Process Challenge. Enterp. Model. Inf. Syst. Archit. Sylvain Guérin, Joël Champeau, Jean-Christophe Bach, Antoine Beugnard, Fabien Dagnat, Salvador Martínez Perez
2022	—	`conf`	Towards Access Control Models for Conversational User Interfaces. BPMDS/EMMSAD@CAiSE Elena Planas, Salvador Martínez Perez, Marco Brambilla, Jordi Cabot
2017	J	`jnl`	Model-based analysis of Java EE web security misconfigurations. Comput. Lang. Syst. Struct. Salvador Martínez Perez, Valerio Cosentino, Jordi Cabot
2017	J	`jnl`	Reactive model transformation with ATL. Sci. Comput. Program. Salvador Martínez Perez, Massimo Tisi, Rémi Douence
2016	—	`conf`	Model-based analysis of Java EE web security configurations. MiSE@ICSE Salvador Martínez Perez, Valerio Cosentino, Jordi Cabot
2016	B	`conf`	Runtime support for rule-based access-control evaluation through model-transformation. SLE Salvador Martínez Perez, Jokin García, Jordi Cabot
2015	—	`conf`	Enabling the Reuse of Stored Model Transformations Through Annotations. ICMT Javier Criado, Salvador Martínez Perez, Luis Iribarne, Jordi Cabot
2015	Misc	`conf`	Model-Driven Integration and Analysis of Access-control Policies in Multi-layer Information Systems. SEC Salvador Martínez Perez, Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Jordi Cabot
2014	—	`—`	Automatic reconstruction and analysis of security policies from deployed security components. (Analyse et reconstruction automatique de politiques de sécurité de composants de sécurité déployés). Salvador Martínez Perez
2013	—	`conf`	Extracting UML/OCL Integrity Constraints and Derived Types from Relational Databases. OCL@MoDELS Valerio Cosentino, Salvador Martínez Perez
2013	J	`jnl`	Management of stateful firewall misconfiguration. Comput. Secur. Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Salvador Martínez Perez, Jordi Cabot
2013	A	`conf`	Model-Driven Extraction and Analysis of Network Security Policies. MoDELS Salvador Martínez Perez, Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Jordi Cabot
2013	A	`conf`	Parallel Execution of ATL Transformation Rules. MoDELS Massimo Tisi, Salvador Martínez Perez, Hassene Choura
2013	—	`conf`	Reverse Engineering of Database Security Policies. DEXA (2) Salvador Martínez Perez, Valerio Cosentino, Jordi Cabot, Frédéric Cuppens
2013	—	`conf`	Towards an Access-Control Metamodel for Web Content Management Systems. ICWE Workshops Salvador Martínez Perez, Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia, Jordi Cabot
2012	J	`jnl`	A Catalogue of Refactorings for Model-to-Model Transformations. J. Object Technol. Manuel Wimmer, Salvador Martínez Perez, Frédéric Jouault, Jordi Cabot
2012	—	`conf`	A model-driven approach for the extraction of network access-control policies. MDsec@MoDELS Salvador Martínez Perez, Jordi Cabot, Joaquín García-Alfaro, Frédéric Cuppens, Nora Cuppens-Boulahia
2011	—	`conf`	Extending ATL for Native UML Profile Support: An Experience Report. MtATL@TOOLS Andrea Randak, Salvador Martínez Perez, Manuel Wimmer
2011	A	`conf`	Lazy Execution of Model-to-Model Transformations. MoDELS Massimo Tisi, Salvador Martínez Perez, Frédéric Jouault, Jordi Cabot
2011	J	`jnl`	P ORTOLAN: a Model-Driven Cartography Framework CoRR Vincent Mahé, Salvador Martínez Perez, Guillaume Doux, Hugo Bruneliere, Jordi Cabot
2009	—	`conf`	ModelSET Component Framework: Refinando el Ciclo de Vida de MDA. JISBD E. Victor Sánchez Rebull, Orlando Avila-García, Pablo J. Hernández, Salvador Martínez Perez, Antonio Estévez