Robert Clarisó

According to our database, Robert Clarisó authored at least 62 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Unveiling Ethical Biases in Generative AI.

Sergio Morales, Robert Clarisó, Jordi Cabot

ERCIM News, 2024

2023

Dealing with Belief Uncertainty in Domain Models.

Lola Burgueño, Paula Muñoz, Robert Clarisó, Jordi Cabot, Sébastien Gérard, Antonio Vallecillo

ACM Trans. Softw. Eng. Methodol., April, 2023

Low Code for Smart Software Development.

Jordi Cabot, Robert Clarisó

IEEE Softw., 2023

Towards the Automatic Generation of Conversational Interfaces to Facilitate the Exploration of Tabular Data.

Marcos Gomez, Jordi Cabot, Robert Clarisó

CoRR, 2023

OCL Rebuilt, From the Ground Up.

Friedrich Steimann, Robert Clarisó, Martin Gogolla

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Generative AI in Model-Driven Software Engineering Education: Friend or Foe?

Sergio Morales, Elena Planas, Robert Clarisó, Martin Gogolla

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

International Workshop on OCL and Textual Modeling (OCL 2023).

Robert Clarisó, Lars Hamann

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Model-Driven Prompt Engineering.

Robert Clarisó, Jordi Cabot

Proceedings of the 26th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Automating Bias Testing of LLMs.

Sergio Morales, Robert Clarisó, Jordi Cabot

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

2022

User-driven diverse scenario exploration in model finders.

Robert Clarisó, Jordi Cabot

Sci. Comput. Program., 2022

Managing Design-time Uncertainty in OCL Expressions.

Robert Clarisó, Lola Burgueño, Jordi Cabot

J. Object Technol., 2022

Towards a DSL for AI Engineering Process Modeling.

Sergio Morales, Robert Clarisó, Jordi Cabot

Proceedings of the Product-Focused Software Process Improvement, 2022

A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams.

Juan Antonio Gómez-Gutiérrez, Robert Clarisó, Jordi Cabot

Proceedings of the Enterprise, Business-Process and Information Systems Modeling, 2022

2021

Validating Feature Models With Respect to Textual Product Line Specifications.

Anjali Sree-Kumar, Elena Planas, Robert Clarisó

Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

A SWOT Analysis of the Object Constraint Language.

Jordi Cabot, Daniel Calegari, Robert Clarisó, Martin Gogolla, Antonio Vallecillo, Edward D. Willink

Proceedings of the STAF 2021 Workshop Proceedings: 9th International Workshop on Bidirectional Transformations, 2021

Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools.

Martin Gogolla, Robert Clarisó, Bran Selic, Jordi Cabot

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

An NLP-Based Architecture for the Autocompletion of Partial Domain Models.

Loli Burgueño, Robert Clarisó, Sébastien Gérard, Shuai Li, Jordi Cabot

Proceedings of the Advanced Information Systems Engineering, 2021

Testing challenges for NLP-intensive bots.

Jordi Cabot, Loli Burgueño, Robert Clarisó, Gwendal Daniel, Jorge Perianez-Pascual, Roberto Rodríguez-Echeverría

Proceedings of the 3rd IEEE/ACM International Workshop on Bots in Software Engineering, 2021

2020

Incremental Verification of UML/OCL Models.

Robert Clarisó, Carlos A. González, Jordi Cabot

J. Object Technol., 2020

Participation Inequality and the 90-9-1 Principle in Open Source.

Mattia Gasparini, Robert Clarisó, Marco Brambilla, Jordi Cabot

Proceedings of the OpenSym 2020: 16th International Symposium on Open Collaboration, 2020

Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering.

Robert Clarisó, Jordi Cabot

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Smart Bound Selection for the Verification of UML/OCL Class Diagrams.

Robert Clarisó, Carlos A. González, Jordi Cabot

IEEE Trans. Software Eng., 2019

Towards a Framework for Assessing IT Strategy Execution.

José-Ramón Rodríguez, Robert Clarisó, Josep Maria Marco-Simó

Comput., 2019

Analyzing rich-club behavior in open source projects.

Mattia Gasparini, Javier Luis Cánovas Izquierdo, Robert Clarisó, Marco Brambilla, Jordi Cabot

Proceedings of the 15th International Symposium on Open Collaboration, 2019

A Feasibility Study on Using Classifying Terms in Alloy.

Robert Clarisó, Martin Gogolla

Proceedings of the 19th International Workshop in OCL and Textual Modeling (OCL 2019) co-located with IEEE/ACM 22nd International Conference on Model Driven Engineering Languages and Systems (MODELS 2019), 2019

Belief uncertainty in software models.

Loli Burgueño, Robert Clarisó, Jordi Cabot, Sébastien Gérard, Antonio Vallecillo

Proceedings of the 11th International Workshop on Modelling in Software Engineerings, 2019

A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas.

Loli Burgueño, Jordi Cabot, Robert Clarisó, Martin Gogolla

Proceedings of the Conceptual Modeling - 38th International Conference, 2019

2018

Extracting software product line feature models from natural language specifications.

Anjali Sree-Kumar, Elena Planas, Robert Clarisó

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Fixing Defects in Integrity Constraints via Constraint Mutation.

Robert Clarisó, Jordi Cabot

Proceedings of the 11th International Conference on the Quality of Information and Communications Technology, 2018

Applying graph kernels to model-driven engineering problems.

Robert Clarisó, Jordi Cabot

