The Internal Events Method for View Updating in Deductive Databases. - Ernest Teniente (DAISD, 1990)

The Events Method for View Updating in Deductive Databases. - Ernest Teniente; Antoni Olivé (EDBT, 1992)

El Mètode dels esdeveniments per a l'Actualització de vistes en bases de dades deductives. - Ernest Teniente (1992)

Incorporating Modification Requests in Updating Consistent Knowledge Bases. - Enric Mayol; Ernest Teniente (DAISD, 1993)

An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases. - Ernest Teniente (Deductive Databases / Abduction in Deductive Databases, 1995)

A Common Framework for Classifying and Specifying Deductive Database Updating Problems. - Ernest Teniente; Toni Urpí (ICDE, 1995)

Updating Knowledge Bases While Maintaining Their Consistency - Ernest Teniente; Antoni Olivé (VLDB J., 1995)

Handling Conceptual Model Validation by Planning. - Dolors Costal; Ernest Teniente; Toni Urpí; Carles Farré (CAiSE, 1996)

How to Tackle Schema Validation by View Updating. - Hendrik Decker; Ernest Teniente; Toni Urpí (EDBT, 1996)

FOLRE: Un sistema papa et tratamiento integrado de actualizaciones en bases de datos. - Ernest Teniente; Carles Farré; Carme Martín; Enric Mayol; Joan Antoni Pastor; Jaume Sistac; Toni Urpí (JIDBD, 1996)

Structuring the Process of Integrity Maintenance. - Enric Mayol; Ernest Teniente (DEXA, 1997)

An Approach to Obtain Intensional Translation for Consistent View Updating. - Dolors Costal; Ernest Teniente; Toni Urpí (DOOD, 1997)

Comprobación del Contenimiento de Consultas mediante Actualización de Vistas. - Carles Farré; Ernest Teniente; Toni Urpí (JIDBD, 1997)

Validating Active Rules by Planning. - Piero Fraternali; Ernest Teniente; Toni Urpí (Rules in Database Systems, 1997)

FOLRE: A Deductive Database System for the Integrated Treatment of Updates. - Enric Mayol; Joan Antoni Pastor; Ernest Teniente; Toni Urpí (Rules in Database Systems, 1997)

Materialized Views Selection in a Multidimensional Database. - Elena Baralis; Stefano Paraboschi; Ernest Teniente (VLDB, 1997)

Query Containment Checking as a View Updating Problem. - Carles Farré; Ernest Teniente; Toni Urpí (DEXA, 1998)

Integrated Treatment of Updates in Deductive Databases: the FOLRE Project (extended abstract). - Enric Mayol; Joan Antoni Pastor; Ernest Teniente; Toni Urpí; Carles Farré (JIDBD, 1998)

The Constructive Method for Query Containment Checking. - Carles Farré; Ernest Teniente; Toni Urpí (DEXA, 1999)

Addressing Efficiency Issues During the Process of Integrity Maintenance. - Enric Mayol; Ernest Teniente (DEXA, 1999)

A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. - Enric Mayol; Ernest Teniente (ER (Workshops), 1999)

Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance. - Enric Mayol; Ernest Teniente (FoIKS, 2000)

Relationship Type Refinement in Conceptual Models with Multiple Classification. - Dolors Costal; Antoni Olivé; Ernest Teniente (ER, 2001)

Understanding Redundancy in UML Models for Object-Oriented Analysis. - Dolors Costal; Maria-Ribera Sancho; Ernest Teniente (CAiSE, 2002)

Derived types and taxonomic constraints in conceptual modeling. - Antoni Olivé; Ernest Teniente (Inf. Syst., 2002)

Materialized Views in Multidimensional Databases. - Stefano Paraboschi; Giuseppe Sindoni; Elena Baralis; Ernest Teniente (Multidimensional Databases, 2003)

Query Containment with Negated IDB Predicates. - Carles Farré; Ernest Teniente; Toni Urpí (ADBIS, 2003)

