Skip to content

Ernest Teniente

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

61

Venues

18

Active years

1992–2025

Best venue rank

A*

Where they publish

Papers

61 indexed papers, newest first.

YearVenueTitleAuthors
2025CaiSEDeclarative Domain Testing: An Approach for Automatic and Integrated Test Data Generation.Jos Francisco Crespo, Mart Juanola, Xavier Oriol, Ernest Teniente
2024MODELSIMP-Logics: a metamodel for analysis and transformations of Datalog programs.Jos Francisco Crespo, Mart Juanola, Xavier Oriol, Mart Recalde, Ernest Teniente
2023CaiSEModeling Context-Aware Events and Responses in an IoT Environment.Marc Vila, Maria-Ribera Sancho, Ernest Teniente
2023CoopISRelating Context and Self Awareness in the Internet of Things.David Arnaiz, Marc Vila, Eduard Alarcn, Francesc Moll, Maria-Ribera Sancho, Ernest Teniente
2023PERCOMMonitoring, IoT Devices, and Semantics.Marc Vila, Maria-Ribera Sancho, Ernest Teniente
2021CIKMUQJG: Identifying Transactions that Collaborate to Violate an SQL Assertion.Toon Koppelaars, Xavier Oriol, Ernest Teniente, Sergi Curto, Eduard Pujol
2021ERSemantics for Connectivity Management in IoT Sensing.Marc Vila, Maria-Ribera Sancho, Ernest Teniente, Xavier Vilajosana
2020ICSOCXYZ Monitor: IoT Monitoring of Infrastructures Using Microservices.Marc Vila, Maria-Ribera Sancho, Ernest Teniente
2019ICSOCAutomatic Business Process Model Extension to Repair Constraint Violations.Xavier Oriol, Giuseppe De Giacomo, Montserrat Estaol, Ernest Teniente
2019MODELSA Semantic Model to Fight Social Exclusion.Victor-Alejandro Ortiz, Montserrat Estaol, Maria-Cristina V. Marinescu, Maria-Ribera Sancho, Ernest Teniente, Carmen Rueda
2018CaiSEAn Ontology-Based Framework for Describing Discoverable Data Services.Xavier Oriol, Ernest Teniente
2017CaiSELinking Data and BPMN Processes to Achieve Executable Models.Giuseppe De Giacomo, Xavier Oriol, Montserrat Estaol, Ernest Teniente
2017EROCLXavier Oriol, Ernest Teniente
2017ICSOCValidation of Service Blueprint Models by Means of Formal Simulation Techniques.Montserrat Estaol, Esperanza Marcos, Xavier Oriol, Francisco J. Prez-Blanco, Ernest Teniente, Juan M. Vara
2016EDBTGROM: a General Rewriter of Semantic Mappings.Giansalvatore Mecca, Guillem Rull, Donatello Santoro, Ernest Teniente
2016EDBTTINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server.Xavier Oriol, Ernest Teniente, Guillem Rull
2015CaiSEVerification and Validation of UML Artifact-Centric Business Process Models.Montserrat Estaol, Maria-Ribera Sancho, Ernest Teniente
2015ERIncremental Checking of OCL Constraints with Aggregates Through SQL.Xavier Oriol, Ernest Teniente
2014CIKMVerifiable UML Artifact-Centric Business Process Models.Diego Calvanese, Marco Montali, Montserrat Estaol, Ernest Teniente
2014ERFixing Up Non-executable Operations in UML/OCL Conceptual Schemas.Xavier Oriol, Ernest Teniente, Albert Tort
2014JELIALogic Foundations of the OCL Modelling Language.Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente
2014MODELSPanel Discussion: Proposals for Improving OCL.Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frdric Jouault, Ernest Teniente, Burkhart Wolff
2014MODELSIncremental Checking of OCL Constraints through SQL Queries.Xavier Oriol, Ernest Teniente
2013ERSemantic-Based Mappings.Giansalvatore Mecca, Guillem Rull, Donatello Santoro, Ernest Teniente
2013ICSOCReasoning on UML Data-Centric Business Process Models.Montserrat Estaol, Maria-Ribera Sancho, Ernest Teniente
2013SIGMODQuery containment in entity SQL.Guillem Rull, Philip A. Bernstein, Ivo Garcia dos Santos, Yannis Katsis, Sergey Melnik, Ernest Teniente
2012BPMArtifact-Centric Business Process Models in UML.Montserrat Estaol, Anna Queralt, Maria-Ribera Sancho, Ernest Teniente
2010ERAuRUS: Automated Reasoning on UML/OCL Schemas.Anna Queralt, Guillem Rull, Ernest Teniente, Carles Farr, Toni Urp
2009CaiSEReasoning on UML Conceptual Schemas with Operations.Anna Queralt, Ernest Teniente
2009EDBTMVT: a schema mapping validation tool.Guillem Rull, Carles Farr, Ernest Teniente, Toni Urp
2008CaiSEDrawing Preconditions of Operation Contracts from Conceptual Schemas.Dolors Costal, Cristina Gmez, Anna Queralt, Ernest Teniente
2008CaiSEDecidable Reasoning in UML Schemas with Constraints.Anna Queralt, Ernest Teniente
2008CaiSEValidation of UML Conceptual Schemas with Operations.Anna Queralt, Ernest Teniente
2008DEXAProviding Explanations for Database Schema Validation.Guillem Rull, Carles Farr, Ernest Teniente, Toni Urp
2008SIGMODSVTe: a tool to validate database schemas giving explanations.Carles Farr, Guillem Rull, Ernest Teniente, Toni Urp
2007CIKMComputing explanations for unlively queries in databases.Guillem Rull, Carles Farr, Ernest Teniente, Toni Urp
2007ICDTContainment of Conjunctive Queries over Databases with Null Values.Carles Farr, Werner Nutt, Ernest Teniente, Toni Urp
2006CaiSEIncremental Evaluation of OCL Constraints.Jordi Cabot, Ernest Teniente
2006CaiSEDeclarative Specification of Taxonomic Constraint Enforcement in Conceptual Schemas.Dolors Costal, Cristina Gmez, Ernest Teniente
2006ERReasoning on UML Class Diagrams with OCL Constraints.Anna Queralt, Ernest Teniente
2006MODELSFacilitating the Definition of General Constraints in UML.Dolors Costal, Cristina Gmez, Anna Queralt, Ruth Ravents, Ernest Teniente
2006SACTransforming OCL constraints: a context change approach.Jordi Cabot, Ernest Teniente
2005CaiSEComputing the Relevant Instances That May Violate an OCL Constraint.Jordi Cabot, Ernest Teniente
2005CaiSEOn the Semantics of Operation Contracts in Conceptual Modeling.Anna Queralt, Ernest Teniente
2004DEXAA New Approach for Checking Schema Validation Properties.Carles Farr, Ernest Teniente, Toni Urp
2004VLDBSVT: Schema Validation Tool for Microsoft SQL-Server.Ernest Teniente, Carles Farr, Toni Urp, Carlos Beltrn, David Gan
2003ADBISQuery Containment with Negated IDB Predicates.Carles Farr, Ernest Teniente, Toni Urp
2003EREntity Types Derived by Symbol-Generating Rules.Jordi Cabot, Antoni Oliv, Ernest Teniente
2003ICLPHandling Existential Derived Predicates in View Updating.Carles Farr, Ernest Teniente, Toni Urp
2002CaiSEUnderstanding Redundancy in UML Models for Object-Oriented Analysis.Dolors Costal, Maria-Ribera Sancho, Ernest Teniente
2001ERRelationship Type Refinement in Conceptual Models with Multiple Classification.Dolors Costal, Antoni Oliv, Ernest Teniente
1999DEXAThe Constructive Method for Query Containment Checking.Carles Farr, Ernest Teniente, Toni Urp
1999DEXAAddressing Efficiency Issues During the Process of Integrity Maintenance.Enric Mayol, Ernest Teniente
1999ERA Survey of Current Methods for Integrity Constraint Maintenance and View Updating.Enric Mayol, Ernest Teniente
1998DEXAQuery Containment Checking as a View Updating Problem.Carles Farr, Ernest Teniente, Toni Urp
1997DEXAStructuring the Process of Integrity Maintenance.Enric Mayol, Ernest Teniente
1997VLDBMaterialized Views Selection in a Multidimensional Database.Elena Baralis, Stefano Paraboschi, Ernest Teniente
1996CaiSEHandling Conceptual Model Validation by Planning.Dolors Costal, Ernest Teniente, Toni Urp, Carles Farr
1996EDBTHow to Tackle Schema Validation by View Updating.Hendrik Decker, Ernest Teniente, Toni Urp
1995ICDEA Common Framework for Classifying and Specifying Deductive Database Updating Problems.Ernest Teniente, Toni Urp
1992EDBTThe Events Method for View Updating in Deductive Databases.Ernest Teniente, Antoni Oliv