Robert Clarisó

82 papers A* 3A 8B 6C 3Misc 3Journal 29Unranked 28

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	A framework for assessing the capabilities of code generation of constraint domain-specific languages with large language models. CoRR David Delgado, Lola Burgueño, Robert Clarisó
2026	J	`jnl`	The Software Diversity Card: A framework for reporting diversity in software projects. Inf. Softw. Technol. Joan Giner-Miguelez, Sergio Morales, Sergio Cobos, Javier Luis Cánovas Izquierdo, Robert Clarisó, Jordi Cabot
2025	—	`conf`	Hyperparameter Optimization in Neuro-symbolic Unsupervised Graph Learning. ARES (Workshops 4) Fernando Ares-Robledo, Helena Rifà-Pous, Robert Clarisó
2025	B	`conf`	ImageBiTe: A Framework for Evaluating Representational Harms in Text-to-Image Models. CAIN Sergio Morales, Robert Clarisó, Jordi Cabot
2025	J	`jnl`	Impromptu: a framework for model-driven prompt engineering. Softw. Syst. Model. Sergio Morales, Robert Clarisó, Jordi Cabot
2025	A	`conf`	Interactive Repair of Inconsistencies in Conceptual Models. ER Juan Antonio Gómez-Gutiérrez, Robert Clarisó
2025	—	`ed.`	Joint Proceedings of the STAF 2025 Workshops: OCL, OOPSLE, LLM4SE, ICMM, AgileMDE, AI4DPS, and TTC co-located with the International Conference on Software Technologies: Applications and Foundations (STAF 2025), Koblenz, Germany, June 10-13, 2025. STAF Workshops Amir Shayan Ahmadian, Ralf Lämmel, Sobhan Yassipour Tehrani, Iván Alfonso, Shekoufeh Kolahdouz Rahimi, Arne Lange, Thomas Weber, Colin Atkinson, Uwe Aßmann, Antonio Cicchetti, José Antonio Hernández López, Riccardo Rubei, Robert Clarisó, Lars Hamann, Mikhail Barash, Vadim Zaytsev, Andreas Schmitz, Friedrich Steimann, Maria Wimmer, Sandra Greiner, Georg Hinkel, Théo Le Calvar
2025	J	`jnl`	LangBiTe: An open-source platform to automate bias testing of large language models. SoftwareX Sergio Morales, Robert Clarisó, Jordi Cabot
2025	J	`jnl`	Meet OCL${^\sharp }$, a relational object constraint language. Softw. Syst. Model. Friedrich Steimann, Robert Clarisó, Martin Gogolla
2025	J	`jnl`	Mind the Language Gap: Automated and Augmented Evaluation of Bias in LLMs for High- and Low-Resource Languages. CoRR Alessio Buscemi, Cedric Lothritz, Sergio Morales, Marcos Gomez-Vazquez, Robert Clarisó, Jordi Cabot, German Castignani
2025	J	`jnl`	The Software Diversity Card: A Framework for Reporting Diversity in Software Projects. CoRR Joan Giner-Miguelez, Sergio Morales, Sergio Cobos, Javier Luis Cánovas Izquierdo, Robert Clarisó, Jordi Cabot
2024	A	`conf`	A DSL for Testing LLMs for Fairness and Bias. MODELS Sergio Morales, Robert Clarisó, Jordi Cabot
2024	J	`jnl`	A Framework to Model ML Engineering Processes. CoRR Sergio Morales, Robert Clarisó, Jordi Cabot
2024	—	`conf`	A Leaderboard to Benchmark Ethical Biases in LLMs. AIMMES Marcos Gomez-Vazquez, Sergio Morales, German Castignani, Robert Clarisó, Aaron David Conrardy, Louis Deladiennee, Samuel Renault, Jordi Cabot
2024	—	`conf`	Automatic Generation of Conversational Interfaces for Tabular Data Analysis. CUI Marcos Gomez-Vazquez, Jordi Cabot, Robert Clarisó
2024	J	`jnl`	LangBiTe: A Platform for Testing Bias in Large Language Models. CoRR Sergio Morales, Robert Clarisó, Jordi Cabot
2024	J	`jnl`	Unveiling Ethical Biases in Generative AI. ERCIM News Sergio Morales, Robert Clarisó, Jordi Cabot
2023	A*	`conf`	Automating Bias Testing of LLMs. ASE Sergio Morales, Robert Clarisó, Jordi Cabot
2023	J	`jnl`	Dealing with Belief Uncertainty in Domain Models. ACM Trans. Softw. Eng. Methodol. Lola Burgueño, Paula Muñoz, Robert Clarisó, Jordi Cabot, Sébastien Gérard, Antonio Vallecillo
2023	—	`conf`	Generative AI in Model-Driven Software Engineering Education: Friend or Foe? MoDELS (Companion) Sergio Morales, Elena Planas, Robert Clarisó, Martin Gogolla
2023	—	`conf`	International Workshop on OCL and Textual Modeling (OCL 2023). MoDELS (Companion) Robert Clarisó, Lars Hamann
2023	J	`jnl`	Low Code for Smart Software Development. IEEE Softw. Jordi Cabot, Robert Clarisó
2023	A	`conf`	Model-Driven Prompt Engineering. MODELS Robert Clarisó, Jordi Cabot
2023	A	`conf`	OCL Rebuilt, From the Ground Up. MODELS Friedrich Steimann, Robert Clarisó, Martin Gogolla
2023	J	`jnl`	Towards the Automatic Generation of Conversational Interfaces to Facilitate the Exploration of Tabular Data. CoRR Marcos Gomez, Jordi Cabot, Robert Clarisó
2022	—	`conf`	A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams. BPMDS/EMMSAD@CAiSE Juan Antonio Gómez-Gutiérrez, Robert Clarisó, Jordi Cabot
2022	J	`jnl`	Managing Design-time Uncertainty in OCL Expressions. J. Object Technol. Robert Clarisó, Lola Burgueño, Jordi Cabot
2022	B	`conf`	Towards a DSL for AI Engineering Process Modeling. PROFES Sergio Morales, Robert Clarisó, Jordi Cabot
2022	J	`jnl`	User-driven diverse scenario exploration in model finders. Sci. Comput. Program. Robert Clarisó, Jordi Cabot
2021	—	`conf`	A SWOT Analysis of the Object Constraint Language. STAF Workshops Jordi Cabot, Daniel Calegari, Robert Clarisó, Martin Gogolla, Antonio Vallecillo, Edward D. Willink
2021	A	`conf`	An NLP-Based Architecture for the Autocompletion of Partial Domain Models. CAiSE Loli Burgueño, Robert Clarisó, Sébastien Gérard, Shuai Li, Jordi Cabot
2021	—	`conf`	Testing challenges for NLP-intensive bots. BotSE@ICSE Jordi Cabot, Loli Burgueño, Robert Clarisó, Gwendal Daniel, Jorge Perianez-Pascual, Roberto Rodríguez-Echeverría
2021	—	`conf`	Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools. MoDELS (Companion) Martin Gogolla, Robert Clarisó, Bran Selic, Jordi Cabot
2021	—	`conf`	Validating Feature Models With Respect to Textual Product Line Specifications. VaMoS Anjali Sree-Kumar, Elena Planas, Robert Clarisó
2020	C	`conf`	Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering. ABZ Robert Clarisó, Jordi Cabot
2020	J	`jnl`	Incremental Verification of UML/OCL Models. J. Object Technol. Robert Clarisó, Carlos A. González, Jordi Cabot
2020	C	`conf`	Participation Inequality and the 90-9-1 Principle in Open Source. OpenSym Mattia Gasparini, Robert Clarisó, Marco Brambilla, Jordi Cabot
2019	—	`conf`	A Feasibility Study on Using Classifying Terms in Alloy. OCL@MoDELS Robert Clarisó, Martin Gogolla
2019	A	`conf`	A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas. ER Loli Burgueño, Jordi Cabot, Robert Clarisó, Martin Gogolla
2019	C	`conf`	Analyzing rich-club behavior in open source projects. OpenSym Mattia Gasparini, Javier Luis Cánovas Izquierdo, Robert Clarisó, Marco Brambilla, Jordi Cabot
2019	—	`conf`	Belief uncertainty in software models. MiSE@ICSE Loli Burgueño, Robert Clarisó, Jordi Cabot, Sébastien Gérard, Antonio Vallecillo
2019	J	`jnl`	Smart Bound Selection for the Verification of UML/OCL Class Diagrams. IEEE Trans. Software Eng. Robert Clarisó, Carlos A. González, Jordi Cabot
2019	J	`jnl`	Towards a Framework for Assessing IT Strategy Execution. Comput. José-Ramón Rodríguez, Robert Clarisó, Josep Maria Marco-Simó
2018	—	`conf`	Applying graph kernels to model-driven engineering problems. MASES@ASE Robert Clarisó, Jordi Cabot
2018	B	`conf`	Extracting software product line feature models from natural language specifications. SPLC Anjali Sree-Kumar, Elena Planas, Robert Clarisó
2018	Misc	`conf`	Fixing Defects in Integrity Constraints via Constraint Mutation. QUATIC Robert Clarisó, Jordi Cabot
2018	—	`conf`	Strategy in the Making: Assessing the Execution of a Strategic Information Systems Plan. EMCIS José-Ramón Rodríguez, Robert Clarisó, Josep Maria Marco-Simó
2017	—	`conf`	Cognifying Model-Driven Software Engineering. STAF Workshops Jordi Cabot, Robert Clarisó, Marco Brambilla, Sébastien Gérard
2017	J	`jnl`	Constraint programming for type inference in flexible model-driven engineering. Comput. Lang. Syst. Struct. Athanasios Zolotas, Robert Clarisó, Nicholas Matragkas, Dimitrios S. Kolovos, Richard F. Paige
2017	J	`jnl`	ICT-FLAG: a web-based e-assessment platform featuring learning analytics and gamification. Int. J. Web Inf. Syst. David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa, David Bañeres
2017	—	`ed.`	Proceedings of the BPM Demo Track and BPM Dissertation Award co-located with 15th International Conference on Business Process Modeling (BPM 2017), Barcelona, Spain, September 13, 2017. BPM (Demos) Robert Clarisó, Henrik Leopold, Jan Mendling, Wil M. P. van der Aalst, Akhil Kumar, Brian T. Pentland, Mathias Weske
2017	A	`conf`	Translating Target to Source Constraints in Model-to-Model Transformations. MoDELS Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara, Robert Clarisó, Jordi Cabot
2016	—	`conf`	A Prototype of an eLearning Platform in Support for Learning Analytics and Gamification. INCoS David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa
2016	Misc	`conf`	Analysis and Design of an eLearning Platform Featuring Learning Analytics and Gamification. CISIS David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa
2016	—	`conf`	Analysis of Feature Models Using Alloy: A Survey. FMSPLE Anjali Sree-Kumar, Elena Planas, Robert Clarisó
2016	J	`jnl`	Backwards reasoning for model transformations: Method and applications. J. Syst. Softw. Robert Clarisó, Jordi Cabot, Esther Guerra, Juan de Lara
2016	—	`conf`	Evaluation of an eLearning Platform Featuring Learning Analytics and Gamification. 3PGCIC David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa
2016	Misc	`conf`	Towards a Learning Analytics Support for Intelligent Tutoring Systems on MOOC Platforms. CISIS David Bañeres, Santi Caballé, Robert Clarisó
2016	—	`conf`	Towards the Effective Software Development of an eLearning Platform Featuring Learning Analytics and Gamification. AINA Workshops David Gañán Jimenez, Santi Caballé, Robert Clarisó, Jordi Conesa
2015	B	`conf`	Towards Domain Refinement for UML/OCL Bounded Verification. SEFM Robert Clarisó, Carlos A. González, Jordi Cabot
2014	J	`jnl`	Evaluating the Quality of Software Models using Light-weight Formal Methods. ERCIM News Jordi Cabot, Robert Clarisó
2014	J	`jnl`	Experiences in Digital Circuit Design Courses: A Self-Study Platform for Learning Support. IEEE Trans. Learn. Technol. David Bañeres, Robert Clarisó, Josep Jorba, Montse Serra
2014	J	`jnl`	On the verification of UML/OCL class diagrams using constraint programming. J. Syst. Softw. Jordi Cabot, Robert Clarisó, Daniel Riera
2013	—	`conf`	A Study on Practices against Malware in Free Software Projects. AINA Workshops Ignacio Colomina, Joan Arnedo-Moreno, Robert Clarisó
2012	—	`conf`	EMFtoCSP: a tool for the lightweight verification of EMF models. FormSERA@ICSE Carlos A. González, Fabian Büttner, Robert Clarisó, Jordi Cabot
2011	J	`jnl`	Preface (OCL 2011 Proceedings). Electron. Commun. Eur. Assoc. Softw. Sci. Technol. Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff
2010	J	`jnl`	A UML/OCL framework for the analysis of graph transformation rules. Softw. Syst. Model. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
2010	—	`conf`	Synthesis of OCL Pre-conditions for Graph Transformation Rules. ICMT@TOOLS Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
2010	J	`jnl`	Verification and validation of declarative model-to-model transformations through invariants. J. Syst. Softw. Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
2010	A*	`conf`	Verification-driven slicing of UML/OCL models. ASE Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon
2009	B	`conf`	Verifying UML/OCL Operation Contracts. IFM Jordi Cabot, Robert Clarisó, Daniel Riera
2008	A	`conf`	An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. MoDELS Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
2008	—	`conf`	Analysing Graph Transformation Rules through OCL. ICMT@TOOLS Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
2008	—	`conf`	Verification of UML/OCL Class Diagrams using Constraint Programming. ICST Workshops Jordi Cabot, Robert Clarisó, Daniel Riera
2007	J	`jnl`	The octahedron abstract domain. Sci. Comput. Program. Robert Clarisó, Jordi Cortadella
2007	—	`conf`	UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming. JISBD Jordi Cabot, Robert Clarisó, Patricia de la Fuente, Daniel Riera
2007	A*	`conf`	UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. ASE Jordi Cabot, Robert Clarisó, Daniel Riera
2007	J	`jnl`	Verification of Concurrent Systems with Parametric Delays Using Octahedra. Fundam. Informaticae Robert Clarisó, Jordi Cortadella
2005	—	`conf`	Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. ICATPN Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella
2005	—	`conf`	Verification of Concurrent Systems with Parametric Delays Using Octahedra. ACSD Robert Clarisó, Jordi Cortadella
2004	B	`conf`	The Octahedron Abstract Domain. SAS Robert Clarisó, Jordi Cortadella
2004	—	`conf`	Verification of timed circuits with symbolic delays. ASP-DAC Robert Clarisó, Jordi Cortadella