Xavier Oriol

28 papers A 9B 3Journal 8Unranked 7
YearRankTypeTitle / Venue / Authors
2026 A conf
Conjunctive Query Containment with Safe Negation and TGD One-Boundedness.
ICDT
Xavier Oriol
2025 — conf
Declarative Domain Testing: An Approach for Automatic and Integrated Test Data Generation.
CAiSE (1)
José Francisco Crespo, Martí Juanola, Xavier Oriol, Ernest Teniente
2025 J jnl
Incremental checking of SQL assertions in an RDBMS.
Inf. Syst.
Xavier Oriol, Ernest Teniente
2024 — conf
IMP-Logics: a metamodel for analysis and transformations of Datalog programs.
MoDELS (Companion)
José Francisco Crespo, Martí Juanola, Xavier Oriol, Martí Recalde, Ernest Teniente
2024 B ed.
Proceedings 27th International Conference on Extending Database Technology, EDBT 2024, Paestum, Italy, March 25 - March 28.
EDBT
Letizia Tanca, Qiong Luo, Giuseppe Polese, Loredana Caruccio, Xavier Oriol, Donatella Firmani
2023 J jnl
A Benchmarking Proposal for DevOps Practices on Open Source Software Projects.
CoRR
José Manuel Sánchez Ruiz, Francisco José Domínguez Mayo, Xavier Oriol, José Francisco Crespo, David Benavides, Ernest Teniente
2023 J jnl
Generating valid test data through data cloning.
Future Gener. Comput. Syst.
Xavier Oriol, Ernest Teniente, Marc Maynou, Sergi Nadal
2021 J jnl
Embedding reactive behavior into artifact-centric business process models.
Future Gener. Comput. Syst.
Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente
2021 J jnl
Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting.
J. Artif. Intell. Res.
Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo
2021 A conf
UQJG: Identifying Transactions that Collaborate to Violate an SQL Assertion.
CIKM
Toon Koppelaars, Xavier Oriol, Ernest Teniente, Sergi Curto, Eduard Pujol
2019 — conf
Adapting Integrity Checking Techniques for Concurrent Operation Executions.
SAM
Xavier Oriol, Ernest Teniente
2019 A conf
Automatic Business Process Model Extension to Repair Constraint Violations.
ICSOC
Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente
2019 J jnl
OCL
Softw. Syst. Model.
Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente
2018 A conf
An Ontology-Based Framework for Describing Discoverable Data Services.
CAiSE
Xavier Oriol, Ernest Teniente
2017 — —
Incremental checking and maintenance of UML/OCL integrity constraints.
Xavier Oriol
2017 A conf
Linking Data and BPMN Processes to Achieve Executable Models.
CAiSE
Giuseppe De Giacomo, Xavier Oriol, Montserrat Estañol, Ernest Teniente
2017 A conf
OCL
ER
Xavier Oriol, Ernest Teniente
2017 — conf
Practical Update Management in Ontology-Based Data Access.
ISWC (1)
Giuseppe De Giacomo, Domenico Lembo, Xavier Oriol, Domenico Fabio Savo, Ernest Teniente
2017 — conf
Process Conformance Checking by Relaxing Data Dependencies.
SEBD
Montserrat Estañol, Mirjana Mazuran, Xavier Oriol, Letizia Tanca, Ernest Teniente
2017 J jnl
Simplification of UML/OCL schemas for efficient reasoning.
J. Syst. Softw.
Xavier Oriol, Ernest Teniente
2017 A conf
Validation of Service Blueprint Models by Means of Formal Simulation Techniques.
ICSOC
Montserrat Estañol, Esperanza Marcos, Xavier Oriol, Francisco J. Pérez-Blanco, Ernest Teniente, Juan M. Vara
2016 B conf
TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server.
EDBT
Xavier Oriol, Ernest Teniente, Guillem Rull
2016 — conf
Updating DL-Lite Ontologies Through First-Order Queries.
ISWC (1)
Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo
2015 J jnl
Computing repairs for constraint violations in UML/OCL conceptual schemas.
Data Knowl. Eng.
Xavier Oriol, Ernest Teniente, Albert Tort
2015 A conf
Incremental Checking of OCL Constraints with Aggregates Through SQL.
ER
Xavier Oriol, Ernest Teniente
2014 A conf
Fixing Up Non-executable Operations in UML/OCL Conceptual Schemas.
ER
Xavier Oriol, Ernest Teniente, Albert Tort
2014 — conf
Incremental Checking of OCL Constraints through SQL Queries.
OCL@MoDELS
Xavier Oriol, Ernest Teniente
2014 B conf
Logic Foundations of the OCL Modelling Language.
JELIA
Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente