Marina Egea

28 papers A 3B 1C 2Journal 7Unranked 13
YearRankTypeTitle / Venue / Authors
2019 J jnl
SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language.
Softw. Syst. Model.
Marina Egea, Carolina Dania
2017 A conf
SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language.
MoDELS
Marina Egea, Carolina Dania
2015 — ed.
Proceedings of the 15th International Workshop on OCL and Textual Modeling co-located with 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015.
OCL@MoDELS
Achim D. Brucker, Marina Egea, Martin Gogolla, Frédéric Tuong
2014 — conf
A Certification Framework for Cloud Security Properties: The Monitoring Path.
A4Cloud
Marina Egea, Khaled Mahbub, George Spanoudakis, Maria Rosa Vieira
2014 J jnl
A Model-Driven Methodology for Developing Secure Data-Management Applications.
IEEE Trans. Software Eng.
David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania
2014 — conf
Coco-Cloud project: Confidential and compliant clouds.
BHI
Alejandro Mañas-García, Roberto Sanz-Requena, Angel Alberich-Bayarri, Gracián García-Martí, Marina Egea, Cesar Mediavilla-Martinez
2014 — conf
Definition of Data Sharing Agreements - The Case of Spanish Data Protection Law.
A4Cloud
Marina Egea, Ilaria Matteucci, Paolo Mori, Marinella Petrocchi
2014 — conf
Validation of a Security Metamodel for the Development of Cloud Applications.
OCL@MoDELS
Marcos Arjona, Carolina Dania, Marina Egea, Antonio Maña
2014 — ch.
Verification of Authorization Policies Modified by Delegation.
Engineering Secure Future Internet Services and Systems
Marina Egea, Fabian Büttner
2013 — conf
Checking Model Transformation Refinement.
ICMT
Fabian Büttner, Marina Egea, Esther Guerra, Juan de Lara
2013 — conf
PERSONA - A Personalized Data Protection Framework.
IFIPTM
Marina Egea, Federica Paci, Marinella Petrocchi, Nicola Zannone
2012 B conf
Aniketos: Challenges and Results.
TrustBus
Miguel Ponce de Leon, Richard Sanders, Per Håkon Meland, Marina Egea, Zeta Dooly
2012 — conf
Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria.
MDsec@MoDELS
Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry
2012 A conf
On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers.
MoDELS
Fabian Büttner, Marina Egea, Jordi Cabot
2012 C conf
Verification of ATL Transformations Using Transformation Models and Model Finders.
ICFEM
Fabian Büttner, Marina Egea, Jordi Cabot, Martin Gogolla
2011 C conf
A decade of model-driven security.
SACMAT
David A. Basin, Manuel Clavel, Marina Egea
2011 — conf
Model-Driven Development of Security-Aware GUIs for Data-Centric Applications.
FOSAD
David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania, Gonzalo Ortiz, Javier Valdazo
2010 — conf
Automatic Generation of Smart, Security-Aware GUI Models.
ESSoS
David A. Basin, Manuel Clavel, Marina Egea, Michael Schläpfer
2010 J jnl
Formal executable semantics for conformance in the MDE framework.
Innov. Syst. Softw. Eng.
Marina Egea, Vlad Rusu
2010 J jnl
MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Marina Egea, Carolina Dania, Manuel Clavel
2010 — conf
SSG: a model-based development environment for smart, security-aware GUIs.
ICSE (2)
Miguel Angel García de Dios, Carolina Dania, Michael Schläpfer, David A. Basin, Manuel Clavel, Marina Egea
2009 J jnl
Automated analysis of security-design models.
Inf. Softw. Technol.
David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea
2009 J jnl
Checking Unsatisfiability for OCL Constraints.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Manuel Clavel, Marina Egea, Miguel Angel García de Dios
2008 J jnl
ECEASST Building an Efficient Component for OCL Evaluation.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Manuel Clavel, Marina Egea, Miguel Angel García de Dios
2008 — conf
Model-Driven Security in Practice: An Industrial Experience.
ECMDA-FA
Manuel Clavel, Viviane Torres da Silva, Christiano Braga, Marina Egea
2007 A conf
A Metamodel-Based Approach for Analyzing Security-Design Models.
MoDELS
David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea
2007 — conf
The MOVA Tool: A Rewriting-Based UML Modeling, Measuring, and Validation Tool.
JISBD
Manuel Clavel, Marina Egea, Viviane Torres da Silva
2006 — conf
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams.
AMAST
Manuel Clavel, Marina Egea