Marina Egea

According to our database, Marina Egea authored at least 26 papers between 2006 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language.

Marina Egea, Carolina Dania

Softw. Syst. Model., 2019

2014

Verification of Authorization Policies Modified by Delegation.

Marina Egea, Fabian Büttner

Proceedings of the Engineering Secure Future Internet Services and Systems, 2014

A Model-Driven Methodology for Developing Secure Data-Management Applications.

David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania

IEEE Trans. Software Eng., 2014

Validation of a Security Metamodel for the Development of Cloud Applications.

Marcos Arjona, Carolina Dania, Marina Egea, Antonio Maña

Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

Coco-Cloud project: Confidential and compliant clouds.

Alejandro Mañas Garcia, Roberto Sanz-Requena, Angel Alberich-Bayarri, Gracián García-Martí, Marina Egea, C. Mediavilla Martinez

Proceedings of IEEE-EMBS International Conference on Biomedical and Health Informatics, 2014

A Certification Framework for Cloud Security Properties: The Monitoring Path.

Marina Egea, Khaled Mahbub, George Spanoudakis, Maria Rosa Vieira

Proceedings of the Accountability and Security in the Cloud, 2014

Definition of Data Sharing Agreements - The Case of Spanish Data Protection Law.

Marina Egea, Ilaria Matteucci, Paolo Mori, Marinella Petrocchi

Proceedings of the Accountability and Security in the Cloud, 2014

2013

PERSONA - A Personalized Data Protection Framework.

Marina Egea, Federica Paci, Marinella Petrocchi, Nicola Zannone

Proceedings of the Trust Management VII - 7th IFIP WG 11.11 International Conference, 2013

Checking Model Transformation Refinement.

Fabian Büttner, Marina Egea, Esther Guerra, Juan de Lara

Proceedings of the Theory and Practice of Model Transformations, 2013

2012

Aniketos: Challenges and Results.

Miguel Ponce de Leon, Richard Sanders, Per Håkon Meland, Marina Egea, Zeta Dooly

Proceedings of the Trust, Privacy and Security in Digital Business, 2012

Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria.

Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry

Proceedings of the Model-Driven Security Workshop, 2012

On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers.

Fabian Büttner, Marina Egea, Jordi Cabot

Proceedings of the Model Driven Engineering Languages and Systems, 2012

Verification of ATL Transformations Using Transformation Models and Model Finders.

Fabian Büttner, Marina Egea, Jordi Cabot, Martin Gogolla

Proceedings of the Formal Methods and Software Engineering, 2012

2011

A decade of model-driven security.

David A. Basin, Manuel Clavel, Marina Egea

Proceedings of the 16th ACM Symposium on Access Control Models and Technologies, 2011

Model-Driven Development of Security-Aware GUIs for Data-Centric Applications.

David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania, Gonzalo Ortiz, Javier Valdazo

Proceedings of the Foundations of Security Analysis and Design VI, 2011

2010

Formal executable semantics for conformance in the MDE framework.

Marina Egea, Vlad Rusu

Innov. Syst. Softw. Eng., 2010

MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL.

Marina Egea, Carolina Dania, Manuel Clavel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

SSG: a model-based development environment for smart, security-aware GUIs.

Miguel Angel García de Dios, Carolina Dania, Michael Schläpfer, David A. Basin, Manuel Clavel, Marina Egea

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering, 2010

Automatic Generation of Smart, Security-Aware GUI Models.

David A. Basin, Manuel Clavel, Marina Egea, Michael Schläpfer

Proceedings of the Engineering Secure Software and Systems, Second International Symposium, 2010

2009

Automated analysis of security-design models.

David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea

Inf. Softw. Technol., 2009

Checking Unsatisfiability for OCL Constraints.

Manuel Clavel, Marina Egea, Miguel Angel García de Dios

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

2008

ECEASST Building an Efficient Component for OCL Evaluation.

Manuel Clavel, Marina Egea, Miguel Angel García de Dios

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008

Model-Driven Security in Practice: An Industrial Experience.

Manuel Clavel, Viviane Torres da Silva, Christiano Braga, Marina Egea

Proceedings of the Model Driven Architecture, 2008

2007

A Metamodel-Based Approach for Analyzing Security-Design Models.

David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea

Proceedings of the Model Driven Engineering Languages and Systems, 2007

The MOVA Tool: A Rewriting-Based UML Modeling, Measuring, and Validation Tool.

Manuel Clavel, Marina Egea, Viviane Torres da Silva

Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

2006

ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams.

Manuel Clavel, Marina Egea

Proceedings of the Algebraic Methodology and Software Technology, 2006