User:SMartinez
From AtlanMod
Contact
AtlanMod research team (INRIA & EMN) - Room B206b
École des Mines de Nantes
4, rue Alfred Kastler
44307 Nantes Cedex 3 - France
Google Scholar profile: [1]
ResearchGate Profile: [2]
About me
Maître-Assistant Associé in the computer sciences department of Mines Nantes since 2014. Previously, I was a Ph.D student under the direction of Jordi Cabot and Frédéric Cuppens. I defended my thesis entitled Automatic Reconstruction and Analysis of Security Policies from Deployed Security Components in Juin 2014.
I work with the AtlanMod team in the domains of Model-driven engineering and Systems Security. My research interests within those domains are mainly focused in:
- Metamodeling and model transformation efficiency and scalability. Following this line of research we have studied and provided new efficient engines for the ATL transformation language together with metamodels for its reusability and refactorings to improve quality. We are currently working in a Reactive engine for ATL and in the efficient evaluation of OCL queries.
- Security extraction, modeling and analysis. We have applied MDE to the extraction and analysis of security policies from several different information systems like networks of firewalls, databases or web applications. We have also obtained results in the integration of the policies extracted from those components.
Other research lines like the support for dynamic access-control in complex environments by using MDE techniques, the modeling of SIEM system and the YANG language for IoT are also included in my research interests.
Publications
International Journals
Garcia-Alfaro, J., Cuppens, F., Cuppens-Boulahia, N. Martínez, S., and Cabot, J. (2013) Management of stateful firewall misconfiguration. Computers & Security, 39 :64-85.
Wimmer, M., Martínez, S., Jouault, F., and Cabot, J. (2012) A catalogue of refactorings for model-to-model transformations. Journal of Object Technology, 11(2) :2-1.
International Conferences
Criado, J., Martínez, S., Iribarne, L., and Cabot, J. (2015) Enabling the Reuse of Stored Model Transformations Through Annotations. Theory and Practice of Model Transformations - ICMT 2015, pages 43-58.
Martínez, S., Garcia-Alfaro, J., Cuppens, F., Cuppens-Boulahia, N., and Cabot, J. (2015) Model-Driven Integration and Analysis of Access-control Policies in Multi-layer Information Systems. IFIP SEC 2015 (SEC’15), pages 218-233.
Martínez, S., Garcia-Alfaro, J., Cuppens, F., Cuppens-Boulahia, N., and Cabot, J. (2013) Model-driven extraction and analysis of network security policies. In Model-Driven Engineering Languages and Systems 2013 (MODELS’13), pages 52-68.
Martínez, S., Cosentino, V., Cabot, J., and Cuppens, F. (2013) Reverse engineering of database security policies. In Database and Expert Systems Applications 2013 - DEXA'13, pages 442-449.
Tisi, M., Martínez, S., and Choura, H. (2013) Parallel execution of ATL transformation rules. In Model-Driven Engineering Languages and Systems 2013 (MODELS’13), pages 656-672.
Tisi, M., Martínez, S., Jouault, F., and Cabot, J. (2011) Lazy execution of model-to-model transformations. In Model Driven Engineering Languages and Systems (MODELS’11), pages 32-46.
International Workshops
Martínez, S., Cosentino, V., and Cabot, J. (2016) Model-based Analysis of Java EE Web Security Configurations. In Models In Software Engineering 2016 - MISE’16.
Cosentino, V., Martínez, S., et al. (2013). Extracting UML/OCL integrity constraints and derived types from relational databases. In 13th Interna- tional Workshop on OCL, Model Constraint and Query Languages.
Martínez, S., Garcia-Alfaro, J., Cuppens, F., Cuppens-Boulahia, N., and Cabot, J.(2013). Towards an access-control metamodel for web content management systems. In Current Trends in Web Engineering, pages 148-155.
Martínez, S., Cabot, J., Garcia-Alfaro, J., Cuppens, F., and Cuppens-Boulahia, N. (2012) A model-driven approach for the extraction of network access-control policies. In Proceedings of the Workshop on Model-Driven Security, page 2012.
Randak, A., Martínez, S., and Wimmer, M. (2011). Extending ATL for na- tive UML profile support : an experience report. Proceedings of the 3rd International Workshop on Model Transformation with ATL (MtATL11), pages 49-62.
National Conferences
Martínez, S. and Cabot, J. Advanced execution modes for model transformation languages. JISBD 2011
Martínez, S., Wimmer, M., Jouault, F., and Cabot, J. (2011). Catálogo de refactorizaciones para transformaciones modelo a modelo. JISBD 2011
Other publications
Tisi, M., Martínez, S., Jouault, F., Cabot, J., et al. (2011). Refining models with rule-based model transformations.
Mahe, V., Martínez, S., Doux, G., Brunelière, H., and Cabot, J. (2011). Portolan : a model- driven cartography framework. arXiv preprint arXiv :1102.4684.
Blondelle, G., Combemale, B., Dolques, X., Martinez, S., Phung-Khac, A., and Tisi, M. Polarsys industry working group : Model Driven and Organizational Interoperability in the Eclipse Ecosystem
