- CSB - MetaPress - Google - Bing - Yahoo
 | 2012 | |
|---|---|---|
| c12 |      | Fabian Büttner, Marina Egea, Jordi Cabot, Martin Gogolla: Verification of ATL Transformations Using Transformation Models and Model Finders. ICFEM 2012: 198-213 |
| c11 | | Nora Koch, Alexander Knapp, Geri Georg, Marina Egea, Benoit Baudry: Model-driven security: MDsec '12 Workshop at MoDELS 2012, Innsbruck, Austria. MDsec 2012: 1 |
| c10 | | Fabian Büttner, Marina Egea, Jordi Cabot: On Verifying ATL Transformations Using 'off-the-shelf' SMT Solvers. MoDELS 2012: 432-448 |
| c9 | | Miguel Ponce de Leon, Richard Sanders, Per Håkon Meland, Marina Egea, Zeta Dooly: Aniketos: Challenges and Results. TrustBus 2012: 234-235 |
| 2011 | ||
| c8 | | David A. Basin, Manuel Clavel, Marina Egea, Miguel Angel García de Dios, Carolina Dania, Gonzalo Ortiz, Javier Valdazo: Model-Driven Development of Security-Aware GUIs for Data-Centric Applications. FOSAD 2011: 101-124 |
| c7 | | |
| 2010 | ||
| j5 | | Marina Egea, Carolina Dania, Manuel Clavel: MySQL4OCL: A Stored Procedure-Based MySQL Code Generator for OCL. ECEASST 36 (2010) |
| j4 | | |
| c6 | | David A. Basin, Manuel Clavel, Marina Egea, Michael Schläpfer: Automatic Generation of Smart, Security-Aware GUI Models. ESSoS 2010: 201-217 |
| c5 | | Miguel Angel García de Dios, Carolina Dania, Michael Schläpfer, David A. Basin, Manuel Clavel, Marina Egea: SSG: a model-based development environment for smart, security-aware GUIs. ICSE (2) 2010: 311-312 |
| 2009 | ||
| j3 | | Manuel Clavel, Marina Egea, Miguel Angel García de Dios: Checking Unsatisfiability for OCL Constraints. ECEASST 24 (2009) |
| j2 | | David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea: Automated analysis of security-design models. Information & Software Technology 51(5): 815-831 (2009) |
| 2008 | ||
| j1 | | Manuel Clavel, Marina Egea, Miguel Angel García de Dios: ECEASST Building an Efficient Component for OCL Evaluation. ECEASST 15 (2008) |
| c4 | | Manuel Clavel, Viviane Torres da Silva, Christiano Braga, Marina Egea: Model-Driven Security in Practice: An Industrial Experience. ECMDA-FA 2008: 326-337 |
| 2007 | ||
| c3 |  | Manuel Clavel, Marina Egea, Viviane Torres da Silva: The MOVA Tool: A Rewriting-Based UML Modeling, Measuring, and Validation Tool. JISBD 2007: 393-394 |
| c2 | | David A. Basin, Manuel Clavel, Jürgen Doser, Marina Egea: A Metamodel-Based Approach for Analyzing Security-Design Models. MoDELS 2007: 420-435 |
| 2006 | ||
| c1 | | Manuel Clavel, Marina Egea: ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. AMAST 2006: 368-373 |
Colors in the list of coauthors
Last update Sat May 25 14:05:23 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page