Artur Boronat - RankMe

67 papers A* 1A 2B 11C 1Journal 14Unranked 35

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Bounded Structural Model Finding with Symbolic Data Constraints. CoRR Artur Boronat
2026	B	`conf`	Composing Clinical Activity Guidance for Multimorbidity via Bounded Relational Analysis. FASE Artur Boronat
2026	J	`jnl`	The MDENet education platform: zero-install directed activities for learning MDE. Softw. Syst. Model. Steffen Zschaler, Will Barnett, Artur Boronat, Antonio García-Domínguez, Dimitris S. Kolovos
2025	B	`ed.`	Fundamental Approaches to Software Engineering - 28th International Conference, FASE 2025, Held as Part of the International Joint Conferences on Theory and Practice of Software, ETAPS 2025, Hamilton, ON, Canada, May 3-8, 2025, Proceedings FASE Artur Boronat, Gordon Fraser
2025	A	`conf`	MDRE-LLM: A Tool for Analyzing and Applying LLMs in Software Reverse Engineering. SANER Artur Boronat, Jawad Mustafa
2024	—	`conf`	Exploring flexible models in agile MDE. STAF Workshops Artur Boronat
2024	—	`conf`	Move your MDE teaching online: The MDENet Education Platform. MoDELS (Companion) Steffen Zschaler, Will Barnett, Artur Boronat, Antonio García-Domínguez, Dimitris S. Kolovos
2024	—	`ed.`	Post Proceedings of the STAF 2023 Workshops TTC 2023, MeSS 2023 and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June 21, 2023. Agile MDE/MeSS/TTC@STAF Artur Boronat, Antonio García-Domínguez, Georg Hinkel, Kevin Lano, Martina De Sanctis, Nicolas Ferry, Sébastien Mosser, Manuel Wimmer, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi, Javier Troya
2023	—	`conf`	An Online Education Platform for Teaching MDE. MoDELS (Companion) Will Barnett, Steffen Zschaler, Artur Boronat, Antonio García-Domínguez, Dimitrios S. Kolovos
2023	—	`conf`	Asymmetric and Directed Bidirectional Transformation for Container Orchestrations with YAMTL and EMF-Syncer. Agile MDE/MeSS/TTC@STAF Artur Boronat
2023	—	`conf`	Automatic Inference of Smart Data Discovery Interfaces for Rare Disease Datasets. HEDA@STAF Artur Boronat, Adekunle Ademeyo, Mehdi Mehtarizadeh, Steffen Zschaler
2023	J	`jnl`	EMF-Syncer: scalable maintenance of view models over heterogeneous data-centric software systems at run time. Softw. Syst. Model. Artur Boronat
2023	J	`jnl`	Safe reuse in modelling language engineering using model subtyping with OCL constraints. Softw. Syst. Model. Artur Boronat
2022	J	`jnl`	A cross-technology benchmark for incremental graph queries. Softw. Syst. Model. Georg Hinkel, Antonio García-Domínguez, René Schöne, Artur Boronat, Massimo Tisi, Théo Le Calvar, Frédéric Jouault, József Marton, Tamás Nyíri, János Benjamin Antal, Márton Elekes, Gábor Szárnyas
2022	—	`ed.`	TTC 2020/2021 - Joint Proceedings of the 13th and 14th Tool Transformation Contests. The TTC pandemic proceedings with CEUR-WS co-located with Software Technologies: Applications and Foundations (STAF 2021), Virtual Event, Bergen, Norway, July 17, 2020 and June 25, 2021. TTC Artur Boronat, Antonio García-Domínguez, Georg Hinkel
2021	—	`conf`	Incremental execution of relational transformation specifications in YAMTL: a case with laboratory workflows. TTC/ Artur Boronat
2021	J	`jnl`	Incremental execution of rule-based model transformation. Int. J. Softw. Tools Technol. Transf. Artur Boronat
2020	—	`conf`	EMF-Syncer solution to TTC'20 round-trip migration case. TTC/ Artur Boronat
2019	A*	`conf`	Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling. ASE Artur Boronat
2019	B	`conf`	Offline Delta-Driven Model Transformation with Dependency Injection. FASE Artur Boronat
2019	—	`conf`	YAMTL Solution to the TTC 2019 BibtexToDocBook Case. TTC@STAF Artur Boronat
2019	—	`conf`	YAMTL Solution to the TTC 2019 TT2BDD Case. TTC@STAF Artur Boronat
2018	—	`conf`	A Formal Framework for Prototyping Executable Semantics in ATL. ICMT Artur Boronat
2018	A	`conf`	Expressive and Efficient Model Transformation with an Internal DSL of Xtend. MoDELS Artur Boronat
2018	—	`conf`	YAMTL Solution to the TTC 2018 Social Media Case. TTC@STAF Artur Boronat
2017	—	`conf`	Experimentation with a Big-Step Semantics for ATL Model Transformations. ICMT Artur Boronat
2017	B	`conf`	Structural model subtyping with OCL constraints. SLE Artur Boronat
2017	J	`jnl`	Well-Behaved Model Transformations with Model Subtyping. CoRR Artur Boronat
2014	—	`conf`	BPMN Formalization and Verification using Maude. BM-FA Nissreen A. S. El-Saber, Artur Boronat
2014	J	`jnl`	Domain-specific discrete event modelling and simulation using graph transformation. Softw. Syst. Model. Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini
2013	B	`conf`	Checking Bisimilarity for Attributed Graph Transformation. FoSSaCS Fernando Orejas, Artur Boronat, Ulrike Golas, Nikos Mylonakis
2013	J	`jnl`	On Propagation-Based Concurrent Model Synchronization. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Fernando Orejas, Artur Boronat, Hartmut Ehrig, Frank Hermann, Hanna Schölzel
2012	B	`conf`	Borrowed Contexts for Attributed Graphs. ICGT Fernando Orejas, Artur Boronat, Nikos Mylonakis
2011	—	`ch.`	Advances in Model Transformations by Graph Transformation: Specification, Execution and Analysis. Results of the SENSORIA Project Gábor Bergmann, Artur Boronat, Reiko Heckel, Paolo Torrini, István Ráth, Dániel Varró
2011	J	`jnl`	Automated Model Synchronization: A Case Study on UML with Maude. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Artur Boronat, José Meseguer
2010	J	`jnl`	An algebraic semantics for MOF. Formal Aspects Comput. Artur Boronat, José Meseguer
2010	—	`conf`	Exploiting the Hierarchical Structure of Rule-Based Specifications for Decision Planning. FMOODS/FORTE Artur Boronat, Roberto Bruni, Alberto Lluch-Lafuente, Ugo Montanari, Generoso Paolillo
2010	B	`conf`	Formal Real-Time Model Transformations in MOMENT2. FASE Artur Boronat, Peter Csaba Ölveczky
2010	—	`conf`	Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude. FMOODS/FORTE Peter Csaba Ölveczky, Artur Boronat, José Meseguer
2010	B	`conf`	Graph Transformation for Domain-Specific Discrete Event Time Simulation. ICGT Juan de Lara, Esther Guerra, Artur Boronat, Reiko Heckel, Paolo Torrini
2009	—	`conf`	Algebraic Semantics of OCL-Constrained Metamodel Specifications. TOOLS (47) Artur Boronat, José Meseguer
2009	—	`conf`	MOMENT2: EMF Model Transformations in Maude. JISBD Artur Boronat, José Meseguer
2009	J	`jnl`	Preface of the Post-proceedings of the 8th International Workshop on Graph Transformation and Visual Modeling Techniques. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Artur Boronat, Reiko Heckel
2009	B	`conf`	Rewriting Logic Semantics and Verification of Model Transformations. FASE Artur Boronat, Reiko Heckel, José Meseguer
2008	B	`conf`	An Algebraic Semantics for MOF. FASE Artur Boronat, José Meseguer
2008	—	`conf`	Software Measurement by Using QVT Transformations in an MDA Context. ICEIS (1) Beatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José A. Carsí, Isidro Ramos
2008	—	`conf`	What Is a Multi-modeling Language? WADT Artur Boronat, Alexander Knapp, José Meseguer, Martin Wirsing
2007	—	`conf`	Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools. AGTIVE Gabriele Taentzer, Enrico Biermann, Dénes Bisztray, Bernd Bohnet, Iovka Boneva, Artur Boronat, Leif Geiger, Rubino Geiß, Ákos Horváth, Ole Kniemeyer, Tom Mens, Benjamin Ness, Detlef Plump, Tamás Vajk
2007	—	`conf`	MOMENT CASE: Un prototipo de herramienta CASE. JISBD Abel Gómez, Artur Boronat, José A. Carsí, Isidro Ramos
2007	—	`conf`	Marco de Trabajo basado en MDA para la Medición Genérica del Software. JISBD Beatriz Mora, Félix García, Francisco Ruiz, Mario Piattini, Artur Boronat, Abel Gómez, José A. Carsí, Isidro Ramos
2007	—	`conf`	Recuperación y procesado de datos biológicos mediante Ingeniería Dirigida por Modelos. JISBD Abel Gómez, Artur Boronat, Claudia Täubner, José A. Carsí, Isidro Ramos, Silke Eckstein
2007	—	`conf`	Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. AGTIVE Dániel Varró, Márk Asztalos, Dénes Bisztray, Artur Boronat, Duc-Hanh Dang, Rubino Geiß, Joel Greenyer, Pieter Van Gorp, Ole Kniemeyer, Anantha Narayanan, Edgars Rencis, Erhard Weinell
2006	B	`conf`	Algebraic Specification of a Model Transformation Engine. FASE Artur Boronat, José A. Carsí, Isidro Ramos
2006	—	`conf`	An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework. ECMDA-FA Artur Boronat, Joaquín Oriente, Abel Gómez, Isidro Ramos, José A. Carsí
2006	—	`conf`	Definición de operaciones complejas con un lenguaje específico de dominio en Gestión de Modelos. JISBD Abel Gómez, Artur Boronat, Luis Hoyos, José A. Carsí, Isidro Ramos
2006	J	`jnl`	Exogenous Model Merging by means of Model Management Operators. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Artur Boronat, José A. Carsí, Isidro Ramos
2006	—	`conf`	Formal Model Merging Applied to Class Diagram Integration. EVOL Artur Boronat, José A. Carsí, Isidro Ramos, Patricio Letelier
2006	—	`conf`	Formal Model Merging Applied to Class Diagram Integration. EVOL (Selected Papers) Artur Boronat, José A. Carsí, Isidro Ramos, Patricio Letelier
2006	—	`conf`	Un Motor de Transformación de Modelos con Soporte para el Lenguaje QVT Relations. DSDM Pascual Queralt, Luis Hoyos, Artur Boronat, José A. Carsí
2005	—	`conf`	Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine. CSMR Artur Boronat, José A. Carsí, Isidro Ramos
2005	—	`conf`	Automatic Support for Traceability in a Generic Model Management Framework. ECMDA-FA Artur Boronat, José A. Carsí, Isidro Ramos
2005	—	`conf`	Del método formal a la aplicación industrial en Gestión de Modelos: Maude aplicado a Eclipse Modeling Framework. JISBD Artur Boronat, José Iborra, José A. Carsí, Isidro Ramos, Abel Gómez
2005	—	`conf`	Utilización de Maude desde Eclipse Modeling Framework para la Gestión de Modelos. DSDM Artur Boronat, José Iborra, José A. Carsí, Isidro Ramos, Abel Gómez
2004	—	`conf`	An Algebraic Baseline for Automatic Transformations in MDA. SETra@ICGT Artur Boronat, José A. Carsí, Isidro Ramos
2004	C	`conf`	Automatic Model Generation in Model Management. CIT Artur Boronat, Isidro Ramos, José A. Carsí
2004	J	`jnl`	Two Experiences in Software Dynamics. J. Univers. Comput. Sci. Artur Boronat, Jennifer Pérez, José A. Carsí, Isidro Ramos
2003	—	`conf`	Una plataforma semántica para la gestión de modelos. JISBD Artur Boronat, José A. Carsí, Isidro Ramos