Xavier Oriol

Publication Activity (10 Years)

Years Active: 2014-2023
Publications (10 Years): 17

Top Topics

Conceptual Schemas

Business Process

Integrity Checking

Top Venues

Future Gener. Comput. Syst.

Publications

José Manuel Sánchez Ruiz, Francisco José Domínguez Mayo, Xavier Oriol, José Francisco Crespo, David Benavides, Ernest Teniente
A Benchmarking Proposal for DevOps Practices on Open Source Software Projects. CoRR (2023)
Xavier Oriol, Ernest Teniente, Marc Maynou, Sergi Nadal
Generating valid test data through data cloning. Future Gener. Comput. Syst. 144 (2023)
Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente
Embedding reactive behavior into artifact-centric business process models. Future Gener. Comput. Syst. 117 (2021)
Toon Koppelaars, Xavier Oriol, Ernest Teniente, Sergi Curto, Eduard Pujol
UQJG: Identifying Transactions that Collaborate to Violate an SQL Assertion. CIKM (2021)
Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo
Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting. J. Artif. Intell. Res. 70 (2021)
Xavier Oriol, Ernest Teniente
Adapting Integrity Checking Techniques for Concurrent Operation Executions. SAM (2019)
Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente
: first-order expressive OCL constraints for efficient integrity checking. Softw. Syst. Model. 18 (4) (2019)
Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente
Automatic Business Process Model Extension to Repair Constraint Violations. ICSOC (2019)
Xavier Oriol, Ernest Teniente
An Ontology-Based Framework for Describing Discoverable Data Services. CAiSE (2018)
Montserrat Estañol, Mirjana Mazuran, Xavier Oriol, Letizia Tanca, Ernest Teniente
Process Conformance Checking by Relaxing Data Dependencies. SEBD (2017)
Giuseppe De Giacomo, Domenico Lembo, Xavier Oriol, Domenico Fabio Savo, Ernest Teniente
Practical Update Management in Ontology-Based Data Access. ISWC (1) (2017)
Xavier Oriol, Ernest Teniente
Simplification of UML/OCL schemas for efficient reasoning. J. Syst. Softw. 128 (2017)
Montserrat Estañol, Esperanza Marcos, Xavier Oriol, Francisco J. Pérez Blanco, Ernest Teniente, Juan M. Vara
Validation of Service Blueprint Models by Means of Formal Simulation Techniques. ICSOC (2017)
Xavier Oriol, Ernest Teniente
: Expressive UML/OCL Conceptual Schemas for Finite Reasoning. ER (2017)
Giuseppe De Giacomo, Xavier Oriol, Montserrat Estañol, Ernest Teniente
Linking Data and BPMN Processes to Achieve Executable Models. CAiSE (2017)
Giuseppe De Giacomo, Xavier Oriol, Riccardo Rosati, Domenico Fabio Savo
Updating DL-Lite Ontologies Through First-Order Queries. ISWC (1) (2016)
Xavier Oriol, Ernest Teniente, Guillem Rull
TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server. EDBT (2016)
Xavier Oriol, Ernest Teniente
Incremental Checking of OCL Constraints with Aggregates Through SQL. ER (2015)
Xavier Oriol, Ernest Teniente, Albert Tort
Computing repairs for constraint violations in UML/OCL conceptual schemas. Data Knowl. Eng. 99 (2015)
Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente
Logic Foundations of the OCL Modelling Language. JELIA (2014)
Xavier Oriol, Ernest Teniente, Albert Tort
Fixing Up Non-executable Operations in UML/OCL Conceptual Schemas. ER (2014)
Xavier Oriol, Ernest Teniente
Incremental Checking of OCL Constraints through SQL Queries. OCL@MoDELS (2014)