default search action
Robert Clarisó
Person information
- affiliation: Universitat Oberta de Catalunya, Barcelona, Spain
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c47]Marcos Gomez-Vazquez, Jordi Cabot, Robert Clarisó:
Automatic Generation of Conversational Interfaces for Tabular Data Analysis. CUI 2024: 33 - [c46]Sergio Morales, Robert Clarisó, Jordi Cabot:
A DSL for Testing LLMs for Fairness and Bias. MODELS 2024: 203-213 - [i5]Sergio Morales, Robert Clarisó, Jordi Cabot:
A Framework to Model ML Engineering Processes. CoRR abs/2404.18531 (2024) - [i4]Sergio Morales, Robert Clarisó, Jordi Cabot:
LangBiTe: A Platform for Testing Bias in Large Language Models. CoRR abs/2404.18558 (2024) - [i3]Sergio Morales, Robert Clarisó, Jordi Cabot:
Unveiling Ethical Biases in Generative AI. ERCIM News 2024(136) (2024) - 2023
- [j17]Jordi Cabot, Robert Clarisó:
Low Code for Smart Software Development. IEEE Softw. 40(1): 89-93 (2023) - [j16]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): 31:1-31:34 (2023) - [c45]Sergio Morales, Robert Clarisó, Jordi Cabot:
Automating Bias Testing of LLMs. ASE 2023: 1705-1707 - [c44]Robert Clarisó, Jordi Cabot:
Model-Driven Prompt Engineering. MODELS 2023: 47-54 - [c43]Sergio Morales, Elena Planas, Robert Clarisó, Martin Gogolla:
Generative AI in Model-Driven Software Engineering Education: Friend or Foe? MoDELS (Companion) 2023: 110-113 - [c42]Friedrich Steimann, Robert Clarisó, Martin Gogolla:
OCL Rebuilt, From the Ground Up. MODELS 2023: 194-205 - [c41]Robert Clarisó, Lars Hamann:
International Workshop on OCL and Textual Modeling (OCL 2023). MoDELS (Companion) 2023: 391-392 - [i2]Marcos Gomez, Jordi Cabot, Robert Clarisó:
Towards the Automatic Generation of Conversational Interfaces to Facilitate the Exploration of Tabular Data. CoRR abs/2305.11326 (2023) - 2022
- [j15]Robert Clarisó, Lola Burgueño, Jordi Cabot:
Managing Design-time Uncertainty in OCL Expressions. J. Object Technol. 21(4): 4:1-10 (2022) - [j14]Robert Clarisó, Jordi Cabot:
User-driven diverse scenario exploration in model finders. Sci. Comput. Program. 215: 102745 (2022) - [c40]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: 267-275 - [c39]Sergio Morales, Robert Clarisó, Jordi Cabot:
Towards a DSL for AI Engineering Process Modeling. PROFES 2022: 53-60 - 2021
- [c38]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: 31-34 - [c37]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: 91-106 - [c36]Martin Gogolla, Robert Clarisó, Bran Selic, Jordi Cabot:
Towards Facilitating the Exploration of Informal Concepts in Formal Modeling Tools. MoDELS (Companion) 2021: 244-248 - [c35]Jordi Cabot, Daniel Calegari, Robert Clarisó, Martin Gogolla, Antonio Vallecillo, Edward D. Willink:
A SWOT Analysis of the Object Constraint Language. STAF Workshops 2021: 178-184 - [c34]Anjali Sree-Kumar, Elena Planas, Robert Clarisó:
Validating Feature Models With Respect to Textual Product Line Specifications. VaMoS 2021: 15:1-15:10 - 2020
- [j13]Robert Clarisó, Carlos A. González, Jordi Cabot:
Incremental Verification of UML/OCL Models. J. Object Technol. 19(3): 3:1-16 (2020) - [c33]Robert Clarisó, Jordi Cabot:
Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering. ABZ 2020: 27-43 - [c32]Mattia Gasparini, Robert Clarisó, Marco Brambilla, Jordi Cabot:
Participation Inequality and the 90-9-1 Principle in Open Source. OpenSym 2020: 6:1-6:7
2010 – 2019
- 2019
- [j12]José-Ramón Rodríguez, Robert Clarisó, Josep Maria Marco-Simó:
Towards a Framework for Assessing IT Strategy Execution. Comput. 8(3): 69 (2019) - [j11]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): 412-426 (2019) - [c31]Loli Burgueño, Jordi Cabot, Robert Clarisó, Martin Gogolla:
A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas. ER 2019: 513-521 - [c30]Loli Burgueño, Robert Clarisó, Jordi Cabot, Sébastien Gérard, Antonio Vallecillo:
Belief uncertainty in software models. MiSE@ICSE 2019: 19-26 - [c29]Robert Clarisó, Martin Gogolla:
A Feasibility Study on Using Classifying Terms in Alloy. OCL@MoDELS 2019: 45-58 - [c28]Mattia Gasparini, Javier Luis Cánovas Izquierdo, Robert Clarisó, Marco Brambilla, Jordi Cabot:
Analyzing rich-club behavior in open source projects. OpenSym 2019: 6:1-6:9 - 2018
- [c27]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: 475-488 - [c26]Robert Clarisó, Jordi Cabot:
Applying graph kernels to model-driven engineering problems. MASES@ASE 2018: 1-5 - [c25]Robert Clarisó, Jordi Cabot:
Fixing Defects in Integrity Constraints via Constraint Mutation. QUATIC 2018: 74-82 - [c24]Anjali Sree-Kumar, Elena Planas, Robert Clarisó:
Extracting software product line feature models from natural language specifications. SPLC 2018: 43-53 - 2017
- [j10]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: 216-230 (2017) - [j9]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): 25-54 (2017) - [c23]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: 12-22 - [c22]Jordi Cabot, Robert Clarisó, Marco Brambilla, Sébastien Gérard:
Cognifying Model-Driven Software Engineering. STAF Workshops 2017: 154-160 - [e1]Robert Clarisó, Henrik Leopold, Jan Mendling, Wil M. P. van der Aalst, Akhil Kumar, Brian T. Pentland, Mathias Weske:
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. CEUR Workshop Proceedings 1920, CEUR-WS.org 2017 [contents] - 2016
- [j8]Robert Clarisó, Jordi Cabot, Esther Guerra, Juan de Lara:
Backwards reasoning for model transformations: Method and applications. J. Syst. Softw. 116: 113-132 (2016) - [c21]David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa:
Evaluation of an eLearning Platform Featuring Learning Analytics and Gamification. 3PGCIC 2016: 947-959 - [c20]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: 177-182 - [c19]David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa:
Analysis and Design of an eLearning Platform Featuring Learning Analytics and Gamification. CISIS 2016: 87-94 - [c18]David Bañeres, Santi Caballé, Robert Clarisó:
Towards a Learning Analytics Support for Intelligent Tutoring Systems on MOOC Platforms. CISIS 2016: 103-110 - [c17]David Gañán, Santi Caballé, Robert Clarisó, Jordi Conesa:
A Prototype of an eLearning Platform in Support for Learning Analytics and Gamification. INCoS 2016: 362-369 - [c16]Anjali Sree-Kumar, Elena Planas, Robert Clarisó:
Analysis of Feature Models Using Alloy: A Survey. FMSPLE 2016: 46-60 - 2015
- [c15]Robert Clarisó, Carlos A. González, Jordi Cabot:
Towards Domain Refinement for UML/OCL Bounded Verification. SEFM 2015: 108-114 - 2014
- [j7]Jordi Cabot, Robert Clarisó, Daniel Riera:
On the verification of UML/OCL class diagrams using constraint programming. J. Syst. Softw. 93: 1-23 (2014) - [j6]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): 360-374 (2014) - [i1]Jordi Cabot, Robert Clarisó:
Evaluating the Quality of Software Models using Light-weight Formal Methods. ERCIM News 2014(99) (2014) - 2013
- [c14]Ignacio Colomina, Joan Arnedo-Moreno, Robert Clarisó:
A Study on Practices against Malware in Free Software Projects. AINA Workshops 2013: 1070-1075 - 2012
- [c13]Carlos A. González, Fabian Büttner, Robert Clarisó, Jordi Cabot:
EMFtoCSP: a tool for the lightweight verification of EMF models. FormSERA@ICSE 2012: 44-50 - 2011
- [j5]Jordi Cabot, Robert Clarisó, Martin Gogolla, Burkhart Wolff:
Preface (OCL 2011 Proceedings). Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 44 (2011) - 2010
- [j4]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): 283-302 (2010) - [j3]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): 335-357 (2010) - [c12]Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara:
Synthesis of OCL Pre-conditions for Graph Transformation Rules. ICMT@TOOLS 2010: 45-60 - [c11]Asadullah Shaikh, Robert Clarisó, Uffe Kock Wiil, Nasrullah Memon:
Verification-driven slicing of UML/OCL models. ASE 2010: 185-194
2000 – 2009
- 2009
- [c10]Jordi Cabot, Robert Clarisó, Daniel Riera:
Verifying UML/OCL Operation Contracts. IFM 2009: 40-55 - 2008
- [c9]Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara:
Analysing Graph Transformation Rules through OCL. ICMT@TOOLS 2008: 229-244 - [c8]Jordi Cabot, Robert Clarisó, Daniel Riera:
Verification of UML/OCL Class Diagrams using Constraint Programming. ICST Workshops 2008: 73-80 - [c7]Jordi Cabot, Robert Clarisó, Esther Guerra, Juan de Lara:
An Invariant-Based Method for the Analysis of Declarative Model-to-Model Transformations. MoDELS 2008: 37-52 - 2007
- [j2]Robert Clarisó, Jordi Cortadella:
Verification of Concurrent Systems with Parametric Delays Using Octahedra. Fundam. Informaticae 78(1): 1-33 (2007) - [j1]Robert Clarisó, Jordi Cortadella:
The octahedron abstract domain. Sci. Comput. Program. 64(1): 115-139 (2007) - [c6]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: 385-386 - [c5]Jordi Cabot, Robert Clarisó, Daniel Riera:
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. ASE 2007: 547-548 - 2005
- [c4]Robert Clarisó, Jordi Cortadella:
Verification of Concurrent Systems with Parametric Delays Using Octahedra. ACSD 2005: 122-131 - [c3]Robert Clarisó, Enric Rodríguez-Carbonell, Jordi Cortadella:
Derivation of Non-structural Invariants of Petri Nets Using Abstract Interpretation. ICATPN 2005: 188-207 - 2004
- [c2]Robert Clarisó, Jordi Cortadella:
Verification of timed circuits with symbolic delays. ASP-DAC 2004: 628-633 - [c1]Robert Clarisó, Jordi Cortadella:
The Octahedron Abstract Domain. SAS 2004: 312-327
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-04 20:57 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint