Concepedia

Xavier Oriol

XO

Statistics

Publications

3

Citations

38

H-Index

3

Active since

2014

Affiliations

Universitat Politècnica de Catalunya(Current)

Xavier Oriol is an author at Universitat Politècnica de Catalunya specializing in automated reasoning, formal verification, and formal methods.

ORCID

Top concepts

Publications per year

2014–2018

3

Publications

3

Computing repairs for constraint violations in UML/OCL conceptual schemas

Xavier Oriol, Ernest Teniente, Albert Tort · Data & Knowledge Engineering · 2015 · 14 citations · Full text

, , +9

Incremental checking of OCL constraints through SQL queries

Xavier Oriol, Ernest Teniente · Model Driven Engineering Languages and Systems · 2014 · 13 citations

, , +15

$$\hbox {OCL}_\textsf {FO}$$ OCL FO : first-order expressive OCL constraints for efficient integrity checking

Enrico Franconi, Alessandro Mosca, Xavier Oriol et al. · Software & Systems Modeling · 2018 · 11 citations · Full text

1–3 of 3