Proceedings of the 1st International Workshop on Machine Learning and Software Engineering in Symbiosis, 2018

Strategy in the Making: Assessing the Execution of a Strategic Information Systems Plan.

José-Ramón Rodríguez, Robert Clarisó, Josep Maria Marco-Simó

Proceedings of the Information Systems, 2018

2017

ICT-FLAG: a web-based e-assessment platform featuring learning analytics and gamification.

David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa, David Bañeres

Int. J. Web Inf. Syst., 2017

Constraint programming for type inference in flexible model-driven engineering.

Athanasios Zolotas, Robert Clarisó, Nicholas Matragkas, Dimitrios S. Kolovos, Richard F. Paige

Comput. Lang. Syst. Struct., 2017

Cognifying Model-Driven Software Engineering.

Jordi Cabot, Robert Clarisó, Marco Brambilla, Sébastien Gérard

Proceedings of the Software Technologies: Applications and Foundations, 2017

Translating Target to Source Constraints in Model-to-Model Transformations.

Jesús Sánchez Cuadrado, Esther Guerra, Juan de Lara, Robert Clarisó, Jordi Cabot

Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017

2016

Backwards reasoning for model transformations: Method and applications.

Robert Clarisó, Jordi Cabot, Esther Guerra, Juan de Lara

J. Syst. Softw., 2016

Analysis of Feature Models Using Alloy: A Survey.

Anjali Sree-Kumar, Elena Planas, Robert Clarisó

Proceedings of the Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 2016

A Prototype of an eLearning Platform in Support for Learning Analytics and Gamification.

David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa

Proceedings of the 2016 International Conference on Intelligent Networking and Collaborative Systems, 2016

Analysis and Design of an eLearning Platform Featuring Learning Analytics and Gamification.

David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa

Proceedings of the 10th International Conference on Complex, 2016

Towards a Learning Analytics Support for Intelligent Tutoring Systems on MOOC Platforms.

David Bañeres, Santi Caballé, Robert Clarisó

Proceedings of the 10th International Conference on Complex, 2016

Towards the Effective Software Development of an eLearning Platform Featuring Learning Analytics and Gamification.

David Gañán Jimenez, Santi Caballé, Robert Clarisó, Jordi Conesa

Proceedings of the 30th International Conference on Advanced Information Networking and Applications Workshops, 2016

Evaluation of an eLearning Platform Featuring Learning Analytics and Gamification.

David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa

Proceedings of the Advances on P2P, 2016

2015

Towards Domain Refinement for UML/OCL Bounded Verification.

Robert Clarisó, Carlos A. González, Jordi Cabot

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2014

Experiences in Digital Circuit Design Courses: A Self-Study Platform for Learning Support.

David Bañeres, Robert Clarisó, Josep Jorba, Montse Serra

IEEE Trans. Learn. Technol., 2014

On the verification of UML/OCL class diagrams using constraint programming.

Jordi Cabot, Robert Clarisó, Daniel Riera

J. Syst. Softw., 2014

Evaluating the Quality of Software Models using Light-weight Formal Methods.

Jordi Cabot, Robert Clarisó

ERCIM News, 2014

2013

A Study on Practices against Malware in Free Software Projects.

Ignacio Colomina, Joan Arnedo-Moreno, Robert Clarisó

Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013

2012

EMFtoCSP: a tool for the lightweight verification of EMF models.

Carlos A. González, Fabian Büttner, Robert Clarisó, Jordi Cabot

Proceedings of the First International Workshop on Formal Methods in Software Engineering, 2012

2011

Preface (OCL 2011 Proceedings).

Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

2010

A UML/OCL framework for the analysis of graph transformation rules.

Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara

Softw. Syst. Model., 2010

Verification and validation of declarative model-to-model transformations through invariants.

Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara

J. Syst. Softw., 2010

Verification-driven slicing of UML/OCL models.

Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon

Proceedings of the ASE 2010, 2010

Synthesis of OCL Pre-conditions for Graph Transformation Rules.

Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara

Proceedings of the Theory and Practice of Model Transformations, 2010

2009

Verifying UML/OCL Operation Contracts.

Jordi Cabot, Robert Clarisó, Daniel Riera

Proceedings of the Integrated Formal Methods, 7th International Conference, 2009

2008

An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations.

Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara

Proceedings of the Model Driven Engineering Languages and Systems, 2008

Analysing Graph Transformation Rules through OCL.

Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara

Proceedings of the Theory and Practice of Model Transformations, 2008

2007

The octahedron abstract domain.

Robert Clarisó, Jordi Cortadella

Sci. Comput. Program., 2007

Verification of Concurrent Systems with Parametric Delays Using Octahedra.

Robert Clarisó, Jordi Cortadella

Fundam. Informaticae, 2007

UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming.

Jordi Cabot, Robert Clarisó, Daniel Riera

Proceedings of the 22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007), 2007

UMLtoCSP: Una herramienta para la verificación de modelos UML/OCL mediante Constraint Programming.

Jordi Cabot, Robert Clarisó, Patricia de la Fuente, Daniel Riera

Proceedings of the XII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2007), 2007

2005

Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation.

Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella

Proceedings of the Applications and Theory of Petri Nets 2005, 2005

2004

Verification of timed circuits with symbolic delays.

Robert Clarisó, Jordi Cortadella

Proceedings of the 2004 Conference on Asia South Pacific Design Automation: Electronic Design and Solution Fair 2004, 2004