Publications

  1. Boronat, A. (2019). YAMTL Solution to the TTC 2019 TT2BDD Case. In Garcı́a-Domı́nguez Antonio, G. Hinkel, & F. Krikava (Eds.), Proceedings of the 12th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2019) federation of conferences (Vol. pending, p. –). CEUR-WS.org.
    @inproceedings{2019-boronat-ttc-tt2bdd,
      author = {Boronat, Artur},
      title = {{YAMTL} {S}olution to the {TTC} 2019 {TT2BDD} {C}ase},
      booktitle = {Proceedings of the 12th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2019) federation of conferences},
      pages = {--},
      year = {2019},
      editor = {Garc{\'{\i}}a{-}Dom{\'{\i}}nguez, Antonio and Hinkel, Georg and Krikava, Filip},
      volume = {pending},
      publisher = {CEUR-WS.org},
      webdownload = {2019-boronat-ttc-tt2bdd.pdf}
    }
    
  2. Boronat, A. (2019). YAMTL Solution to the TTC 2019 BibtexToDocbook Case. In Garcı́a-Domı́nguez Antonio, G. Hinkel, & F. Krikava (Eds.), Proceedings of the 12th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2019) federation of conferences (Vol. pending, p. –). CEUR-WS.org.
    @inproceedings{2019-boronat-ttc-bib2doc,
      author = {Boronat, Artur},
      title = {{YAMTL} {S}olution to the {TTC} 2019 {B}ibtex{T}o{D}ocbook {C}ase},
      booktitle = {Proceedings of the 12th Transformation Tool Contest, a part of the Software Technologies: Applications and Foundations (STAF 2019) federation of conferences},
      pages = {--},
      year = {2019},
      editor = {Garc{\'{\i}}a{-}Dom{\'{\i}}nguez, Antonio and Hinkel, Georg and Krikava, Filip},
      volume = {pending},
      publisher = {CEUR-WS.org},
      webdownload = {2019-boronat-ttc-bib2doc.pdf}
    }
    
  3. Boronat, A. (2019). Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling. In Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), San Diego, CA, November 11-15. ACM.
    @inproceedings{BoronatASE19,
      author = {Boronat, Artur},
      title = {Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling},
      booktitle = {Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), San Diego, CA, November 11-15},
      year = {2019},
      publisher = {{ACM}},
      webdownload = {2019-boronat-ase.pdf},
      slideshare = {https://www.slideshare.net/aboronat/codefirst-modeldriven-engineeringon-the-agile-adoption-of-mde}
    }
    
  4. Boronat, A. (2019). Offline Delta-Driven Model Transformation with Dependency Injection. In FASE 2019 (Vol. 11424, pp. 134–150). Springer.
    @inproceedings{BoronatFASE19,
      author = {Boronat, Artur},
      title = {Offline Delta-Driven Model Transformation with Dependency Injection},
      booktitle = {{FASE} 2019},
      pages = {134--150},
      year = {2019},
      series = {LNCS},
      volume = {11424},
      publisher = {Springer},
      webdoi = {https://doi.org/10.1007/978-3-030-16722-6},
      webdownload = {2019-boronat-fase.pdf},
      slideshare = {https://www.slideshare.net/aboronat/offline-deltadriven-model-transformation-with-dependency-injection}
    }
    
  5. Boronat, A. (2018). YAMTL Solution to the TTC 2018 Social Media Case. In Garcı́a-Domı́nguez Antonio, G. Hinkel, & F. Krikava (Eds.), Proceedings of the 11th Transformation Tool Contest, co-located with the 2018 Software Technologies: Applications and Foundations, TTC@STAF 2018, Toulouse, France, June 29, 2018. (Vol. 2310, pp. 65–78). CEUR-WS.org.
    @inproceedings{BoronatTTC18,
      author = {Boronat, Artur},
      title = {{{YAMTL}} Solution to the {TTC} 2018 Social Media Case},
      booktitle = {Proceedings of the 11th Transformation Tool Contest, co-located with
                     the 2018 Software Technologies: Applications and Foundations, TTC@STAF
                     2018, Toulouse, France, June 29, 2018.},
      pages = {65--78},
      year = {2018},
      editor = {Garc{\'{\i}}a{-}Dom{\'{\i}}nguez, Antonio and Hinkel, Georg and Krikava, Filip},
      volume = {2310},
      publisher = {CEUR-WS.org},
      webdownload = {2018-boronat-ttc.pdf}
    }
    
  6. Boronat, A. (2018). Expressive and Efficient Model Transformation with an Internal DSL of Xtend. In Proceedings of the 21th ACM/IEEE International Conference on MoDELS (pp. 78–88). ACM.
    @inproceedings{yamtl,
      author = {Boronat, Artur},
      title = {Expressive and Efficient Model Transformation with an Internal DSL of Xtend},
      booktitle = {Proceedings of the 21th {ACM/IEEE} International Conference on MoDELS},
      publisher = {ACM},
      year = {2018},
      pages = {78--88},
      webdoi = {https://doi.org/10.1145/3239372.3239386},
      webdownload = {2018-boronat-models.pdf},
      slideshare = {https://www.slideshare.net/aboronat/expressive-and-efficient-model-transformation-with-an-internal-dsl-of-xtend}
    }
    
  7. Boronat, A. (2018). A Formal Framework for Prototyping Executable Semantics in ATL. In A. Rensink & J. Sánchez Cuadrado (Eds.), ICMT (pp. 157–172). LNCS.
    @inproceedings{icmt18,
      author = {Boronat, Artur},
      editor = {Rensink, Arend and S{\'a}nchez Cuadrado, Jes{\'u}s},
      title = {{A} {F}ormal {F}ramework for {P}rototyping {E}xecutable {S}emantics in {ATL}},
      booktitle = {ICMT},
      year = {2018},
      publisher = {LNCS},
      pages = {157--172},
      webdoi = {https://doi.org/10.1007/978-3-319-93317-7_8},
      webdownload = {2018-boronat-icmt.pdf},
      slideshare = {https://www.slideshare.net/aboronat/a-formal-framework-for-prototyping-executable-semantics-in-atl}
    }
    
  8. Boronat, A. (2017). Structural model subtyping with OCL constraints. In Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2017, Vancouver, BC, Canada, October 23-24, 2017 (pp. 194–205). ACM.
    @inproceedings{BoronatSLE17,
      author = {Boronat, Artur},
      title = {Structural model subtyping with {OCL} constraints},
      booktitle = {Proceedings of the 10th {ACM} {SIGPLAN} International Conference on
                     Software Language Engineering, {SLE} 2017, Vancouver, BC, Canada,
                     October 23-24, 2017},
      pages = {194--205},
      year = {2017},
      publisher = {{ACM}},
      webdoi = {https://doi.org/10.1145/3136014.3136026},
      webdownload = {2017-boronat-sle.pdf},
      slideshare = {https://www.slideshare.net/aboronat/structural-model-subtyping-with-ocl-constraints}
    }
    
  9. Boronat, A. (2017). Experimentation with a Big-Step Semantics for ATL Model Transformations. In ICMT (Vol. 10374, pp. 3–18). Springer.
    @inproceedings{icmt17,
      author = {Boronat, Artur},
      title = {{E}xperimentation with a {B}ig-{S}tep {S}emantics for {ATL} {M}odel {T}ransformations},
      booktitle = {ICMT},
      volume = {10374},
      pages = {3--18},
      publisher = {Springer},
      series = {LNCS},
      year = {2017},
      webdoi = {http://dx.doi.org/10.1007/978-3-319-61473-1_1},
      webdownload = {2017-boronat-icmt.pdf},
      slideshare = {https://www.slideshare.net/aboronat/experimentation-with-a-bigstep-semantics-for-atl-model-transformations}
    }
    
  10. Boronat, A. (2017). Well-Behaved Model Transformations with Model Subtyping. CoRR, abs/1703.08113.
    @article{Boronat17FMA,
      author = {Boronat, Artur},
      title = {{W}ell-{B}ehaved {M}odel {T}ransformations with {M}odel {S}ubtyping},
      journal = {CoRR},
      volume = {abs/1703.08113},
      year = {2017}
    }
    
  11. Bergmann, G., Boronat, A., Heckel, R., Torrini, P., Ráth, I., & Varró, D. (2011). Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis. In Rigorous Software Engineering for Service-Oriented Systems - Results of the SENSORIA Project on Software Engineering for Service-Oriented Computing (pp. 561–584). https://doi.org/10.1007/978-3-642-20401-2_27
    @incollection{BergmannBHTRV11,
      author = {Bergmann, G{\'{a}}bor and Boronat, Artur and Heckel, Reiko and Torrini, Paolo and R{\'{a}}th, Istv{\'{a}}n and Varr{\'{o}}, D{\'{a}}niel},
      title = {Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis},
      booktitle = {Rigorous Software Engineering for Service-Oriented Systems - Results
                     of the {SENSORIA} Project on Software Engineering for Service-Oriented
                     Computing},
      pages = {561--584},
      year = {2011},
      crossref = {DBLP:books/sp/sensoria11},
      url = {http://dx.doi.org/10.1007/978-3-642-20401-2_27},
      doi = {10.1007/978-3-642-20401-2_27},
      timestamp = {Wed, 16 Nov 2011 12:55:18 +0100},
      biburl = {http://dblp.uni-trier.de/rec/bib/books/sp/sensoria2011/BergmannBHTRV11},
      bibsource = {dblp computer science bibliography, http://dblp.org}
    }
    
  12. de Lara, J., Guerra, E., Boronat, A., Heckel, R., & Torrini, P. (2010). Graph Transformation for Domain-Specific Discrete Event Time Simulation. In ICGT (pp. 266–281).
    @inproceedings{Lara-ICGT10,
      author = {de Lara, Juan and Guerra, Esther and Boronat, Artur and Heckel, Reiko and Torrini, Paolo},
      title = {Graph Transformation for Domain-Specific Discrete Event
                     Time Simulation},
      booktitle = {ICGT},
      pages = {266-281},
      series = {LNCS 6372},
      year = {2010}
    }
    
  13. Boronat, A., & Meseguer, J. (2010). An Algebraic Semantics for MOF. Formal Aspects of Computing, 22(3), 269–296.
    @article{BoronatM-FACS10,
      author = {Boronat, Artur and Meseguer, Jos\'{e}},
      title = {{An Algebraic Semantics for MOF}},
      journal = {Formal Aspects of Computing},
      publisher = {Springer},
      volume = {22},
      issue = {3},
      year = {2010},
      pages = {269-296}
    }
    
  14. Ölveczky, P. C., Boronat, A., & Meseguer, J. (2010). Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. In FMOODS/FORTE (pp. 47–62). LNCS 6117.
    @inproceedings{olveczky-aadl,
      author = {{\"O}lveczky, Peter Csaba and Boronat, Artur and Meseguer, Jos{\'e}},
      title = {{Formal Semantics and Analysis of Behavioral AADL Models
                     in Real-Time Maude}},
      booktitle = {FMOODS/FORTE},
      publisher = {LNCS 6117},
      year = {2010},
      pages = {47-62}
    }
    
  15. Boronat, A., & Ölveczky, P. C. (2010). Formal Real-Time Model Transformations in MOMENT2. In FASE (pp. 29–43). LNCS 6013.
    @inproceedings{boronat-olveczky-fase10,
      author = {Boronat, Artur and {\"O}lveczky, Peter Csaba},
      title = {{Formal Real-Time Model Transformations in MOMENT2}},
      booktitle = {FASE},
      publisher = {LNCS 6013},
      year = {2010},
      pages = {29-43}
    }
    
  16. Boronat, A., & Meseguer, J. (2009). Algebraic Semantics of OCL-constrained Metamodel Specifications. In TOOLS (47) (pp. 96–115). LNBIP 33.
    @inproceedings{BoronatM-TOOLS09,
      author = {Boronat, Artur and Meseguer, Jos{\'e}},
      title = {{Algebraic Semantics of OCL-constrained Metamodel Specifications}},
      booktitle = {TOOLS (47)},
      publisher = {LNBIP 33},
      year = {2009},
      pages = {96--115}
    }
    
  17. Boronat, A., Heckel, R., & Meseguer, J. (2009). Rewriting Logic Semantics and Verification of Model Transformations. In FASE (pp. 18–33). LNCS 5503.
    @inproceedings{boronat-heckel-meseguer-fase09,
      author = {Boronat, Artur and Heckel, Reiko and Meseguer, Jos{\'e}},
      title = {{Rewriting Logic Semantics and Verification of Model Transformations}},
      booktitle = {FASE},
      year = {2009},
      publisher = {LNCS 5503},
      pages = {18--33}
    }
    
  18. Boronat, A., & Meseguer, J. (2009). MOMENT2: EMF Model Transformations in Maude. In JISBD (pp. 178–179).
    @inproceedings{moment2_demo,
      author = {Boronat, Artur and Meseguer, Jos{\'e}},
      title = {{MOMENT2}: {EMF} Model Transformations in {M}aude},
      booktitle = {JISBD},
      year = {2009},
      pages = {178-179}
    }
    
  19. Boronat, A., Knapp, A., Meseguer, J., & Wirsing, M. (2008). What Is a Multi-modeling Language? In WADT (pp. 71–87). LNCS 5486.
    @inproceedings{multi-modelling,
      author = {Boronat, Artur and Knapp, Alexander and Meseguer, Jos{\'e} and Wirsing, Martin},
      title = {{What Is a Multi-modeling Language?}},
      booktitle = {WADT},
      publisher = {LNCS 5486},
      year = {2008},
      pages = {71-87}
    }
    
  20. Mora, B., Garcı́a Félix, Ruiz, F., Piattini, M., Boronat, A., Gómez, A., … Ramos, I. (2008). Software Measurement by Using QVT Transformations in an MDA Context. In ICEIS (1) (pp. 117–124).
    @inproceedings{iceis08,
      author = {Mora, Beatriz and Garc\'{\i}a, F{\'e}lix and Ruiz, Francisco and Piattini, Mario and Boronat, Artur and G{\'o}mez, Abel and Cars\'{\i}, Jos{\'e} A. and Ramos, Isidro},
      title = {{Software Measurement by Using QVT Transformations in an
                     MDA Context}},
      booktitle = {ICEIS (1)},
      year = {2008},
      pages = {117-124}
    }
    
  21. Boronat, A., & Meseguer, J. (2008). An Algebraic Semantics for MOF. In FASE (pp. 377–391). LNCS 4961.
    @inproceedings{BoronatM-FASE08,
      author = {Boronat, Artur and Meseguer, JosŽ\'{e}},
      title = {{An Algebraic Semantics for MOF}},
      booktitle = {FASE},
      publisher = {LNCS 4961},
      year = {2008},
      pages = {377-391}
    }
    
  22. Boronat, A. (2007). MOMENT: a formal framework for MOdel manageMENT (PhD thesis). Universitat Politècnica de València (UPV), Spain.
    @phdthesis{Boronat:PhD:2007,
      author = {Boronat, Artur},
      title = {{MOMENT: a formal framework for MOdel manageMENT}},
      school = {{U}niversitat {P}olit\`{e}cnica de {V}al\`{e}ncia ({UPV}), {S}pain},
      year = {2007},
      type = {{PhD thesis}}
    }
    
  23. Boronat, A., Carsı́ José A., Ramos, I., & Letelier, P. (2007). Formal Model Merging Applied to Class Diagram Integration. ENTCS, 166, 5–26.
    @article{BoronatCRL05-EVOL06,
      author = {Boronat, Artur and Cars\'{\i}, Jos{\'e} A. and Ramos, Isidro and Letelier, Patricio},
      title = {{Formal Model Merging Applied to Class Diagram Integration}},
      journal = {ENTCS},
      volume = {166},
      year = {2007},
      pages = {5-26}
    }
    
  24. Boronat, A., Oriente Joaquı́n, Gómez, A., Ramos, I., & Carsı́ José A. (2006). An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework. In ECMDA-FA (pp. 316–330).
    @inproceedings{BoronatOGRC:ECMDA:2006,
      author = {Boronat, Artur and Oriente, Joaqu\'{\i}n and G{\'o}mez, Abel and Ramos, Isidro and Cars\'{\i}, Jos{\'e} A.},
      title = {{An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework.}},
      booktitle = {ECMDA-FA},
      year = {2006},
      pages = {316-330}
    }
    
  25. Boronat, A., Carsı́ José A., & Ramos, I. (2006). Algebraic Specification of a Model Transformation Engine. In FASE (pp. 262–277).
    @inproceedings{BoronatCR-FASE06,
      author = {Boronat, Artur and Cars\'{\i}, Jos{\'e} A. and Ramos, Isidro},
      title = {{Algebraic Specification of a Model Transformation Engine}},
      booktitle = {FASE},
      series = {LNCS 2922},
      year = {2006},
      pages = {262-277}
    }
    
  26. Boronat, A., Carsí, J. Á., & Ramos, I. (2006). Exogenous Model Merging by means of Model Management Operators. ECEASST, 3.
    @article{BoronatCR:EASST:2006,
      author = {Boronat, Artur and Cars\'i, Jos\'e \'A. and Ramos, Isidro},
      title = {{Exogenous Model Merging by means of Model Management Operators}},
      journal = {ECEASST},
      year = {2006},
      volume = {3}
    }
    
  27. Boronat, A., Carsı́ José A., & Ramos, I. (2005). Automatic Support for Traceability in a Generic Model Management Framework. In ECMDA-FA (pp. 316–330).
    @inproceedings{BoronatCR-ECMDAFA05,
      author = {Boronat, Artur and Cars\'{\i}, Jos{\'e} A. and Ramos, Isidro},
      title = {{Automatic Support for Traceability in a Generic Model Management Framework.}},
      booktitle = {ECMDA-FA},
      year = {2005},
      series = {LNCS 3748},
      pages = {316-330}
    }
    
  28. Boronat, A., Carsı́ José A., & Ramos, I. (2005). An Algebraic Baseline for Automatic Transformations in MDA. ENTCS, 127(3), 31–47.
    @article{BoronatCR05,
      author = {Boronat, Artur and Cars\'{\i}, Jos{\'e} A. and Ramos, Isidro},
      title = {{An Algebraic Baseline for Automatic Transformations in MDA}},
      journal = {ENTCS},
      volume = {127},
      number = {3},
      year = {2005},
      pages = {31-47}
    }
    
  29. Boronat, A., Carsı́ José A., & Ramos, I. (2005). Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine. In CSMR (pp. 228–231). IEEE Computer Society.
    @inproceedings{BoronatCR:CSMR:2005,
      author = {Boronat, Artur and Cars\'{\i}, Jos{\'e} A. and Ramos, Isidro},
      title = {{Automatic Reengineering in MDA Using Rewriting Logic as
                     Transformation Engine}},
      booktitle = {CSMR},
      publisher = {IEEE Computer Society},
      year = {2005},
      pages = {228-231}
    }