| 2026 | FASE | Composing Clinical Activity Guidance for Multimorbidity via Bounded Relational Analysis. | Artur Boronat |
| 2025 | SANER | MDRE-LLM: A Tool for Analyzing and Applying LLMs in Software Reverse Engineering. | Artur Boronat, Jawad Mustafa |
| 2024 | MODELS | Move your MDE teaching online: The MDENet Education Platform. | Steffen Zschaler, Will Barnett, Artur Boronat, Antonio Garca-Domnguez, Dimitris S. Kolovos |
| 2023 | MODELS | An Online Education Platform for Teaching MDE. | Will Barnett, Steffen Zschaler, Artur Boronat, Antonio Garca-Domnguez, Dimitrios S. Kolovos |
| 2019 | FASE | Offline Delta-Driven Model Transformation with Dependency Injection. | Artur Boronat |
| 2018 | MODELS | Expressive and Efficient Model Transformation with an Internal DSL of Xtend. | Artur Boronat |
| 2017 | SLE | Structural model subtyping with OCL constraints. | Artur Boronat |
| 2013 | FOSSACS | Checking Bisimilarity for Attributed Graph Transformation. | Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis |
| 2010 | FASE | Formal Real-Time Model Transformations in MOMENT2. | Artur Boronat, Peter Csaba lveczky |
| 2010 | FORTE | Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. | Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo |
| 2010 | FORTE | Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. | Peter Csaba lveczky, Artur Boronat, Jos Meseguer |
| 2009 | FASE | Rewriting Logic Semantics and Verification of Model Transformations. | Artur Boronat, Reiko Heckel, Jos Meseguer |
| 2008 | FASE | An Algebraic Semantics for MOF. | Artur Boronat, Jos Meseguer |
| 2006 | FASE | Algebraic Specification of a Model Transformation Engine. | Artur Boronat, Jos A. Cars, Isidro Ramos |
| 2004 | CIT | Automatic Model Generation in Model Management. | Artur Boronat, Isidro Ramos, Jos A. Cars |