Entity Types Derived by Symbol-Generating Rules. - Jordi Cabot; Antoni Olivé; Ernest Teniente (ER, 2003)

Handling Existential Derived Predicates in View Updating. - Carles Farré; Ernest Teniente; Toni Urpí (ICLP, 2003)

Representing Temporal Information in UML. - Jordi Cabot; Antoni Olivé; Ernest Teniente (UML, 2003)

Consistency preserving updates in deductive databases. - Enric Mayol; Ernest Teniente (Data Knowl. Eng., 2003)

On the abductive or deductive nature of database schema validation and update processing problems. - Ernest Teniente; Toni Urpí (Theory Pract. Log. Program., 2003)

A New Approach for Checking Schema Validation Properties. - Carles Farré; Ernest Teniente; Toni Urpí (DEXA, 2004)

Determining the Structural Events That May Violate an Integrity Constraint. - Jordi Cabot; Ernest Teniente (UML, 2004)

SVT: Schema Validation Tool for Microsoft SQL-Server. - Ernest Teniente; Carles Farré; Toni Urpí; Carlos Beltrán 003; David Gañán (VLDB, 2004)

Computing the Relevant Instances That May Violate an OCL Constraint. - Jordi Cabot; Ernest Teniente (CAiSE, 2005)

On the Semantics of Operation Contracts in Conceptual Modeling. - Anna Queralt; Ernest Teniente (CAiSE Short Paper Proceedings, 2005)

Generación Automática de Restricciones de Integridad: Estado del Arte. - Jordi Cabot; Ernest Teniente (DSDM, 2005)

Checking query containment with the CQC method. - Carles Farré; Ernest Teniente; Toni Urpí (Data Knowl. Eng., 2005)

Incremental Evaluation of OCL Constraints. - Jordi Cabot; Ernest Teniente (CAiSE, 2006)

Declarative Specification of Taxonomic Constraint Enforcement in Conceptual Schemas. - Dolors Costal; Cristina Gómez 001; Ernest Teniente (CAiSE Forum, 2006)

Constraint Support in MDA Tools: A Survey. - Jordi Cabot; Ernest Teniente (ECMDA-FA, 2006)

Reasoning on UML Class Diagrams with OCL Constraints. - Anna Queralt; Ernest Teniente (ER, 2006)

Facilitating the Definition of General Constraints in UML. - Dolors Costal; Cristina Gómez 001; Anna Queralt; Ruth Raventós; Ernest Teniente (MoDELS, 2006)

Transforming OCL constraints: a context change approach. - Jordi Cabot; Ernest Teniente (SAC, 2006)

Specifying the Semantics of Operation Contracts in Conceptual Modeling. - Anna Queralt; Ernest Teniente (J. Data Semant., 2006)

Computing explanations for unlively queries in databases. - Guillem Rull; Carles Farré; Ernest Teniente; Toni Urpí (CIKM, 2007)

Containment of Conjunctive Queries over Databases with Null Values. - Carles Farré; Werner Nutt; Ernest Teniente; Toni Urpí (ICDT, 2007)

Comprobación eficiente de restricciones de integridad en OCL. - Jordi Cabot; Ernest Teniente (JISBD, 2007)

Transformation techniques for OCL constraints. - Jordi Cabot; Ernest Teniente (Sci. Comput. Program., 2007)

Drawing Preconditions of Operation Contracts from Conceptual Schemas. - Dolors Costal; Cristina Gómez 001; Anna Queralt; Ernest Teniente (CAiSE, 2008)

Decidable Reasoning in UML Schemas with Constraints. - Anna Queralt; Ernest Teniente (CAiSE, 2008)

Validation of UML Conceptual Schemas with Operations. - Anna Queralt; Ernest Teniente (CAiSE Forum, 2008)

Providing Explanations for Database Schema Validation. - Guillem Rull; Carles Farré; Ernest Teniente; Toni Urpí (DEXA, 2008)

