A DSL for Testing LLMs for Fairness and Bias

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

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

article published in 2009

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

Analysis of Feature Models Using Alloy: A Survey ⬇️

Automatic Generation of Conversational Interfaces for Tabular Data Analysis

Automating Bias Testing of LLMs

scientific paper

Backwards reasoning for model transformations: Method and applications

Bounded Verification of Software Models: Challenges and Opportunities

scholarly article published 14 January 2015

Constraint programming for type inference in flexible model-driven engineering ⬇️

scientific article published in September 2017

Dealing with Belief Uncertainty in Domain Models

scientific article published on 31 March 2023

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

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

Preface

Projectes dels estudiants per a potenciar l’aprenentatge mòbil en l’ensenyament superior

article published in 2014

Synthesis of OCL Pre-conditions for Graph Transformation Rules

The octahedron abstract domain

Towards Domain Refinement for UML/OCL Bounded Verification

Towards a DSL for AI Engineering Process Modeling

UMLtoCSP

article

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

article

Verification-driven slicing of UML/OCL models