| 2026 | ICDT | Conjunctive Query Containment with Safe Negation and TGD One-Boundedness. | Xavier Oriol |
| 2025 | CaiSE | Declarative Domain Testing: An Approach for Automatic and Integrated Test Data Generation. | Jos Francisco Crespo, Mart Juanola, Xavier Oriol, Ernest Teniente |
| 2024 | MODELS | IMP-Logics: a metamodel for analysis and transformations of Datalog programs. | Jos Francisco Crespo, Mart Juanola, Xavier Oriol, Mart Recalde, Ernest Teniente |
| 2021 | CIKM | UQJG: Identifying Transactions that Collaborate to Violate an SQL Assertion. | Toon Koppelaars, Xavier Oriol, Ernest Teniente, Sergi Curto, Eduard Pujol |
| 2019 | ICSOC | Automatic Business Process Model Extension to Repair Constraint Violations. | Xavier Oriol, Giuseppe De Giacomo, Montserrat Estaol, Ernest Teniente |
| 2018 | CaiSE | An Ontology-Based Framework for Describing Discoverable Data Services. | Xavier Oriol, Ernest Teniente |
| 2017 | CaiSE | Linking Data and BPMN Processes to Achieve Executable Models. | Giuseppe De Giacomo, Xavier Oriol, Montserrat Estaol, Ernest Teniente |
| 2017 | ER | OCL | Xavier Oriol, Ernest Teniente |
| 2017 | ICSOC | Validation of Service Blueprint Models by Means of Formal Simulation Techniques. | Montserrat Estaol, Esperanza Marcos, Xavier Oriol, Francisco J. Prez-Blanco, Ernest Teniente, Juan M. Vara |
| 2016 | EDBT | TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server. | Xavier Oriol, Ernest Teniente, Guillem Rull |
| 2015 | ER | Incremental Checking of OCL Constraints with Aggregates Through SQL. | Xavier Oriol, Ernest Teniente |
| 2014 | ER | Fixing Up Non-executable Operations in UML/OCL Conceptual Schemas. | Xavier Oriol, Ernest Teniente, Albert Tort |
| 2014 | JELIA | Logic Foundations of the OCL Modelling Language. | Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente |
| 2014 | MODELS | Incremental Checking of OCL Constraints through SQL Queries. | Xavier Oriol, Ernest Teniente |