SVTe: a tool to validate database schemas giving explanations. - Carles Farré; Guillem Rull; Ernest Teniente; Toni Urpí (DBTest, 2008)

Validation of mappings between schemas. - Guillem Rull; Carles Farré; Ernest Teniente; Toni Urpí (Data Knowl. Eng., 2008)

Improving the definition of general constraints in UML. - Dolors Costal; Cristina Gómez 001; Anna Queralt; Ruth Raventós; Ernest Teniente (Softw. Syst. Model., 2008)

A platform independent model for the electronic marketplace domain. - Anna Queralt; Ernest Teniente (Softw. Syst. Model., 2008)

Reasoning on UML Conceptual Schemas with Operations. - Anna Queralt; Ernest Teniente (CAiSE, 2009)

MVT: a schema mapping validation tool. - Guillem Rull; Carles Farré; Ernest Teniente; Toni Urpí (EDBT, 2009)

Incremental integrity checking of UML/OCL conceptual schemas. - Jordi Cabot; Ernest Teniente (J. Syst. Softw., 2009)

AuRUS: Automated Reasoning on UML/OCL Schemas. - Anna Queralt; Guillem Rull; Ernest Teniente; Carles Farré; Toni Urpí (ER, 2010)

Artifact-Centric Business Process Models in UML. - Montserrat Estañol; Anna Queralt; Maria-Ribera Sancho; Ernest Teniente (Business Process Management Workshops, 2012)

OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL. - Anna Queralt; Alessandro Artale; Diego Calvanese; Ernest Teniente (Description Logics, 2012)

OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. - Anna Queralt; Alessandro Artale; Diego Calvanese; Ernest Teniente (Data Knowl. Eng., 2012)

Verification and Validation of UML Conceptual Schemas with OCL Constraints. - Anna Queralt; Ernest Teniente (ACM Trans. Softw. Eng. Methodol., 2012)

Semantic-Based Mappings. - Giansalvatore Mecca; Guillem Rull; Donatello Santoro; Ernest Teniente (ER, 2013)

Reasoning on UML Data-Centric Business Process Models. - Montserrat Estañol; Maria-Ribera Sancho; Ernest Teniente (ICSOC, 2013)

Query containment in entity SQL. - Guillem Rull; Philip A. Bernstein; Ivo Garcia dos Santos; Yannis Katsis; Sergey Melnik 001; Ernest Teniente (SIGMOD Conference, 2013)

Validation of schema mappings with nested queries. - Guillem Rull; Carles Farré; Ernest Teniente; Toni Urpí (Comput. Sci. Inf. Syst., 2013)

Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211). - Diego Calvanese; Sven Hartmann; Ernest Teniente (Dagstuhl Reports, 2013)

Automated reasoning on UML conceptual schemas with derived information and queries. - Carles Farré; Anna Queralt; Guillem Rull; Ernest Teniente; Toni Urpí (Inf. Softw. Technol., 2013)

Specifying Artifact-Centric Business Process Models in UML. - Montserrat Estañol; Anna Queralt; Maria-Ribera Sancho; Ernest Teniente (BMSD, 2014)

Verifiable UML Artifact-Centric Business Process Models. - Diego Calvanese; Marco Montali; Montserrat Estañol; Ernest Teniente (CIKM, 2014)

Fixing Up Non-executable Operations in UML/OCL Conceptual Schemas. - Xavier Oriol; Ernest Teniente; Albert Tort (ER, 2014)

Logic Foundations of the OCL Modelling Language. - Enrico Franconi; Alessandro Mosca 001; Xavier Oriol; Guillem Rull; Ernest Teniente (JELIA, 2014)

Panel Discussion: Proposals for Improving OCL. - Achim D. Brucker; Tony Clark 001; Carolina Dania; Geri Georg; Martin Gogolla; Frédéric Jouault; Ernest Teniente; Burkhart Wolff (OCL@MoDELS, 2014)

