Skip to content

Marina Egea

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

9

Venues

5

Active years

2007–2017

Best venue rank

A*

Where they publish

Papers

9 indexed papers, newest first.

YearVenueTitleAuthors
2017MODELSSQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language.Marina Egea, Carolina Dania
2014MODELSValidation of a Security Metamodel for the Development of Cloud Applications.Marcos Arjona, Carolina Dania, Marina Egea, Antonio Maa
2012ICFEMVerification of ATL Transformations Using Transformation Models and Model Finders.Fabian Bttner, Marina Egea, Jordi Cabot, Martin Gogolla
2012MODELSOn Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers.Fabian Bttner, Marina Egea, Jordi Cabot
2012MODELSModel-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria.Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry
2012TrustBusAniketos: Challenges and Results.Miguel Ponce de Leon, Richard Sanders, Per Hkon Meland, Marina Egea, Zeta Dooly
2011SACMATA decade of model-driven security.David A. Basin, Manuel Clavel, Marina Egea
2010ICSESSG: a model-based development environment for smart, security-aware GUIs.Miguel Angel Garca de Dios, Carolina Dania, Michael Schlpfer, David A. Basin, Manuel Clavel, Marina Egea
2007MODELSA Metamodel-Based Approach for Analyzing Security-Design Models.David A. Basin, Manuel Clavel, Jrgen Doser, Marina Egea