Travelled to:1 × Italy
1 × New Zealand
1 × The Netherlands
1 × USA
Collaborated with:J.Cabot M.Tisi H.Choura J.García F.Jouault J.Criado L.Iribarne J.García-Alfaro F.Cuppens N.Cuppens-Boulahia
Talks about:model (5) transform (4) execut (2) rule (2) parallel (1) support (1) network (1) extract (1) control (1) analysi (1)
Person: Salvador Martínez Perez
DBLP: Perez:Salvador_Mart=iacute=nez
Contributed to:
20132011
2015
2016Wrote 5 papers:
- MoDELS-2013-PerezGCCC #analysis #modelling #network #policy #security
- Model-Driven Extraction and Analysis of Network Security Policies (SMP, JGA, FC, NCB, JC), pp. 52–68.
- MoDELS-2013-TisiPC #atl #execution #parallel
- Parallel Execution of ATL Transformation Rules (MT, SMP, HC), pp. 656–672.
- MoDELS-2011-TisiPJC #execution #lazy evaluation #model transformation
- Lazy Execution of Model-to-Model Transformations (MT, SMP, FJ, JC), pp. 32–46.
- ICMT-2015-CriadoMIC #model transformation #reuse #using
- Enabling the Reuse of Stored Model Transformations Through Annotations (JC, SMP, LI, JC), pp. 43–58.
- SLE-2016-PerezGC #evaluation #rule-based #runtime
- Runtime support for rule-based access-control evaluation through model-transformation (SMP, JG, JC), pp. 57–69.