Xavier Oriol
PhD in Computing at UPC
Home
Publications
Tools
Teaching
Contact
Publications
Xavier Oriol,
Giuseppe De Giacomo
, Montserrat Estañol, and
Ernest Teniente
.
"Automatic Business Process Model Extension to Repair Constraint Violations"
, ICSOC 2019
Xavier Oriol, and
Ernest Teniente
.
"Adapting Integrity Checking Techniques for Concurrent Operation Executions"
, SAM 2019
Enrico Franconi
,
Alessandro Mosca
, Xavier Oriol,
Ernest Teniente
and Guillem Rull.
"OCLfo: First Order Expressive OCL Constraints for Efficient Integrity Checking"
, SoSyM 2018
Xavier Oriol, and
Ernest Teniente
.
"An Ontology-Based Framework for Describing Discoverable Data Services"
, CAiSE 2018
Montserrat Estañol, Esperanza Marcos, Xavier Oriol, Francisco J Pérez,
Ernest Teniente
, and
Juan M Vara
.
"Validation of Service Blueprint Models by Means of Formal Simulation Techniques"
, ICSOC 2017
Xavier Oriol, and
Ernest Teniente
.
"OCLuniv: Expressive UML/OCL Conceptual Schemas for Finite Reasoning"
, ER 2017
Giuseppe De Giacomo
,
Domenico Lembo
, Xavier Oriol,
Domenico Fabio Savo
, and
Ernest Teniente
.
"Practical Update Management in Ontology-Based Data Access"
, ISWC 2017
Xavier Oriol.
"Incremental Checking and Maintenance of UML/OCL Integrity Constraints"
, PhD Thesis (2017) (Cum Laude)
Giuseppe De Giacomo
, Xavier Oriol, Montserrat Estañol, and
Ernest Teniente
.
"Linking Data and BPMN Processes to Achieve Executable Models"
, CAiSE 2017
Xavier Oriol,
Ernest Teniente
.
"Simplification of UML/OCL Schemas for Efficient Reasoning"
, Journal of Systems and Software 2017
Giuseppe De Giacomo
, Xavier Oriol,
Riccardo Rosati
,
Domenico Fabio Savo
.
"Updating DL-Lite Ontologies Through First-Order Queries"
, ISWC 2016
Xavier Oriol,
Ernest Teniente
, and Guillem Rull.
"TINTIN: Comprobación Incremental de Aserciones SQL"
, JISBD - Cedi 2016
Xavier Oriol,
Ernest Teniente
, and Guillem Rull.
"TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server"
, EDBT 2016
Xavier Oriol,
Ernest Teniente
and Albert Tort.
"Computing Repairs for Constraint Violations in UML/OCL Conceptual Schemas"
, Data & Knowledge Engineering 2015
Xavier Oriol and
Ernest Teniente
.
"Incremental Checking of OCL Constraints with Aggregates through SQL"
, ER 2015
Xavier Oriol,
Ernest Teniente
and Albert Tort.
"Fixing up Non-executable Operations in UML/OCL Conceptual Schemas"
, ER 2014 (Best Student Paper Award)
Enrico Franconi
,
Alessandro Mosca
, Xavier Oriol,
Ernest Teniente
and Guillem Rull.
"Logic Foundations of the OCL Modelling Language"
, JELIA 2014
Xavier Oriol and
Ernest Teniente
.
"Incremental Checking of OCL Constraints through SQL Queries"
, OCL workshop 2014
Xavier Oriol and
Ernest Teniente
.
"Ejecución de Operaciones de un Esquema Conceptual de forma Persistente y Consistente"
, Doctoral Consortium - Sistedes 2014
Design:
HTML5Templates.com