Xavier Oriol

Orcid: 0000-0002-8845-8504

According to our database1, Xavier Oriol authored at least 23 papers between 2014 and 2023.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Generating valid test data through data cloning.
Future Gener. Comput. Syst., July, 2023

A Benchmarking Proposal for DevOps Practices on Open Source Software Projects.
CoRR, 2023

2021
Instance-Level Update in DL-Lite Ontologies through First-Order Rewriting.
J. Artif. Intell. Res., 2021

Embedding reactive behavior into artifact-centric business process models.
Future Gener. Comput. Syst., 2021

UQJG: Identifying Transactions that Collaborate to Violate an SQL Assertion.
Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

2019
OCL<sub>FO</sub>: first-order expressive OCL constraints for efficient integrity checking.
Softw. Syst. Model., 2019

Adapting Integrity Checking Techniques for Concurrent Operation Executions.
Proceedings of the System Analysis and Modeling. Languages, Methods, and Tools for Industry 4.0, 2019

Automatic Business Process Model Extension to Repair Constraint Violations.
Proceedings of the Service-Oriented Computing - 17th International Conference, 2019

2018
An Ontology-Based Framework for Describing Discoverable Data Services.
Proceedings of the Advanced Information Systems Engineering, 2018

2017
Incremental checking and maintenance of UML/OCL integrity constraints.
PhD thesis, 2017

Simplification of UML/OCL schemas for efficient reasoning.
J. Syst. Softw., 2017

Practical Update Management in Ontology-Based Data Access.
Proceedings of the Semantic Web - ISWC 2017, 2017

Process Conformance Checking by Relaxing Data Dependencies.
Proceedings of the 25th Italian Symposium on Advanced Database Systems, 2017

Validation of Service Blueprint Models by Means of Formal Simulation Techniques.
Proceedings of the Service-Oriented Computing - 15th International Conference, 2017

OCL<sub>UNIV</sub>: Expressive UML/OCL Conceptual Schemas for Finite Reasoning.
Proceedings of the Conceptual Modeling - 36th International Conference, 2017

Linking Data and BPMN Processes to Achieve Executable Models.
Proceedings of the Advanced Information Systems Engineering, 2017

2016
Updating DL-Lite Ontologies Through First-Order Queries.
Proceedings of the Semantic Web - ISWC 2016, 2016

TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server.
Proceedings of the 19th International Conference on Extending Database Technology, 2016

2015
Computing repairs for constraint violations in UML/OCL conceptual schemas.
Data Knowl. Eng., 2015

Incremental Checking of OCL Constraints with Aggregates Through SQL.
Proceedings of the Conceptual Modeling - 34th International Conference, 2015

2014
Incremental Checking of OCL Constraints through SQL Queries.
Proceedings of the 14th International Workshop on OCL and Textual Modelling co-located with 17th International Conference on Model Driven Engineering Languages and Systems (MODELS 2014), 2014

Logic Foundations of the OCL Modelling Language.
Proceedings of the Logics in Artificial Intelligence - 14th European Conference, 2014

Fixing Up Non-executable Operations in UML/OCL Conceptual Schemas.
Proceedings of the Conceptual Modeling - 33rd International Conference, 2014


  Loading...