Incremental Checking of OCL Constraints through SQL Queries. - Xavier Oriol; Ernest Teniente (OCL@MoDELS, 2014)

Verifiable UML Artifact-Centric Business Process Models (Extended Version). - Diego Calvanese; Marco Montali; Montserrat Estañol; Ernest Teniente (CoRR, 2014)

Verification and Validation of UML Artifact-Centric Business Process Models. - Montserrat Estañol; Maria-Ribera Sancho; Ernest Teniente (CAiSE, 2015)

Incremental Checking of OCL Constraints with Aggregates Through SQL. - Xavier Oriol; Ernest Teniente (ER, 2015)

Ontology-based mappings. - Giansalvatore Mecca; Guillem Rull; Donatello Santoro; Ernest Teniente (Data Knowl. Eng., 2015)

Computing repairs for constraint violations in UML/OCL conceptual schemas. - Xavier Oriol; Ernest Teniente; Albert Tort (Data Knowl. Eng., 2015)

AuRUS: explaining the validation of UML/OCL conceptual schemas. - Guillem Rull; Carles Farré; Anna Queralt; Ernest Teniente; Toni Urpí (Softw. Syst. Model., 2015)

GROM: a General Rewriter of Semantic Mappings. - Giansalvatore Mecca; Guillem Rull; Donatello Santoro; Ernest Teniente (EDBT, 2016)

TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server. - Xavier Oriol; Ernest Teniente; Guillem Rull (EDBT, 2016)

30 Years of Contributions to Conceptual Modeling. - Jordi Cabot; Cristina Gómez 001; Maria-Ribera Sancho; Ernest Teniente (Conceptual Modeling Perspectives, 2017)

Linking Data and BPMN Processes to Achieve Executable Models. - Giuseppe De Giacomo; Xavier Oriol; Montserrat Estañol; Ernest Teniente (CAiSE, 2017)

OCLUNIV: Expressive UML/OCL Conceptual Schemas for Finite Reasoning. - Xavier Oriol; Ernest Teniente (ER, 2017)

Validation of Service Blueprint Models by Means of Formal Simulation Techniques. - Montserrat Estañol; Esperanza Marcos; Xavier Oriol; Francisco J. Pérez-Blanco; Ernest Teniente; Juan M. Vara (ICSOC, 2017)

Process Conformance Checking by Relaxing Data Dependencies. - Montserrat Estañol; Mirjana Mazuran; Xavier Oriol; Letizia Tanca; Ernest Teniente (SEBD, 2017)

Practical Update Management in Ontology-Based Data Access. - Giuseppe De Giacomo; Domenico Lembo; Xavier Oriol; Domenico Fabio Savo; Ernest Teniente (ISWC (1), 2017)

Simplification of UML/OCL schemas for efficient reasoning. - Xavier Oriol; Ernest Teniente (J. Syst. Softw., 2017)

Enabling IoT Ecosystems through Platform Interoperability. - Arne Bröring; Stefan Schmid 002; Corina Kim Schindhelm; Abdelmajid Khelil; Sebastian Käbisch; Denis Kramer; Danh Le Phuoc; Jelena Mitic; Darko Anicic; Ernest Teniente (IEEE Softw., 2017)

An Ontology-Based Framework for Describing Discoverable Data Services. - Xavier Oriol; Ernest Teniente (CAiSE, 2018)

Ensuring the semantic correctness of a BAUML artifact-centric BPM. - Montserrat Estañol; Maria-Ribera Sancho; Ernest Teniente (Inf. Softw. Technol., 2018)

Automatic Business Process Model Extension to Repair Constraint Violations. - Xavier Oriol; Giuseppe De Giacomo; Montserrat Estañol; Ernest Teniente (ICSOC, 2019)

