Get started
Author

Marina Egea

Observed names: Egea, Marina, M. Egea, Marina Egea González, Marina Soledad Egea González, Marina, Egea
OpenAlex ID: A5065620898
Automated analysis of security-design models
2008 · David Basin, Manuel Clavel, et al. · Information and Software Technology · 129
A decade of model-driven security
2011 · David Basin, Manuel Clavel, et al. · ACM Symposium on Access Control Models and Technologies (SACMAT) · 98
Verification of ATL Transformations Using Transformation Models and Model Finders
2012 · Fabian Büttner, Marina Egea, et al. · Lecture notes in computer science · 75
Checking Unsatisfiability for OCL Constraints
2024 · Clavel, Manuel, Egea, Marina, et al. · Technische Universität Berlin – Universitätsbibliothek · 59
On Verifying ATL Transformations Using ‘off-the-shelf’ SMT Solvers
2012 · Fabian Büttner, Marina Egea, et al. · Lecture notes in computer science · 52
ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams
2006 · Manuel Clavel, Marina Egea · Lecture notes in computer science · 49
Model-Driven Security in Practice: An Industrial Experience
2008 · Manuel Clavel, Viviane da Silva, et al. · Lecture notes in computer science · 37
Formal executable semantics for conformance in the MDE framework
2009 · Marina Egea, Vlad Rusu · Innovations in Systems and Software Engineering · 27
A Model-Driven Methodology for Developing Secure Data-Management Applications
2014 · David Basin, Manuel Clavel, et al. · IEEE Transactions on Software Engineering · 26
Automatic Generation of Smart, Security-Aware GUI Models
2010 · David Basin, Manuel Clavel, et al. · Lecture notes in computer science · 19
A metamodel-based approach for analyzing security-design models
2007 · David Basin, Manuel Clavel, et al. · 18
MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL
2024 · Egea, Marina, Dania, Carolina, et al. · 17
SQL-PL4OCL: an automatic code generator from OCL to SQL procedural language
2017 · Marina Egea, Carolina Dania · Software & Systems Modeling · 16
Building an Efficient Component for OCL Evaluation
2008 · Clavel, Manuel, Marina, Egea, et al. · 16
The MOVA Tool: a Rewriting-Based UML Modeling, Measuring, and Validation Tool
2007 · Manuel Clavel, Marina Soledad Egea González, et al. · Dialnet (Universidad de la Rioja) · 15
A Metamodel-Based Approach for Analyzing Security-Design Models
2007 · David Basin, Manuel Clavel, et al. · Lecture notes in computer science · 14
A Certification Framework for Cloud Security Properties: The Monitoring Path
2015 · Marina Egea, Khaled Mahbub, et al. · Lecture notes in computer science · 12
PDF
Checking Model Transformation Refinement
2013 · Fabian Büttner, Marina Egea, et al. · Lecture notes in computer science · 12
Model-Driven Development of Security-Aware GUIs for Data-Centric Applications
2011 · David Basin, Manuel Clavel, et al. · Lecture notes in computer science · 9
ECEASST Building an Efficient Component for OCL Evaluation.
2008 · Manuel Clavel, Marina Egea, et al. · 9
SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language
2017 · Marina Egea, Carolina Dania · ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS) · 8
Coco-Cloud project: Confidential and compliant clouds
2014 · A. Manas Garcia, R. Sanz Requena, et al. · IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI ...) · 8
Definition of Data Sharing Agreements
2015 · Marina Egea, Ilaria Matteucci, et al. · Lecture notes in computer science · 5
SSG
2010 · Miguel A. García de Dios, Carolina Dania, et al. · ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) · 5
PERSONA - A Personalized Data Protection Framework
2013 · Marina Egea, Federica Paci, et al. · IFIP advances in information and communication technology · 3
Works count: 47
Citation count: 744
H-index: 15
I10-index: 18
Year
Topic
Type