Hoang Nguyen Phuoc Bao

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 9

Top Topics

Database Schema

Relational Database Systems

Top Venues

Publications

Hoang Nguyen Phuoc Bao, Manuel Clavel
Proving correctness for SQL implementations of OCL constraints. CoRR (2024)
Hoang Nguyen Phuoc Bao, Manuel Clavel
An extended model-based characterization of fine-grained access control for SQL queries. MODELS (2023)
Hoang Nguyen Phuoc Bao, Manuel Clavel
Optimising Fine-Grained Access Control Policy Enforcement for Database Queries. A Model-Driven Approach. CoRR (2022)
Hoang Nguyen Phuoc Bao, Manuel Clavel
A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries. SN Comput. Sci. 2 (5) (2021)
Hoang Nguyen Phuoc Bao, Antonio García-Domíguez, Manuel Clavel
The TTC 2021 OCL2PSQL case. TTC/ (2021)
Hoang Nguyen Phuoc Bao, Manuel Clavel
A Model-Driven Approach for Enforcing Fine-Grained Access Control for SQL Queries. FDSE (2020)
Hoang Nguyen Phuoc Bao, Manuel Clavel
Model-based Characterization of fine-grained Access Control Authorization for SQL Queries. J. Object Technol. 19 (3) (2020)
Manuel Clavel, Hoang Nguyen Phuoc Bao
Mapping OCL into SQL: Challenges and Opportunities Ahead. OCL@MoDELS (2019)
Hoang Nguyen Phuoc Bao, Manuel Clavel
OCL2PSQL: An OCL-to-SQL Code-Generator for Model-Driven Engineering. FDSE (2019)