Selected publications. DBLP · Google Scholar · ORCID
2026
Boronat, A. (2026). Composing Clinical Activity Guidance for Multimorbidity via Bounded Relational Analysis. Proceedings of the 29th International Conference on Fundamental Approaches to Software Engineering (FASE 2026), LNCS 16504. Springer. [DOI]
Boronat, A. (2026). Bounded Structural Model Finding with Symbolic Data Constraints. Proceedings of the 15th International Workshop on Rewriting Logic and its Applications (WRLA 2026), LNCS. Springer. To appear.
Zschaler, S., Barnett, W., Boronat, A., García-Domínguez, A., Kolovos, D.S. (2026). The MDENet education platform: zero-install directed activities for learning MDE. Software and Systems Modeling, 25(1), pp. 287–313. [DOI]
2025
Boronat, A., Mustafa, J. (2025). MDRE-LLM: A Tool for Analyzing and Applying LLMs in Software Reverse Engineering. Proceedings of the 32nd IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2025), pp. 850–854. [DOI]
Boronat, A. (Editor), Fraser, G. (Editor) (2025). Fundamental Approaches to Software Engineering — 28th International Conference, FASE 2025. LNCS 15693. Springer. [DOI]
2024
Zschaler, S., Barnett, W., Boronat, A., García-Domínguez, A., Kolovos, D.S. (2024). Move your MDE teaching online: The MDENet Education Platform. Proceedings of MoDELS 2024 (Companion), pp. 6–10. [DOI]
Boronat, A. (2024). Exploring flexible models in agile MDE. Post Proceedings of the STAF 2023 Workshops, CEUR-WS, Vol. 3727. [PDF]
Boronat, A. (Editor), García-Domínguez, A., Hinkel, G., Lano, K., De Sanctis, M., Ferry, N., Mosser, S., Wimmer, M., Alfraihi, H., Kolahdouz Rahimi, S., Troya, J. (2024). Post Proceedings of the STAF 2023 Workshops (TTC 2023, MeSS 2023 and AgileMDE 2023). CEUR Workshop Proceedings, Vol. 3620. [URL]
2023
Boronat, A. (2023). EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time. Software and Systems Modeling, 22(6), pp. 1949–1968. [DOI]
Boronat, A., Adeyemo, A., Mehtarizadeh, M., Zschaler, S. (2023). Automatic Inference of Smart Data Discovery Interfaces for Rare Disease Datasets. HEDA@STAF 2023, CEUR-WS. [PDF]
Barnett, W., Zschaler, S., Boronat, A., García-Domínguez, A., Kolovos, D.S. (2023). An Online Education Platform for Teaching MDE. Proceedings of MoDELS 2023 (Companion), pp. 114–121. [DOI]
Boronat, A. (2023). Asymmetric and Directed Bidirectional Transformation for Container Orchestrations with YAMTL and EMF-Syncer. Agile MDE/MeSS/TTC@STAF 2023, CEUR-WS, Vol. 3620. [PDF]
2022
Hinkel, G., García-Domínguez, A., Schöne, R., Boronat, A., Tisi, M., Le Calvar, T., Jouault, F., Marton, J., Nyíri, T., Antal, J.B., Elekes, M., Szárnyas, G. (2022). A Cross-Technology Benchmark for Incremental Graph Queries. Software and Systems Modeling, 21(2), pp. 755–804. [DOI] [PDF]
Boronat, A. (2022). Safe reuse in modelling language engineering using model subtyping with OCL constraints. Software and Systems Modeling, 22(3), pp. 797–818. [DOI]
Boronat, A. (Editor), García-Domínguez, A., Hinkel, G. (2022). Joint Proceedings of the 13th and 14th Tool Transformation Contests. CEUR Workshop Proceedings, Vol. 3089. [URL]
2021
Boronat, A. (2021). Incremental execution of rule-based model transformation. International Journal on Software Tools for Technology Transfer, 23(3). [DOI] [PDF]
Boronat, A. (2021). Incremental execution of relational transformation specifications in YAMTL: a case with laboratory workflows. Joint Proceedings of the 13th and 14th Tool Transformation Contests, CEUR-WS, Vol. 3089. [URL] [PDF]
2020
- Boronat, A. (2020). EMF-Syncer solution to TTC 2020 round-trip migration case. Joint Proceedings of the 13th and 14th Tool Transformation Contests, CEUR-WS, Vol. 3089. [URL] [PDF]
2019
Boronat, A. (2019). Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling. Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering (ASE 2019), San Diego, CA. [DOI] [PDF] [Slides]
Boronat, A. (2019). Offline Delta-Driven Model Transformation with Dependency Injection. FASE 2019, LNCS 11424, pp. 134–150. [DOI] [PDF] [Slides]
Boronat, A. (2019). YAMTL Solution to the TTC 2019 BibTexToDocbook Case. Proceedings of the 12th Transformation Tool Contest (STAF 2019), CEUR-WS. [PDF]
Boronat, A. (2019). YAMTL Solution to the TTC 2019 TT2BDD Case. Proceedings of the 12th Transformation Tool Contest (STAF 2019), CEUR-WS. [PDF]
2018
Boronat, A. (2018). Expressive and Efficient Model Transformation with an Internal DSL of Xtend. Proceedings of the 21st ACM/IEEE International Conference on MoDELS, pp. 78–88. ACM. [DOI] [PDF] [Slides]
Boronat, A. (2018). A Formal Framework for Prototyping Executable Semantics in ATL. ICMT 2018, LNCS, pp. 157–172. [DOI] [PDF] [Slides]
Boronat, A. (2018). YAMTL Solution to the TTC 2018 Social Media Case. Proceedings of the 11th Transformation Tool Contest (TTC@STAF 2018), CEUR-WS, Vol. 2310, pp. 65–78. [PDF]
2017
Boronat, A. (2017). Structural model subtyping with OCL constraints. Proceedings of the 10th ACM SIGPLAN International Conference on Software Language Engineering (SLE 2017), Vancouver, BC, pp. 194–205. ACM. [DOI] [PDF] [Slides]
Boronat, A. (2017). Experimentation with a Big-Step Semantics for ATL Model Transformations. ICMT 2017, LNCS 10374, pp. 3–18. [DOI] [PDF] [Slides]
Boronat, A. (2017). Well-Behaved Model Transformations with Model Subtyping. Technical Report, CoRR abs/1703.08113. [URL]
2014
de Lara, J., Guerra, E., Boronat, A., Heckel, R., Torrini, P. (2014). Domain-specific discrete event modelling and simulation using graph transformation. Software and Systems Modeling, 13(1). [DOI]
El-Saber, N.A.S., Boronat, A. (2014). BPMN Formalization and Verification using Maude. BM-FA 2014. [DOI]
2013
Orejas, F., Boronat, A., Ehrig, H., Hermann, F., Schölzel, H. (2013). On Propagation-Based Concurrent Model Synchronization. Electronic Communications of the EASST, Vol. 57. [DOI]
Orejas, F., Boronat, A., Golas, U., Mylonakis, N. (2013). Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS 2013, LNCS 7794. [DOI]
2012
- Orejas, F., Boronat, A., Mylonakis, N. (2012). Borrowed Contexts for Attributed Graphs. ICGT 2012, LNCS 7562. [DOI]
2011
Boronat, A., Meseguer, J. (2011). Automated Model Synchronization: A Case Study on UML with Maude. Electronic Communications of the EASST, Vol. 41. [DOI]
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 (SENSORIA), LNCS 6582, pp. 561–584. Springer. [DOI]
2010
Boronat, A., Meseguer, J. (2010). An Algebraic Semantics for MOF. Formal Aspects of Computing, 22(3), pp. 269–296. Springer. [DOI]
Boronat, A., Ölveczky, P.C. (2010). Formal Real-Time Model Transformations in MOMENT2. FASE 2010, LNCS 6013, pp. 29–43. [DOI]
Boronat, A., Bruni, R., Lluch-Lafuente, A., Montanari, U., Paolillo, G. (2010). Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. FMOODS/FORTE 2010, LNCS 6117. [DOI]
Ölveczky, P.C., Boronat, A., Meseguer, J. (2010). Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE 2010, LNCS 6117, pp. 47–62. [DOI]
de Lara, J., Guerra, E., Boronat, A., Heckel, R., Torrini, P. (2010). Graph Transformation for Domain-Specific Discrete Event Time Simulation. ICGT 2010, LNCS 6372, pp. 266–281. [DOI]
2009
Boronat, A., Heckel, R., Meseguer, J. (2009). Rewriting Logic Semantics and Verification of Model Transformations. FASE 2009, LNCS 5503, pp. 18–33. [DOI]
Boronat, A., Meseguer, J. (2009). Algebraic Semantics of OCL-constrained Metamodel Specifications. TOOLS (47), LNBIP 33, pp. 96–115. [DOI]
Boronat, A., Meseguer, J. (2009). MOMENT2: EMF Model Transformations in Maude. JISBD 2009, pp. 178–179.
Boronat, A., Heckel, R. (2009). Preface of the Post-proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques. Electronic Communications of the EASST, Vol. 18. [DOI]
2008
Boronat, A., Meseguer, J. (2008). An Algebraic Semantics for MOF. FASE 2008, LNCS 4961, pp. 377–391. [DOI]
Boronat, A., Knapp, A., Meseguer, J., Wirsing, M. (2008). What Is a Multi-modeling Language? WADT 2008, LNCS 5486, pp. 71–87. [DOI]
Mora, B., García, F., Ruiz, F., Piattini, M., Boronat, A., Gómez, A., Carsí, J.A., Ramos, I. (2008). Software Measurement by Using QVT Transformations in an MDA Context. ICEIS 2008, pp. 117–124.
2007
Boronat, A. (2007). MOMENT: a formal framework for MOdel manageMENT. PhD thesis, Universitat Politècnica de València (UPV), Spain.
Boronat, A., Carsí, J.A., Ramos, I., Letelier, P. (2007). Formal Model Merging Applied to Class Diagram Integration. ENTCS, 166, pp. 5–26. [DOI]
Taentzer, G., Biermann, E., Bisztray, D., Bohnet, B., Boneva, I., Boronat, A., Geiger, L., Geiß, R., Horváth, Á., Kniemeyer, O., Mens, T., Ness, B., Plump, D., Vajk, T. (2007). Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools. AGTIVE 2007, LNCS 5088. [DOI]
Varró, D., Asztalos, M., Bisztray, D., Boronat, A., Dang, D.-H., Geiß, R., Greenyer, J., Van Gorp, P., Kniemeyer, O., Narayanan, A., Rencis, E., Weinell, E. (2007). Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. AGTIVE 2007, LNCS 5088. [DOI]
2006
Boronat, A., Oriente, J., Gómez, A., Ramos, I., Carsí, J.A. (2006). An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework. ECMDA-FA 2006, pp. 316–330. [DOI]
Boronat, A., Carsí, J.A., Ramos, I. (2006). Algebraic Specification of a Model Transformation Engine. FASE 2006, LNCS 2922, pp. 262–277. [DOI]
Boronat, A., Carsí, J.A., Ramos, I. (2006). Exogenous Model Merging by means of Model Management Operators. ECEASST, 3. [DOI]
2005
Boronat, A., Carsí, J.A., Ramos, I. (2005). Automatic Support for Traceability in a Generic Model Management Framework. ECMDA-FA 2005, LNCS 3748, pp. 316–330. [DOI]
Boronat, A., Carsí, J.A., Ramos, I. (2005). An Algebraic Baseline for Automatic Transformations in MDA. ENTCS, 127(3), pp. 31–47. [DOI]
Boronat, A., Carsí, J.A., Ramos, I. (2005). Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine. CSMR 2005, pp. 228–231. IEEE. [DOI]