Ernest Teniente

ORCID

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 35

Top Venues

CAiSE

Softw. Syst. Model.

ICSOC

Publications

Marc Vila, Maria-Ribera Sancho, Ernest Teniente
Modeling Context-Aware Events and Responses in an IoT Environment. CAiSE (2023)
David Arnaiz, Marc Vila, Eduard Alarcón, Francesc Moll, Maria-Ribera Sancho, Ernest Teniente
Relating Context and Self Awareness in the Internet of Things. CoopIS (2023)
Marc Vila, Maria-Ribera Sancho, Ernest Teniente
Monitoring, IoT Devices, and Semantics. PerCom Workshops (2023)
Marc Vila, Maria-Ribera Sancho, Ernest Teniente, Xavier Vilajosana
Critical infrastructure awareness based on IoT context data. Internet Things 23 (2023)
José Manuel Sánchez Ruiz, Francisco José Domínguez Mayo, Xavier Oriol, José Francisco Crespo, David Benavides, Ernest Teniente
A Benchmarking Proposal for DevOps Practices on Open Source Software Projects. CoRR (2023)
Xavier Oriol, Ernest Teniente, Marc Maynou, Sergi Nadal
Generating valid test data through data cloning. Future Gener. Comput. Syst. 144 (2023)
Marc Vila, Victor Casamayor-Pujol, Schahram Dustdar, Ernest Teniente
Edge-to-cloud sensing and actuation semantics in the industrial Internet of Things. Pervasive Mob. Comput. 87 (2022)
Montserrat Estañol, Ángel Jesús Varela-Vaca, María Teresa Gómez López, Ernest Teniente, Rafael M. Gasca
Reasoning on the usage control security policies over data artifact business process models. Comput. Sci. Inf. Syst. 19 (2) (2022)
Ernest Teniente
IoT Semantic Data Integration through Ontologies. SCC (2022)
Marc Vila, Maria-Ribera Sancho, Ernest Teniente, Xavier Vilajosana
Semantics for Connectivity Management in IoT Sensing. ER (2021)
Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente
Embedding reactive behavior into artifact-centric business process models. Future Gener. Comput. Syst. 117 (2021)
Toon Koppelaars, Xavier Oriol, Ernest Teniente, Sergi Curto, Eduard Pujol
UQJG: Identifying Transactions that Collaborate to Violate an SQL Assertion. CIKM (2021)
Marc Vila, Maria-Ribera Sancho, Ernest Teniente
XYZ Monitor: IoT Monitoring of Infrastructures Using Microservices. ICSOC Workshops (2020)
Victor-Alejandro Ortiz, Montserrat Estañol, Maria-Cristina V. Marinescu, Maria-Ribera Sancho, Ernest Teniente, Carmen Rueda
A Semantic Model to Fight Social Exclusion. MoDELS (Companion) (2019)
Montserrat Estañol, Jorge Munoz-Gama, Josep Carmona, Ernest Teniente
Conformance checking in UML artifact-centric business process models. Softw. Syst. Model. 18 (4) (2019)
Xavier Oriol, Ernest Teniente
Adapting Integrity Checking Techniques for Concurrent Operation Executions. SAM (2019)
Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente
: first-order expressive OCL constraints for efficient integrity checking. Softw. Syst. Model. 18 (4) (2019)
Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente
Automatic Business Process Model Extension to Repair Constraint Violations. ICSOC (2019)
Xavier Oriol, Ernest Teniente
An Ontology-Based Framework for Describing Discoverable Data Services. CAiSE (2018)
Montserrat Estañol, Maria-Ribera Sancho, Ernest Teniente
Ensuring the semantic correctness of a BAUML artifact-centric BPM. Inf. Softw. Technol. 93 (2018)
Montserrat Estañol, Mirjana Mazuran, Xavier Oriol, Letizia Tanca, Ernest Teniente
Process Conformance Checking by Relaxing Data Dependencies. SEBD (2017)
Giuseppe De Giacomo, Domenico Lembo, Xavier Oriol, Domenico Fabio Savo, Ernest Teniente
Practical Update Management in Ontology-Based Data Access. ISWC (1) (2017)
Xavier Oriol, Ernest Teniente
Simplification of UML/OCL schemas for efficient reasoning. J. Syst. Softw. 128 (2017)
Arne Bröring, Stefan Schmid, Corina Kim Schindhelm, Abdelmajid Khelil, Sebastian Käbisch, Denis Kramer, Danh Le Phuoc, Jelena Mitic, Darko Anicic, Ernest Teniente
Enabling IoT Ecosystems through Platform Interoperability. IEEE Softw. 34 (1) (2017)
Jordi Cabot, Cristina Gómez, Maria-Ribera Sancho, Ernest Teniente
30 Years of Contributions to Conceptual Modeling. Conceptual Modeling Perspectives (2017)
Montserrat Estañol, Esperanza Marcos, Xavier Oriol, Francisco J. Pérez Blanco, Ernest Teniente, Juan M. Vara
Validation of Service Blueprint Models by Means of Formal Simulation Techniques. ICSOC (2017)
Xavier Oriol, Ernest Teniente
: Expressive UML/OCL Conceptual Schemas for Finite Reasoning. ER (2017)
Giuseppe De Giacomo, Xavier Oriol, Montserrat Estañol, Ernest Teniente
Linking Data and BPMN Processes to Achieve Executable Models. CAiSE (2017)
Giansalvatore Mecca, Guillem Rull, Donatello Santoro, Ernest Teniente
GROM: a General Rewriter of Semantic Mappings. EDBT (2016)
Xavier Oriol, Ernest Teniente, Guillem Rull
TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server. EDBT (2016)
Xavier Oriol, Ernest Teniente
Incremental Checking of OCL Constraints with Aggregates Through SQL. ER (2015)
Giansalvatore Mecca, Guillem Rull, Donatello Santoro, Ernest Teniente
Ontology-based mappings. Data Knowl. Eng. 98 (2015)
Xavier Oriol, Ernest Teniente, Albert Tort
Computing repairs for constraint violations in UML/OCL conceptual schemas. Data Knowl. Eng. 99 (2015)
Guillem Rull, Carles Farré, Anna Queralt, Ernest Teniente, Toni Urpí
AuRUS: explaining the validation of UML/OCL conceptual schemas. Softw. Syst. Model. 14 (2) (2015)
Montserrat Estañol, Maria-Ribera Sancho, Ernest Teniente
Verification and Validation of UML Artifact-Centric Business Process Models. CAiSE (2015)
Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente
Verifiable UML Artifact-Centric Business Process Models. CIKM (2014)
Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente
Verifiable UML Artifact-Centric Business Process Models (Extended Version). CoRR (2014)
Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente
Logic Foundations of the OCL Modelling Language. JELIA (2014)
Xavier Oriol, Ernest Teniente, Albert Tort
Fixing Up Non-executable Operations in UML/OCL Conceptual Schemas. ER (2014)
Montserrat Estañol, Anna Queralt, Maria-Ribera Sancho, Ernest Teniente
Specifying Artifact-Centric Business Process Models in UML. BMSD (2014)
Xavier Oriol, Ernest Teniente
Incremental Checking of OCL Constraints through SQL Queries. OCL@MoDELS (2014)
Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff
Panel Discussion: Proposals for Improving OCL. OCL@MoDELS (2014)
Montserrat Estañol, Maria-Ribera Sancho, Ernest Teniente
Reasoning on UML Data-Centric Business Process Models. ICSOC (2013)
Carles Farré, Anna Queralt, Guillem Rull, Ernest Teniente, Toni Urpí
Automated reasoning on UML conceptual schemas with derived information and queries. Inf. Softw. Technol. 55 (9) (2013)
Giansalvatore Mecca, Guillem Rull, Donatello Santoro, Ernest Teniente
Semantic-Based Mappings. ER (2013)
Guillem Rull, Philip A. Bernstein, Ivo Garcia dos Santos, Yannis Katsis, Sergey Melnik, Ernest Teniente
Query containment in entity SQL. SIGMOD Conference (2013)
Diego Calvanese, Sven Hartmann, Ernest Teniente
Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211). Dagstuhl Reports 3 (5) (2013)
Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí
Validation of schema mappings with nested queries. Comput. Sci. Inf. Syst. 10 (1) (2013)
Anna Queralt, Ernest Teniente
Verification and Validation of UML Conceptual Schemas with OCL Constraints. ACM Trans. Softw. Eng. Methodol. 21 (2) (2012)
Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente
OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL. Description Logics (2012)
Montserrat Estañol, Anna Queralt, Maria-Ribera Sancho, Ernest Teniente
Artifact-Centric Business Process Models in UML. Business Process Management Workshops (2012)
Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. Data Knowl. Eng. 73 (2012)
Anna Queralt, Guillem Rull, Ernest Teniente, Carles Farré, Toni Urpí
AuRUS: Automated Reasoning on UML/OCL Schemas. ER (2010)
Anna Queralt, Ernest Teniente
Decidable Reasoning in UML Schemas with Constraints. JISBD (2009)
Anna Queralt, Ernest Teniente
Reasoning on UML Conceptual Schemas with Operations. CAiSE (2009)
Jordi Cabot, Ernest Teniente
Incremental integrity checking of UML/OCL conceptual schemas. J. Syst. Softw. 82 (9) (2009)
Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí
MVT: a schema mapping validation tool. EDBT (2009)
Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí
Validation of mappings between schemas. Data Knowl. Eng. 66 (3) (2008)
Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente
Improving the definition of general constraints in UML. Softw. Syst. Model. 7 (4) (2008)
Dolors Costal, Cristina Gómez, Anna Queralt, Ernest Teniente
Drawing Preconditions of Operation Contracts from Conceptual Schemas. CAiSE (2008)
Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí
Providing Explanations for Database Schema Validation. DEXA (2008)
Anna Queralt, Ernest Teniente
A platform independent model for the electronic marketplace domain. Softw. Syst. Model. 7 (2) (2008)
Anna Queralt, Ernest Teniente
Decidable Reasoning in UML Schemas with Constraints. CAiSE (2008)
Carles Farré, Guillem Rull, Ernest Teniente, Toni Urpí
SVTe: a tool to validate database schemas giving explanations. DBTest (2008)
Anna Queralt, Ernest Teniente
Validation of UML Conceptual Schemas with Operations. CAiSE Forum (2008)
Carles Farré, Werner Nutt, Ernest Teniente, Toni Urpí
Containment of Conjunctive Queries over Databases with Null Values. ICDT (2007)
Jordi Cabot, Ernest Teniente
Comprobación eficiente de restricciones de integridad en OCL. JISBD (2007)
Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí
Computing explanations for unlively queries in databases. CIKM (2007)
Jordi Cabot, Ernest Teniente
Transformation techniques for OCL constraints. Sci. Comput. Program. 68 (3) (2007)
Jordi Cabot, Ernest Teniente
Incremental Evaluation of OCL Constraints. CAiSE (2006)
Jordi Cabot, Ernest Teniente
Transforming OCL constraints: a context change approach. SAC (2006)
Jordi Cabot, Ernest Teniente
Constraint Support in MDA Tools: A Survey. ECMDA-FA (2006)
Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente
Facilitating the Definition of General Constraints in UML. MoDELS (2006)
Anna Queralt, Ernest Teniente
Reasoning on UML Class Diagrams with OCL Constraints. ER (2006)
Dolors Costal, Cristina Gómez, Ernest Teniente
Declarative Specification of Taxonomic Constraint Enforcement in Conceptual Schemas. CAiSE Forum (2006)
Anna Queralt, Ernest Teniente
Specifying the Semantics of Operation Contracts in Conceptual Modeling. J. Data Semant. (2006)
Carles Farré, Ernest Teniente, Toni Urpí
Checking query containment with the CQC method. Data Knowl. Eng. 53 (2) (2005)
Jordi Cabot, Ernest Teniente
Generación Automática de Restricciones de Integridad: Estado del Arte. DSDM (2005)
Anna Queralt, Ernest Teniente
On the Semantics of Operation Contracts in Conceptual Modeling. CAiSE Short Paper Proceedings (2005)
Jordi Cabot, Ernest Teniente
Computing the Relevant Instances That May Violate an OCL Constraint. CAiSE (2005)
Ernest Teniente, Carles Farré, Toni Urpí, Carlos Beltrán, David Gañán
SVT: Schema Validation Tool for Microsoft SQL-Server. VLDB (2004)
Jordi Cabot, Ernest Teniente
Determining the Structural Events That May Violate an Integrity Constraint. UML (2004)
Carles Farré, Ernest Teniente, Toni Urpí
A New Approach for Checking Schema Validation Properties. DEXA (2004)
Jordi Cabot, Antoni Olivé, Ernest Teniente
Entity Types Derived by Symbol-Generating Rules. ER (2003)
Jordi Cabot, Antoni Olivé, Ernest Teniente
Representing Temporal Information in UML. UML (2003)
Ernest Teniente, Toni Urpí
On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems CoRR (2003)
Enric Mayol, Ernest Teniente
Consistency preserving updates in deductive databases. Data Knowl. Eng. 47 (1) (2003)
Carles Farré, Ernest Teniente, Toni Urpí
Query Containment with Negated IDB Predicates. ADBIS (2003)
Carles Farré, Ernest Teniente, Toni Urpí
Handling Existential Derived Predicates in View Updating. ICLP (2003)
Ernest Teniente, Toni Urpí
On the abductive or deductive nature of database schema validation and update processing problems. Theory Pract. Log. Program. 3 (3) (2003)
Antoni Olivé, Ernest Teniente
Derived types and taxonomic constraints in conceptual modeling. Inf. Syst. 27 (6) (2002)
Dolors Costal, Maria-Ribera Sancho, Ernest Teniente
Understanding Redundancy in UML Models for Object-Oriented Analysis. CAiSE (2002)
Dolors Costal, Antoni Olivé, Ernest Teniente
Relationship Type Refinement in Conceptual Models with Multiple Classification. ER (2001)
Enric Mayol, Ernest Teniente
Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance. FoIKS (2000)
Enric Mayol, Ernest Teniente
A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. ER (Workshops) (1999)
Carles Farré, Ernest Teniente, Toni Urpí
The Constructive Method for Query Containment Checking. DEXA (1999)
Enric Mayol, Ernest Teniente
Addressing Efficiency Issues During the Process of Integrity Maintenance. DEXA (1999)
Enric Mayol, Joan Antoni Pastor, Ernest Teniente, Toni Urpí, Carles Farré
Integrated Treatment of Updates in Deductive Databases: the FOLRE Project (extended abstract). JIDBD (1998)
Carles Farré, Ernest Teniente, Toni Urpí
Query Containment Checking as a View Updating Problem. DEXA (1998)
Carles Farré, Ernest Teniente, Toni Urpí
Comprobación del Contenimiento de Consultas mediante Actualización de Vistas. JIDBD (1997)

Ernest Teniente.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Ernest Teniente