Concepedia

Marina Egea

ME

8

Publications

370

Citations

8

H-Index

2008

Active since

Affiliations

ETH Zurich(Current)

IMDEA Software Institute

Madrid Institute for Advanced Studies

Universidad Complutense de Madrid

Marina Egea is an author at ETH Zurich specializing in engineering, computer science, and software analysis.

Top concepts

EngineeringComputer ScienceSoftware AnalysisSoftware DesignProgram AnalysisSoftware EngineeringSystem SoftwareFormal VerificationFormal MethodsAutomated Reasoning

Publications per year

2008–2024

8

Publications

8

Automated analysis of security-design models

David Basin, Manuel Clavel, Jürgen Doser et al. · Information and Software Technology · 2008 · 125 citations

Security Modelling, Engineering, Information Security +8

A decade of model-driven security

David Basin, Manuel Clavel, Marina Egea · 2011 · 90 citations

Engineering, Information Security, Software Engineering +18

Checking Unsatisfiability for OCL Constraints

Manuel Clavel, Marina Egea, Miguel Angel García de Dios · Technische Universität Berlin – Universitätsbibliothek · 2024 · 59 citations · Full text

Computational Logic, Constraint Solving, Engineering +14

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

David Basin, Manuel Clavel, Marina Egea et al. · IEEE Transactions on Software Engineering · 2014 · 25 citations

Engineering, Information Security, Software Engineering +21

Formal executable semantics for conformance in the MDE framework

Marina Egea, Vlad Rusu · Innovations in Systems and Software Engineering · 2009 · 23 citations · Full text

Formal Specification, Engineering, Formal Executable Semantics +11

Rows per page

1–5 of 8