Fixing Up Non-executable Operations in UML/OCL Conceptual Schemas. - Xavier Oriol; Ernest Teniente; Albert Tort (ER, 2014)

Logic Foundations of the OCL Modelling Language. - Enrico Franconi; Alessandro Mosca 001; Xavier Oriol; Guillem Rull; Ernest Teniente (JELIA, 2014)

Incremental Checking of OCL Constraints through SQL Queries. - Xavier Oriol; Ernest Teniente (OCL@MoDELS, 2014)

Incremental Checking of OCL Constraints with Aggregates Through SQL. - Xavier Oriol; Ernest Teniente (ER, 2015)

Computing repairs for constraint violations in UML/OCL conceptual schemas. - Xavier Oriol; Ernest Teniente; Albert Tort (Data Knowl. Eng., 2015)

TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server. - Xavier Oriol; Ernest Teniente; Guillem Rull (EDBT, 2016)

Updating DL-Lite Ontologies Through First-Order Queries. - Giuseppe De Giacomo; Xavier Oriol; Riccardo Rosati 001; Domenico Fabio Savo (ISWC (1), 2016)

Linking Data and BPMN Processes to Achieve Executable Models. - Giuseppe De Giacomo; Xavier Oriol; Montserrat Estañol; Ernest Teniente (CAiSE, 2017)

OCLUNIV: Expressive UML/OCL Conceptual Schemas for Finite Reasoning. - Xavier Oriol; Ernest Teniente (ER, 2017)

Validation of Service Blueprint Models by Means of Formal Simulation Techniques. - Montserrat Estañol; Esperanza Marcos; Xavier Oriol; Francisco J. Pérez-Blanco; Ernest Teniente; Juan M. Vara (ICSOC, 2017)

Process Conformance Checking by Relaxing Data Dependencies. - Montserrat Estañol; Mirjana Mazuran; Xavier Oriol; Letizia Tanca; Ernest Teniente (SEBD, 2017)

Practical Update Management in Ontology-Based Data Access. - Giuseppe De Giacomo; Domenico Lembo; Xavier Oriol; Domenico Fabio Savo; Ernest Teniente (ISWC (1), 2017)

Simplification of UML/OCL schemas for efficient reasoning. - Xavier Oriol; Ernest Teniente (J. Syst. Softw., 2017)

Incremental checking and maintenance of UML/OCL integrity constraints. - Xavier Oriol (2017)

An Ontology-Based Framework for Describing Discoverable Data Services. - Xavier Oriol; Ernest Teniente (CAiSE, 2018)

Automatic Business Process Model Extension to Repair Constraint Violations. - Xavier Oriol; Giuseppe De Giacomo; Montserrat Estañol; Ernest Teniente (ICSOC, 2019)

Adapting Integrity Checking Techniques for Concurrent Operation Executions. - Xavier Oriol; Ernest Teniente (SAM, 2019)

OCLFO: first-order expressive OCL constraints for efficient integrity checking. - Enrico Franconi; Alessandro Mosca 001; Xavier Oriol; Guillem Rull; Ernest Teniente (Softw. Syst. Model., 2019)

UQJG: Identifying Transactions that Collaborate to Violate an SQL Assertion. - Toon Koppelaars; Xavier Oriol; Ernest Teniente; Sergi Curto; Eduard Pujol (CIKM, 2021)

Embedding reactive behavior into artifact-centric business process models. - Xavier Oriol; Giuseppe De Giacomo; Montserrat Estañol; Ernest Teniente (Future Gener. Comput. Syst., 2021)

Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting. - Giuseppe De Giacomo; Xavier Oriol; Riccardo Rosati 001; Domenico Fabio Savo (J. Artif. Intell. Res., 2021)

A Benchmarking Proposal for DevOps Practices on Open Source Software Projects. - José Manuel Sánchez Ruiz; Francisco José Domínguez Mayo; Xavier Oriol; José Francisco Crespo; David Benavides 001; Ernest Teniente (CoRR, 2023)

Generating valid test data through data cloning. - Xavier Oriol; Ernest Teniente; Marc Maynou; Sergi Nadal (Future Gener. Comput. Syst., 2023)

IMP-Logics: a metamodel for analysis and transformations of Datalog programs. - José Francisco Crespo; Martí Juanola; Xavier Oriol; Martí Recalde; Ernest Teniente (MoDELS (Companion), 2024)

Declarative Domain Testing: An Approach for Automatic and Integrated Test Data Generation. - José Francisco Crespo; Martí Juanola; Xavier Oriol; Ernest Teniente (CAiSE (1), 2025)

Incremental checking of SQL assertions in an RDBMS. - Xavier Oriol; Ernest Teniente (Inf. Syst., 2025)