ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams
Get full text
Book Chapter
Conference Proceeding
Automated analysis of security-design models
Basin, David, Clavel, Manuel, Doser, Jürgen, Egea, Marina
Published in Information and software technology (01.05.2009)
Published in Information and software technology (01.05.2009)
Get full text
Journal Article
La personalización polÃtica como estrategia digital: análisis de los marcos visuales que definen el liderazgo polÃtico de Isabel DÃaz Ayuso en Instagram /Political personalization as a strategy: visual framing analysis of the political leadership of Isabel DÃaz Ayuso on Instagram
Barquero, Marina Egea, Medina, RocÃo Zamora
Published in Estudios sobre el mensaje periodístico (01.07.2023)
Published in Estudios sobre el mensaje periodístico (01.07.2023)
Get full text
Journal Article
On verifying ATL transformations using 'off-the-shelf' SMT solvers
Büttner, Fabian, Egea, Marina, Cabot, Jordi
Published in Model Driven Engineering Languages and Systems (30.09.2012)
Published in Model Driven Engineering Languages and Systems (30.09.2012)
Get full text
Conference Proceeding
Book Chapter
Automatic generation of smart, security-aware GUI models
Basin, David, Clavel, Manuel, Egea, Marina, Schläpfer, Michael
Published in Engineering Secure Software and Systems (03.02.2010)
Published in Engineering Secure Software and Systems (03.02.2010)
Get full text
Conference Proceeding
Book Chapter
Coco-Cloud project: Confidential and compliant clouds
Manas Garcia, Alejandro, Sanz Requena, R., Alberich-Bayarri, A., Garcia-Marti, G., Egea, Marina, Mediavilla Martinez, C.
Published in IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) (01.06.2014)
Published in IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) (01.06.2014)
Get full text
Conference Proceeding
SSG: a model-based development environment for smart, security-aware GUIs
García de Dios, Miguel A., Dania, Carolina, Schläpfer, Michael, Basin, David, Clavel, Manuel, Egea, Marina
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Published in 2010 ACM/IEEE 32nd International Conference on Software Engineering (01.05.2010)
Get full text
Conference Proceeding