A Semantic Model to Fight Social Exclusion. - Victor-Alejandro Ortiz; Montserrat Estañol; Maria-Cristina V. Marinescu; Maria-Ribera Sancho; Ernest Teniente; Carmen Rueda (MoDELS (Companion), 2019)

Adapting Integrity Checking Techniques for Concurrent Operation Executions. - Xavier Oriol; Ernest Teniente (SAM, 2019)

Conformance checking in UML artifact-centric business process models. - Montserrat Estañol; Jorge Munoz-Gama; Josep Carmona 001; Ernest Teniente (Softw. Syst. Model., 2019)

OCLFO: first-order expressive OCL constraints for efficient integrity checking. - Enrico Franconi; Alessandro Mosca 001; Xavier Oriol; Guillem Rull; Ernest Teniente (Softw. Syst. Model., 2019)

XYZ Monitor: IoT Monitoring of Infrastructures Using Microservices. - Marc Vila 001; Maria-Ribera Sancho; Ernest Teniente (ICSOC Workshops, 2020)

UQJG: Identifying Transactions that Collaborate to Violate an SQL Assertion. - Toon Koppelaars; Xavier Oriol; Ernest Teniente; Sergi Curto; Eduard Pujol (CIKM, 2021)

Semantics for Connectivity Management in IoT Sensing. - Marc Vila 001; Maria-Ribera Sancho; Ernest Teniente; Xavier Vilajosana (ER, 2021)

Embedding reactive behavior into artifact-centric business process models. - Xavier Oriol; Giuseppe De Giacomo; Montserrat Estañol; Ernest Teniente (Future Gener. Comput. Syst., 2021)

IoT Semantic Data Integration through Ontologies. - Ernest Teniente (SCC, 2022)

Reasoning on the usage control security policies over data artifact business process models. - Montserrat Estañol; Ángel Jesús Varela-Vaca; María Teresa Gómez-López; Ernest Teniente; Rafael M. Gasca (Comput. Sci. Inf. Syst., 2022)

Edge-to-cloud sensing and actuation semantics in the industrial Internet of Things. - Marc Vila 001; Victor Casamayor-Pujol; Schahram Dustdar; Ernest Teniente (Pervasive Mob. Comput., 2022)

Modeling Context-Aware Events and Responses in an IoT Environment. - Marc Vila 001; Maria-Ribera Sancho; Ernest Teniente (CAiSE, 2023)

Relating Context and Self Awareness in the Internet of Things. - David Arnaiz; Marc Vila 001; Eduard Alarcón; Francesc Moll; Maria-Ribera Sancho; Ernest Teniente (CoopIS, 2023)

Monitoring, IoT Devices, and Semantics. - Marc Vila 001; Maria-Ribera Sancho; Ernest Teniente (PerCom Workshops, 2023)

A Benchmarking Proposal for DevOps Practices on Open Source Software Projects. - José Manuel Sánchez Ruiz; Francisco José Domínguez Mayo; Xavier Oriol; José Francisco Crespo; David Benavides 001; Ernest Teniente (CoRR, 2023)

Generating valid test data through data cloning. - Xavier Oriol; Ernest Teniente; Marc Maynou; Sergi Nadal (Future Gener. Comput. Syst., 2023)

Critical infrastructure awareness based on IoT context data. - Marc Vila 001; Maria-Ribera Sancho; Ernest Teniente; Xavier Vilajosana (Internet Things, 2023)

IMP-Logics: a metamodel for analysis and transformations of Datalog programs. - José Francisco Crespo; Martí Juanola; Xavier Oriol; Martí Recalde; Ernest Teniente (MoDELS (Companion), 2024)

Declarative Domain Testing: An Approach for Automatic and Integrated Test Data Generation. - José Francisco Crespo; Martí Juanola; Xavier Oriol; Ernest Teniente (CAiSE (1), 2025)

Incremental checking of SQL assertions in an RDBMS. - Xavier Oriol; Ernest Teniente (Inf. Syst., 2025)