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
- [c48]Marcos Gomez-Vazquez, Sergio Morales, German Castignani, Robert Clarisó, Aaron David Conrardy, Louis Deladiennee, Samuel Renault, Jordi Cabot:
A Leaderboard to Benchmark Ethical Biases in LLMs. AIMMES 2024 - [c47]Marcos Gomez-Vazquez
, Jordi Cabot
Automatic Generation of Conversational Interfaces for Tabular Data Analysis. CUI 2024: 33 - [c46]Sergio Morales
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
Low Code for Smart Software Development. IEEE Softw. 40(1): 89-93 (2023) - [j16]Lola Burgueño
Dealing with Belief Uncertainty in Domain Models. ACM Trans. Softw. Eng. Methodol. 32(2): 31:1-31:34 (2023) - [c45]Sergio Morales
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
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ó
User-driven diverse scenario exploration in model finders. Sci. Comput. Program. 215: 102745 (2022) - [c40]Juan Antonio Gómez-Gutiérrez
A Tool for Debugging Unsatisfiable Integrity Constraints in UML/OCL Class Diagrams. BPMDS/EMMSAD@CAiSE 2022: 267-275 - [c39]Sergio Morales
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
Testing challenges for NLP-intensive bots. BotSE@ICSE 2021: 31-34 - [c37]Loli Burgueño
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
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ó
Diverse Scenario Exploration in Model Finders Using Graph Kernels and Clustering. ABZ 2020: 27-43 - [c32]Mattia Gasparini, Robert Clarisó, Marco Brambilla
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
Towards a Framework for Assessing IT Strategy Execution. Comput. 8(3): 69 (2019) - [j11]Robert Clarisó
Smart Bound Selection for the Verification of UML/OCL Class Diagrams. IEEE Trans. Software Eng. 45(4): 412-426 (2019) - [c31]Loli Burgueño
A Systematic Approach to Generate Diverse Instantiations for Conceptual Schemas. ER 2019: 513-521 - [c30]Loli Burgueño
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
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
Extracting software product line feature models from natural language specifications. SPLC 2018: 43-53 - 2017
- [j10]Athanasios Zolotas
Constraint programming for type inference in flexible model-driven engineering. Comput. Lang. Syst. Struct. 49: 216-230 (2017) - [j9]David Gañán, Santi Caballé
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
Translating Target to Source Constraints in Model-to-Model Transformations. MoDELS 2017: 12-22 - [c22]Jordi Cabot
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ó
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é
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é
Analysis and Design of an eLearning Platform Featuring Learning Analytics and Gamification. CISIS 2016: 87-94 - [c18]David Bañeres
Towards a Learning Analytics Support for Intelligent Tutoring Systems on MOOC Platforms. CISIS 2016: 103-110 - [c17]David Gañán, Santi Caballé
A Prototype of an eLearning Platform in Support for Learning Analytics and Gamification. INCoS 2016: 362-369 - [c16]Anjali Sree-Kumar
Analysis of Feature Models Using Alloy: A Survey. FMSPLE 2016: 46-60 - 2015
- [c15]Robert Clarisó
Towards Domain Refinement for UML/OCL Bounded Verification. SEFM 2015: 108-114 - 2014
- [j7]Jordi Cabot
On the verification of UML/OCL class diagrams using constraint programming. J. Syst. Softw. 93: 1-23 (2014) - [j6]David Bañeres
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ó
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
Verification and validation of declarative model-to-model transformations through invariants. J. Syst. Softw. 83(2): 283-302 (2010) - [j3]Jordi Cabot
A UML/OCL framework for the analysis of graph transformation rules. Softw. Syst. Model. 9(3): 335-357 (2010) - [c12]Jordi Cabot
Synthesis of OCL Pre-conditions for Graph Transformation Rules. ICMT@TOOLS 2010: 45-60 - [c11]Asadullah Shaikh
Verification-driven slicing of UML/OCL models. ASE 2010: 185-194
2000 – 2009
- 2009
- [c10]Jordi Cabot
Verifying UML/OCL Operation Contracts. IFM 2009: 40-55 - 2008
- [c9]Jordi Cabot
Analysing Graph Transformation Rules through OCL. ICMT@TOOLS 2008: 229-244 - [c8]Jordi Cabot
Verification of UML/OCL Class Diagrams using Constraint Programming. ICST Workshops 2008: 73-80 - [c7]Jordi Cabot
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ó
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
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. ASE 2007: 547-548 - 2005
- [c4]Robert Clarisó
Verification of Concurrent Systems with Parametric Delays Using Octahedra. ACSD 2005: 122-131 - [c3]Robert Clarisó, Enric Rodríguez-Carbonell
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-31 20:11 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: