Robert Clarisó

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 45

Top Topics

Constraint Language

Top Venues

MoDELS (Companion)

Publications

Sergio Morales, Robert Clarisó, Jordi Cabot
Unveiling Ethical Biases in Generative AI. ERCIM News 2024 (136) (2024)
Marcos Gomez-Vazquez, Jordi Cabot, Robert Clarisó
Automatic Generation of Conversational Interfaces for Tabular Data Analysis. CUI (2024)
Sergio Morales, Robert Clarisó, Jordi Cabot
LangBiTe: A Platform for Testing Bias in Large Language Models. CoRR (2024)
Sergio Morales, Robert Clarisó, Jordi Cabot
A Framework to Model ML Engineering Processes. CoRR (2024)
Friedrich Steimann, Robert Clarisó, Martin Gogolla
OCL Rebuilt, From the Ground Up. MODELS (2023)
Robert Clarisó, Jordi Cabot
Model-Driven Prompt Engineering. MODELS (2023)
Lola Burgueño, Paula Muñoz, Robert Clarisó, Jordi Cabot, Sébastien Gérard, Antonio Vallecillo
Dealing with Belief Uncertainty in Domain Models. ACM Trans. Softw. Eng. Methodol. 32 (2) (2023)
Sergio Morales, Robert Clarisó, Jordi Cabot
Automating Bias Testing of LLMs. ASE (2023)
Robert Clarisó, Lars Hamann
International Workshop on OCL and Textual Modeling (OCL 2023). MoDELS (Companion) (2023)
Jordi Cabot, Robert Clarisó
Low Code for Smart Software Development. IEEE Softw. 40 (1) (2023)
Marcos Gomez, Jordi Cabot, Robert Clarisó
Towards the Automatic Generation of Conversational Interfaces to Facilitate the Exploration of Tabular Data. CoRR (2023)
Sergio Morales, Elena Planas, Robert Clarisó, Martin Gogolla
Generative AI in Model-Driven Software Engineering Education: Friend or Foe? MoDELS (Companion) (2023)
Juan Antonio Gómez-Gutiérrez, Robert Clarisó, Jordi Cabot
A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams. BPMDS/EMMSAD@CAiSE (2022)
Sergio Morales, Robert Clarisó, Jordi Cabot
Towards a DSL for AI Engineering Process Modeling. PROFES (2022)
Robert Clarisó, Lola Burgueño, Jordi Cabot
Managing Design-time Uncertainty in OCL Expressions. J. Object Technol. 21 (4) (2022)
Robert Clarisó, Jordi Cabot
User-driven diverse scenario exploration in model finders. Sci. Comput. Program. 215 (2022)
Jordi Cabot, Loli Burgueño, Robert Clarisó, Gwendal Daniel, Jorge Perianez-Pascual, Roberto Rodríguez-Echeverría
Testing challenges for NLP-intensive bots. BotSE@ICSE (2021)
Loli Burgueño, Robert Clarisó, Sébastien Gérard, Shuai Li, Jordi Cabot
An NLP-Based Architecture for the Autocompletion of Partial Domain Models. CAiSE (2021)
Anjali Sree-Kumar, Elena Planas, Robert Clarisó
Validating Feature Models With Respect to Textual Product Line Specifications. VaMoS (2021)
Martin Gogolla, Robert Clarisó, Bran Selic, Jordi Cabot
Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools. MoDELS (Companion) (2021)
Jordi Cabot, Daniel Calegari, Robert Clarisó, Martin Gogolla, Antonio Vallecillo, Edward D. Willink
A SWOT Analysis of the Object Constraint Language. STAF Workshops (2021)
Mattia Gasparini, Robert Clarisó, Marco Brambilla, Jordi Cabot
Participation Inequality and the 90-9-1 Principle in Open Source. OpenSym (2020)
Robert Clarisó, Jordi Cabot
Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering. ABZ (2020)
Robert Clarisó, Carlos A. González, Jordi Cabot
Incremental Verification of UML/OCL Models. J. Object Technol. 19 (3) (2020)
Robert Clarisó, Martin Gogolla
A Feasibility Study on Using Classifying Terms in Alloy. OCL@MoDELS (2019)
Mattia Gasparini, Javier Luis Cánovas Izquierdo, Robert Clarisó, Marco Brambilla, Jordi Cabot
Analyzing rich-club behavior in open source projects. OpenSym (2019)
Loli Burgueño, Jordi Cabot, Robert Clarisó, Martin Gogolla
A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas. ER (2019)
Robert Clarisó, Carlos A. González, Jordi Cabot
Smart Bound Selection for the Verification of UML/OCL Class Diagrams. IEEE Trans. Software Eng. 45 (4) (2019)
José-Ramón Rodríguez, Robert Clarisó, Josep Maria Marco-Simó
Towards a Framework for Assessing IT Strategy Execution. Comput. 8 (3) (2019)
Loli Burgueño, Robert Clarisó, Jordi Cabot, Sébastien Gérard, Antonio Vallecillo
Belief uncertainty in software models. MiSE@ICSE (2019)
Robert Clarisó, Jordi Cabot
Applying graph kernels to model-driven engineering problems. MASES@ASE (2018)
Robert Clarisó, Jordi Cabot
Fixing Defects in Integrity Constraints via Constraint Mutation. QUATIC (2018)
José-Ramón Rodríguez, Robert Clarisó, Josep Maria Marco-Simó
Strategy in the Making: Assessing the Execution of a Strategic Information Systems Plan. EMCIS (2018)
Anjali Sree-Kumar, Elena Planas, Robert Clarisó
Extracting software product line feature models from natural language specifications. SPLC (2018)
Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara, Robert Clarisó, Jordi Cabot
Translating Target to Source Constraints in Model-to-Model Transformations. MoDELS (2017)
Jordi Cabot, Robert Clarisó, Marco Brambilla, Sébastien Gérard
Cognifying Model-Driven Software Engineering. STAF Workshops (2017)
Athanasios Zolotas, Robert Clarisó, Nicholas Matragkas, Dimitrios S. Kolovos, Richard F. Paige
Constraint programming for type inference in flexible model-driven engineering. Comput. Lang. Syst. Struct. 49 (2017)
David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa, David Bañeres
ICT-FLAG: a web-based e-assessment platform featuring learning analytics and gamification. Int. J. Web Inf. Syst. 13 (1) (2017)
Anjali Sree-Kumar, Elena Planas, Robert Clarisó
Analysis of Feature Models Using Alloy: A Survey. FMSPLE (2016)
Robert Clarisó, Jordi Cabot, Esther Guerra, Juan de Lara
Backwards reasoning for model transformations: Method and applications. J. Syst. Softw. 116 (2016)
David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa
A Prototype of an eLearning Platform in Support for Learning Analytics and Gamification. INCoS (2016)
David Bañeres, Santi Caballé, Robert Clarisó
Towards a Learning Analytics Support for Intelligent Tutoring Systems on MOOC Platforms. CISIS (2016)
David Gañán Jimenez, Santi Caballé, Robert Clarisó, Jordi Conesa
Towards the Effective Software Development of an eLearning Platform Featuring Learning Analytics and Gamification. AINA Workshops (2016)
David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa
Analysis and Design of an eLearning Platform Featuring Learning Analytics and Gamification. CISIS (2016)
David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa
Evaluation of an eLearning Platform Featuring Learning Analytics and Gamification. 3PGCIC (2016)
Robert Clarisó, Carlos A. González, Jordi Cabot
Towards Domain Refinement for UML/OCL Bounded Verification. SEFM (2015)
David Bañeres, Robert Clarisó, Josep Jorba, Montse Serra
Experiences in Digital Circuit Design Courses: A Self-Study Platform for Learning Support. IEEE Trans. Learn. Technol. 7 (4) (2014)
Jordi Cabot, Robert Clarisó
Evaluating the Quality of Software Models using Light-weight Formal Methods. ERCIM News 2014 (99) (2014)
Jordi Cabot, Robert Clarisó, Daniel Riera
On the verification of UML/OCL class diagrams using constraint programming. J. Syst. Softw. 93 (2014)
Ignacio Colomina, Joan Arnedo-Moreno, Robert Clarisó
A Study on Practices against Malware in Free Software Projects. AINA Workshops (2013)
Carlos A. González, Fabian Büttner, Robert Clarisó, Jordi Cabot
EMFtoCSP: a tool for the lightweight verification of EMF models. FormSERA@ICSE (2012)
Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff
Preface (OCL 2011 Proceedings). Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44 (2011)
Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
Verification and validation of declarative model-to-model transformations through invariants. J. Syst. Softw. 83 (2) (2010)
Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
A UML/OCL framework for the analysis of graph transformation rules. Softw. Syst. Model. 9 (3) (2010)
Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon
Verification-driven slicing of UML/OCL models. ASE (2010)
Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
Synthesis of OCL Pre-conditions for Graph Transformation Rules. ICMT@TOOLS (2010)
Jordi Cabot, Robert Clarisó, Daniel Riera
Verifying UML/OCL Operation Contracts. IFM (2009)
Jordi Cabot, Robert Clarisó, Daniel Riera
Verification of UML/OCL Class Diagrams using Constraint Programming. ICST Workshops (2008)
Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
Analysing Graph Transformation Rules through OCL. ICMT@TOOLS (2008)
Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. MoDELS (2008)
Robert Clarisó, Jordi Cortadella
Verification of Concurrent Systems with Parametric Delays Using Octahedra. Fundam. Informaticae 78 (1) (2007)
Jordi Cabot, Robert Clarisó, Daniel Riera
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. ASE (2007)
Robert Clarisó, Jordi Cortadella
The octahedron abstract domain. Sci. Comput. Program. 64 (1) (2007)
Jordi Cabot, Robert Clarisó, Patricia de la Fuente, Daniel Riera
UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming. JISBD (2007)
Robert Clarisó, Jordi Cortadella
Verification of Concurrent Systems with Parametric Delays Using Octahedra. ACSD (2005)
Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. ICATPN (2005)
Robert Clarisó, Jordi Cortadella
Verification of timed circuits with symbolic delays. ASP-DAC (2004)
Robert Clarisó, Jordi Cortadella
The Octahedron Abstract Domain. SAS (2004)