| 2026 | SAC | Robust LLM-as-a-Judge Validators for Assessing the Quality of Educational Exams. | Renzo Degiovanni, Sergio Morales, Miriam Coccia, Robert Claris, Jordi Cabot |
| 2026 | SLE | How much does an LLM know about my programming language? | David Delgado, Lola Burgueo, Robert Claris |
| 2025 | CAIN | ImageBiTe: A Framework for Evaluating Representational Harms in Text-to-Image Models. | Sergio Morales, Robert Claris, Jordi Cabot |
| 2025 | ER | Interactive Repair of Inconsistencies in Conceptual Models. | Juan Antonio Gmez-Gutirrez, Robert Claris |
| 2024 | MODELS | A DSL for Testing LLMs for Fairness and Bias. | Sergio Morales, Robert Claris, Jordi Cabot |
| 2023 | MODELS | Model-Driven Prompt Engineering. | Robert Claris, Jordi Cabot |
| 2023 | MODELS | International Workshop on OCL and Textual Modeling (OCL 2023). | Robert Claris, Lars Hamann |
| 2023 | MODELS | Generative AI in Model-Driven Software Engineering Education: Friend or Foe? | Sergio Morales, Elena Planas, Robert Claris, Martin Gogolla |
| 2023 | MODELS | OCL Rebuilt, From the Ground Up. | Friedrich Steimann, Robert Claris, Martin Gogolla |
| 2022 | PROFES | Towards a DSL for AI Engineering Process Modeling. | Sergio Morales, Robert Claris, Jordi Cabot |
| 2021 | CaiSE | An NLP-Based Architecture for the Autocompletion of Partial Domain Models. | Loli Burgueo, Robert Claris, Sbastien Grard, Shuai Li, Jordi Cabot |
| 2021 | MODELS | Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools. | Martin Gogolla, Robert Claris, Bran Selic, Jordi Cabot |
| 2019 | ER | A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas. | Loli Burgueo, Jordi Cabot, Robert Claris, Martin Gogolla |
| 2019 | ICSE | Belief uncertainty in software models. | Loli Burgueo, Robert Claris, Jordi Cabot, Sbastien Grard, Antonio Vallecillo |
| 2019 | MODELS | A Feasibility Study on Using Classifying Terms in Alloy. | Robert Claris, Martin Gogolla |
| 2018 | QUATIC | Fixing Defects in Integrity Constraints via Constraint Mutation. | Robert Claris, Jordi Cabot |
| 2018 | SPLC | Extracting software product line feature models from natural language specifications. | Anjali Sree-Kumar, Elena Planas, Robert Claris |
| 2017 | MODELS | Translating Target to Source Constraints in Model-to-Model Transformations. | Jess Snchez Cuadrado, Esther Guerra, Juan de Lara, Robert Claris, Jordi Cabot |
| 2016 | AINA | Towards the Effective Software Development of an eLearning Platform Featuring Learning Analytics and Gamification. | David Gan Jimenez, Santi Caball, Robert Claris, Jordi Conesa |
| 2016 | CISIS | Towards a Learning Analytics Support for Intelligent Tutoring Systems on MOOC Platforms. | David Baeres, Santi Caball, Robert Claris |
| 2016 | CISIS | Analysis and Design of an eLearning Platform Featuring Learning Analytics and Gamification. | David Gan, Santi Caball, Robert Claris, Jordi Conesa |
| 2015 | SEFM | Towards Domain Refinement for UML/OCL Bounded Verification. | Robert Claris, Carlos A. Gonzlez, Jordi Cabot |
| 2013 | AINA | A Study on Practices against Malware in Free Software Projects. | Ignacio Colomina, Joan Arnedo-Moreno, Robert Claris |
| 2012 | ICSE | EMFtoCSP: a tool for the lightweight verification of EMF models. | Carlos A. Gonzlez, Fabian Bttner, Robert Claris, Jordi Cabot |
| 2009 | IFM | Verifying UML/OCL Operation Contracts. | Jordi Cabot, Robert Claris, Daniel Riera |
| 2008 | ICST | Verification of UML/OCL Class Diagrams using Constraint Programming. | Jordi Cabot, Robert Claris, Daniel Riera |
| 2008 | MODELS | An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. | Jordi Cabot, Robert Claris, Esther Guerra, Juan de Lara |
| 2004 | ASPDAC | Verification of timed circuits with symbolic delays. | Robert Claris, Jordi Cortadella |
| 2004 | SAS | The Octahedron Abstract Domain. | Robert Claris, Jordi Cortadella |