Travelled to:1 × Austria
1 × Germany
1 × Hungary
1 × South Africa
2 × USA
Collaborated with:C.Dania M.Clavel F.Büttner D.A.Basin J.Cabot E.Guerra J.d.Lara V.T.d.Silva C.Braga J.Doser M.A.G.d.Dios M.Schläpfer
Talks about:model (4) secur (3) transform (2) base (2) sql (2) ocl (2) metamodel (1) procedur (1) industri (1) approach (1)
Person: Marina Egea
DBLP: Egea:Marina
Contributed to:
2013
2012
2010
200820072017Wrote 6 papers:
- ICMT-2013-ButtnerEGL #model transformation #refinement
- Checking Model Transformation Refinement (FB, ME, EG, JdL), pp. 158–173.
- MoDELS-2012-ButtnerEC #atl #off the shelf #on the #smt #using #verification
- On Verifying ATL Transformations Using “off-the-shelf” SMT Solvers (FB, ME, JC), pp. 432–448.
- ICSE-2010-DiosDSBCE #development #modelling #named #user interface
- SSG: a model-based development environment for smart, security-aware GUIs (MAGdD, CD, MS, DAB, MC, ME), pp. 311–312.
- ECMDA-FA-2008-ClavelSBE #experience #industrial #modelling #security
- Model-Driven Security in Practice: An Industrial Experience (MC, VTdS, CB, ME), pp. 326–337.
- MoDELS-2007-BasinCDE #approach #metamodelling #modelling
- A Metamodel-Based Approach for Analyzing Security-Design Models (DAB, MC, JD, ME), pp. 420–435.
- MoDELS-2017-EgeaD #automation #code generation #named #ocl #sql
- SQL-PL4OCL: An Automatic Code Generator from OCL to SQL Procedural Language (ME, CD), p. 54.