Ernest Teniente

130 papers A* 3A 29B 8C 7Misc 1Journal 33Unranked 38

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	Declarative Domain Testing: An Approach for Automatic and Integrated Test Data Generation. CAiSE (1) José Francisco Crespo, Martí Juanola, Xavier Oriol, Ernest Teniente
2025	J	`jnl`	Incremental checking of SQL assertions in an RDBMS. Inf. Syst. Xavier Oriol, Ernest Teniente
2024	—	`conf`	IMP-Logics: a metamodel for analysis and transformations of Datalog programs. MoDELS (Companion) José Francisco Crespo, Martí Juanola, Xavier Oriol, Martí Recalde, Ernest Teniente
2023	J	`jnl`	A Benchmarking Proposal for DevOps Practices on Open Source Software Projects. CoRR José Manuel Sánchez Ruiz, Francisco José Domínguez Mayo, Xavier Oriol, José Francisco Crespo, David Benavides, Ernest Teniente
2023	J	`jnl`	Critical infrastructure awareness based on IoT context data. Internet Things Marc Vila, Maria-Ribera Sancho, Ernest Teniente, Xavier Vilajosana
2023	J	`jnl`	Generating valid test data through data cloning. Future Gener. Comput. Syst. Xavier Oriol, Ernest Teniente, Marc Maynou, Sergi Nadal
2023	A	`conf`	Modeling Context-Aware Events and Responses in an IoT Environment. CAiSE Marc Vila, Maria-Ribera Sancho, Ernest Teniente
2023	—	`conf`	Monitoring, IoT Devices, and Semantics. PerCom Workshops Marc Vila, Maria-Ribera Sancho, Ernest Teniente
2023	B	`conf`	Relating Context and Self Awareness in the Internet of Things. CoopIS David Arnaiz, Marc Vila, Eduard Alarcón, Francesc Moll, Maria-Ribera Sancho, Ernest Teniente
2022	J	`jnl`	Edge-to-cloud sensing and actuation semantics in the industrial Internet of Things. Pervasive Mob. Comput. Marc Vila, Víctor Casamayor-Pujol, Schahram Dustdar, Ernest Teniente
2022	—	`ed.`	IEEE International Conference on Services Computing, SCC 2022, Barcelona, Spain, July 10-16, 2022 SCC Claudio Agostino Ardagna, Hongyi Bian, Carl K. Chang, Rong N. Chang, Ernesto Damiani, Schahram Dustdar, Jordi Marco, Munindar P. Singh, Ernest Teniente, Robert Ward, Zhongjie Wang, Fatos Xhafa, Jia Zhang
2022	—	`conf`	IoT Semantic Data Integration through Ontologies. SCC Ernest Teniente
2022	J	`jnl`	Reasoning on the usage control security policies over data artifact business process models. Comput. Sci. Inf. Syst. Montserrat Estañol, Ángel Jesús Varela-Vaca, María Teresa Gómez-López, Ernest Teniente, Rafael M. Gasca
2021	A	`ed.`	Advanced Information Systems Engineering - 33rd International Conference, CAiSE 2021, Melbourne, VIC, Australia, June 28 - July 2, 2021, Proceedings CAiSE Marcello La Rosa, Shazia Sadiq, Ernest Teniente
2021	J	`jnl`	Embedding reactive behavior into artifact-centric business process models. Future Gener. Comput. Syst. Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente
2021	A	`conf`	Semantics for Connectivity Management in IoT Sensing. ER Marc Vila, Maria-Ribera Sancho, Ernest Teniente, Xavier Vilajosana
2021	A	`conf`	UQJG: Identifying Transactions that Collaborate to Violate an SQL Assertion. CIKM Toon Koppelaars, Xavier Oriol, Ernest Teniente, Sergi Curto, Eduard Pujol
2020	—	`conf`	XYZ Monitor: IoT Monitoring of Infrastructures Using Microservices. ICSOC Workshops Marc Vila, Maria-Ribera Sancho, Ernest Teniente
2019	—	`conf`	A Semantic Model to Fight Social Exclusion. MoDELS (Companion) Victor-Alejandro Ortiz, Montserrat Estañol, Maria-Cristina V. Marinescu, Maria-Ribera Sancho, Ernest Teniente, Carmen Rueda
2019	—	`conf`	Adapting Integrity Checking Techniques for Concurrent Operation Executions. SAM Xavier Oriol, Ernest Teniente
2019	A	`conf`	Automatic Business Process Model Extension to Repair Constraint Violations. ICSOC Xavier Oriol, Giuseppe De Giacomo, Montserrat Estañol, Ernest Teniente
2019	J	`jnl`	Conformance checking in UML artifact-centric business process models. Softw. Syst. Model. Montserrat Estañol, Jorge Munoz-Gama, Josep Carmona, Ernest Teniente
2019	J	`jnl`	OCL Softw. Syst. Model. Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente
2018	A	`conf`	An Ontology-Based Framework for Describing Discoverable Data Services. CAiSE Xavier Oriol, Ernest Teniente
2018	—	`ed.`	Business Process Management Workshops - BPM 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Papers Business Process Management Workshops Ernest Teniente, Matthias Weidlich
2018	J	`jnl`	Ensuring the semantic correctness of a BAUML artifact-centric BPM. Inf. Softw. Technol. Montserrat Estañol, Maria-Ribera Sancho, Ernest Teniente
2017	—	`conf`	30 Years of Contributions to Conceptual Modeling. Conceptual Modeling Perspectives Jordi Cabot, Cristina Gómez, Maria-Ribera Sancho, Ernest Teniente
2017	—	`ed.`	Conceptual Modeling Perspectives. Jordi Cabot, Cristina Gómez, Oscar Pastor, Maria-Ribera Sancho, Ernest Teniente
2017	J	`jnl`	Enabling IoT Ecosystems through Platform Interoperability. IEEE Softw. Arne Bröring, Stefan Schmid, Corina Kim Schindhelm, Abdelmajid Khelil, Sebastian Käbisch, Denis Kramer, Danh Le Phuoc, Jelena Mitic, Darko Anicic, Ernest Teniente
2017	A	`conf`	Linking Data and BPMN Processes to Achieve Executable Models. CAiSE Giuseppe De Giacomo, Xavier Oriol, Montserrat Estañol, Ernest Teniente
2017	A	`conf`	OCL ER Xavier Oriol, Ernest Teniente
2017	—	`conf`	Practical Update Management in Ontology-Based Data Access. ISWC (1) Giuseppe De Giacomo, Domenico Lembo, Xavier Oriol, Domenico Fabio Savo, Ernest Teniente
2017	—	`conf`	Process Conformance Checking by Relaxing Data Dependencies. SEBD Montserrat Estañol, Mirjana Mazuran, Xavier Oriol, Letizia Tanca, Ernest Teniente
2017	J	`jnl`	Simplification of UML/OCL schemas for efficient reasoning. J. Syst. Softw. Xavier Oriol, Ernest Teniente
2017	A	`conf`	Validation of Service Blueprint Models by Means of Formal Simulation Techniques. ICSOC Montserrat Estañol, Esperanza Marcos, Xavier Oriol, Francisco J. Pérez-Blanco, Ernest Teniente, Juan M. Vara
2016	B	`conf`	GROM: a General Rewriter of Semantic Mappings. EDBT Giansalvatore Mecca, Guillem Rull, Donatello Santoro, Ernest Teniente
2016	B	`conf`	TINTIN: a Tool for INcremental INTegrity checking of Assertions in SQL Server. EDBT Xavier Oriol, Ernest Teniente, Guillem Rull
2015	J	`jnl`	AuRUS: explaining the validation of UML/OCL conceptual schemas. Softw. Syst. Model. Guillem Rull, Carles Farré, Anna Queralt, Ernest Teniente, Toni Urpí
2015	J	`jnl`	Computing repairs for constraint violations in UML/OCL conceptual schemas. Data Knowl. Eng. Xavier Oriol, Ernest Teniente, Albert Tort
2015	—	`ed.`	Enterprise Information Systems - 17th International Conference, ICEIS 2015, Barcelona, Spain, April 27-30, 2015, Revised Selected Papers ICEIS (Revised Selected Papers) Slimane Hammoudi, Leszek A. Maciaszek, Ernest Teniente, Olivier Camp, José Cordeiro
2015	—	`ed.`	ICEIS 2015 - Proceedings of the 17th International Conference on Enterprise Information Systems, Volume 1, Barcelona, Spain, 27-30 April, 2015 ICEIS (1) Slimane Hammoudi, Leszek A. Maciaszek, Ernest Teniente
2015	—	`ed.`	ICEIS 2015 - Proceedings of the 17th International Conference on Enterprise Information Systems, Volume 2, Barcelona, Spain, 27-30 April, 2015 ICEIS (2) Slimane Hammoudi, Leszek A. Maciaszek, Ernest Teniente
2015	—	`ed.`	ICEIS 2015 - Proceedings of the 17th International Conference on Enterprise Information Systems, Volume 3, Barcelona, Spain, 27-30 April, 2015 ICEIS (3) Slimane Hammoudi, Leszek A. Maciaszek, Ernest Teniente
2015	A	`conf`	Incremental Checking of OCL Constraints with Aggregates Through SQL. ER Xavier Oriol, Ernest Teniente
2015	J	`jnl`	Ontology-based mappings. Data Knowl. Eng. Giansalvatore Mecca, Guillem Rull, Donatello Santoro, Ernest Teniente
2015	A	`conf`	Verification and Validation of UML Artifact-Centric Business Process Models. CAiSE Montserrat Estañol, Maria-Ribera Sancho, Ernest Teniente
2014	A	`conf`	Fixing Up Non-executable Operations in UML/OCL Conceptual Schemas. ER Xavier Oriol, Ernest Teniente, Albert Tort
2014	—	`conf`	Incremental Checking of OCL Constraints through SQL Queries. OCL@MoDELS Xavier Oriol, Ernest Teniente
2014	B	`conf`	Logic Foundations of the OCL Modelling Language. JELIA Enrico Franconi, Alessandro Mosca, Xavier Oriol, Guillem Rull, Ernest Teniente
2014	—	`conf`	Panel Discussion: Proposals for Improving OCL. OCL@MoDELS Achim D. Brucker, Tony Clark, Carolina Dania, Geri Georg, Martin Gogolla, Frédéric Jouault, Ernest Teniente, Burkhart Wolff
2014	—	`conf`	Specifying Artifact-Centric Business Process Models in UML. BMSD Montserrat Estañol, Anna Queralt, Maria-Ribera Sancho, Ernest Teniente
2014	J	`jnl`	Verifiable UML Artifact-Centric Business Process Models (Extended Version). CoRR Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente
2014	A	`conf`	Verifiable UML Artifact-Centric Business Process Models. CIKM Diego Calvanese, Marco Montali, Montserrat Estañol, Ernest Teniente
2013	J	`jnl`	Automated Reasoning on Conceptual Schemas (Dagstuhl Seminar 13211). Dagstuhl Reports Diego Calvanese, Sven Hartmann, Ernest Teniente
2013	J	`jnl`	Automated reasoning on UML conceptual schemas with derived information and queries. Inf. Softw. Technol. Carles Farré, Anna Queralt, Guillem Rull, Ernest Teniente, Toni Urpí
2013	—	`conf`	Query containment in entity SQL. SIGMOD Conference Guillem Rull, Philip A. Bernstein, Ivo Garcia dos Santos, Yannis Katsis, Sergey Melnik, Ernest Teniente
2013	A	`conf`	Reasoning on UML Data-Centric Business Process Models. ICSOC Montserrat Estañol, Maria-Ribera Sancho, Ernest Teniente
2013	A	`conf`	Semantic-Based Mappings. ER Giansalvatore Mecca, Guillem Rull, Donatello Santoro, Ernest Teniente
2013	J	`jnl`	Validation of schema mappings with nested queries. Comput. Sci. Inf. Syst. Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí
2012	—	`conf`	Artifact-Centric Business Process Models in UML. Business Process Management Workshops Montserrat Estañol, Anna Queralt, Maria-Ribera Sancho, Ernest Teniente
2012	—	`conf`	OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL. Description Logics Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente
2012	J	`jnl`	OCL-Lite: Finite reasoning on UML/OCL conceptual schemas. Data Knowl. Eng. Anna Queralt, Alessandro Artale, Diego Calvanese, Ernest Teniente
2012	J	`jnl`	Verification and Validation of UML Conceptual Schemas with OCL Constraints. ACM Trans. Softw. Eng. Methodol. Anna Queralt, Ernest Teniente
2010	A	`conf`	AuRUS: Automated Reasoning on UML/OCL Schemas. ER Anna Queralt, Guillem Rull, Ernest Teniente, Carles Farré, Toni Urpí
2010	—	`ed.`	XV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2010), Valencia, Spain, September 7-10, 2010. Actas JISBD Ernest Teniente, Silvia Abrahão
2009	—	`conf`	Decidable Reasoning in UML Schemas with Constraints. JISBD Anna Queralt, Ernest Teniente
2009	J	`jnl`	Incremental integrity checking of UML/OCL conceptual schemas. J. Syst. Softw. Jordi Cabot, Ernest Teniente
2009	B	`conf`	MVT: a schema mapping validation tool. EDBT Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí
2009	A	`conf`	Reasoning on UML Conceptual Schemas with Operations. CAiSE Anna Queralt, Ernest Teniente
2008	J	`jnl`	A platform independent model for the electronic marketplace domain. Softw. Syst. Model. Anna Queralt, Ernest Teniente
2008	A	`conf`	Decidable Reasoning in UML Schemas with Constraints. CAiSE Anna Queralt, Ernest Teniente
2008	A	`conf`	Drawing Preconditions of Operation Contracts from Conceptual Schemas. CAiSE Dolors Costal, Cristina Gómez, Anna Queralt, Ernest Teniente
2008	J	`jnl`	Improving the definition of general constraints in UML. Softw. Syst. Model. Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente
2008	C	`conf`	Providing Explanations for Database Schema Validation. DEXA Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí
2008	—	`conf`	SVTe: a tool to validate database schemas giving explanations. DBTest Carles Farré, Guillem Rull, Ernest Teniente, Toni Urpí
2008	—	`conf`	Validation of UML Conceptual Schemas with Operations. CAiSE Forum Anna Queralt, Ernest Teniente
2008	J	`jnl`	Validation of mappings between schemas. Data Knowl. Eng. Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí
2007	—	`conf`	Comprobación eficiente de restricciones de integridad en OCL. JISBD Jordi Cabot, Ernest Teniente
2007	A	`conf`	Computing explanations for unlively queries in databases. CIKM Guillem Rull, Carles Farré, Ernest Teniente, Toni Urpí
2007	A	`conf`	Containment of Conjunctive Queries over Databases with Null Values. ICDT Carles Farré, Werner Nutt, Ernest Teniente, Toni Urpí
2007	J	`jnl`	Transformation techniques for OCL constraints. Sci. Comput. Program. Jordi Cabot, Ernest Teniente
2006	—	`conf`	Constraint Support in MDA Tools: A Survey. ECMDA-FA Jordi Cabot, Ernest Teniente
2006	—	`conf`	Declarative Specification of Taxonomic Constraint Enforcement in Conceptual Schemas. CAiSE Forum Dolors Costal, Cristina Gómez, Ernest Teniente
2006	A	`conf`	Facilitating the Definition of General Constraints in UML. MoDELS Dolors Costal, Cristina Gómez, Anna Queralt, Ruth Raventós, Ernest Teniente
2006	A	`conf`	Incremental Evaluation of OCL Constraints. CAiSE Jordi Cabot, Ernest Teniente
2006	A	`conf`	Reasoning on UML Class Diagrams with OCL Constraints. ER Anna Queralt, Ernest Teniente
2006	J	`jnl`	Specifying the Semantics of Operation Contracts in Conceptual Modeling. J. Data Semant. Anna Queralt, Ernest Teniente
2006	Misc	`conf`	Transforming OCL constraints: a context change approach. SAC Jordi Cabot, Ernest Teniente
2005	—	`ed.`	Advanced Information Systems Engineering, 17th International Conference, CAiSE 2005, Porto, Portugal, June 13-17, 2005, Proceedings of the CAiSE'05 Workshops, Vol. 2 CAiSE Workshops (2) Jaelson Castro, Ernest Teniente
2005	J	`jnl`	Checking query containment with the CQC method. Data Knowl. Eng. Carles Farré, Ernest Teniente, Toni Urpí
2005	A	`conf`	Computing the Relevant Instances That May Violate an OCL Constraint. CAiSE Jordi Cabot, Ernest Teniente
2005	—	`conf`	Generación Automática de Restricciones de Integridad: Estado del Arte. DSDM Jordi Cabot, Ernest Teniente
2005	—	`conf`	On the Semantics of Operation Contracts in Conceptual Modeling. CAiSE Short Paper Proceedings Anna Queralt, Ernest Teniente
2004	C	`conf`	A New Approach for Checking Schema Validation Properties. DEXA Carles Farré, Ernest Teniente, Toni Urpí
2004	—	`conf`	Determining the Structural Events That May Violate an Integrity Constraint. UML Jordi Cabot, Ernest Teniente
2004	A*	`conf`	SVT: Schema Validation Tool for Microsoft SQL-Server. VLDB Ernest Teniente, Carles Farré, Toni Urpí, Carlos Beltrán, David Gañán
2003	J	`jnl`	Consistency preserving updates in deductive databases. Data Knowl. Eng. Enric Mayol, Ernest Teniente
2003	A	`conf`	Entity Types Derived by Symbol-Generating Rules. ER Jordi Cabot, Antoni Olivé, Ernest Teniente
2003	B	`conf`	Handling Existential Derived Predicates in View Updating. ICLP Carles Farré, Ernest Teniente, Toni Urpí
2003	—	`ch.`	Materialized Views in Multidimensional Databases. Multidimensional Databases Stefano Paraboschi, Giuseppe Sindoni, Elena Baralis, Ernest Teniente
2003	J	`jnl`	On the Abductive or Deductive Nature of Database Schema Validation and Update Processing Problems CoRR Ernest Teniente, Toni Urpí
2003	J	`jnl`	On the abductive or deductive nature of database schema validation and update processing problems. Theory Pract. Log. Program. Ernest Teniente, Toni Urpí
2003	C	`conf`	Query Containment with Negated IDB Predicates. ADBIS Carles Farré, Ernest Teniente, Toni Urpí
2003	—	`conf`	Representing Temporal Information in UML. UML Jordi Cabot, Antoni Olivé, Ernest Teniente
2002	J	`jnl`	Derived types and taxonomic constraints in conceptual modeling. Inf. Syst. Antoni Olivé, Ernest Teniente
2002	A	`conf`	Understanding Redundancy in UML Models for Object-Oriented Analysis. CAiSE Dolors Costal, Maria-Ribera Sancho, Ernest Teniente
2001	A	`conf`	Relationship Type Refinement in Conceptual Models with Multiple Classification. ER Dolors Costal, Antoni Olivé, Ernest Teniente
2000	—	`conf`	Dealing with Modification Requests During View Updating and Integrity Constraint Maintenance. FoIKS Enric Mayol, Ernest Teniente
1999	—	`conf`	A Survey of Current Methods for Integrity Constraint Maintenance and View Updating. ER (Workshops) Enric Mayol, Ernest Teniente
1999	C	`conf`	Addressing Efficiency Issues During the Process of Integrity Maintenance. DEXA Enric Mayol, Ernest Teniente
1999	C	`conf`	The Constructive Method for Query Containment Checking. DEXA Carles Farré, Ernest Teniente, Toni Urpí
1998	—	`conf`	Integrated Treatment of Updates in Deductive Databases: the FOLRE Project (extended abstract). JIDBD Enric Mayol, Joan Antoni Pastor, Ernest Teniente, Toni Urpí, Carles Farré
1998	C	`conf`	Query Containment Checking as a View Updating Problem. DEXA Carles Farré, Ernest Teniente, Toni Urpí
1997	—	`conf`	An Approach to Obtain Intensional Translation for Consistent View Updating. DOOD Dolors Costal, Ernest Teniente, Toni Urpí
1997	—	`conf`	Comprobación del Contenimiento de Consultas mediante Actualización de Vistas. JIDBD Carles Farré, Ernest Teniente, Toni Urpí
1997	—	`conf`	FOLRE: A Deductive Database System for the Integrated Treatment of Updates. Rules in Database Systems Enric Mayol, Joan Antoni Pastor, Ernest Teniente, Toni Urpí
1997	A*	`conf`	Materialized Views Selection in a Multidimensional Database. VLDB Elena Baralis, Stefano Paraboschi, Ernest Teniente
1997	C	`conf`	Structuring the Process of Integrity Maintenance. DEXA Enric Mayol, Ernest Teniente
1997	—	`conf`	Validating Active Rules by Planning. Rules in Database Systems Piero Fraternali, Ernest Teniente, Toni Urpí
1996	—	`conf`	FOLRE: Un sistema papa et tratamiento integrado de actualizaciones en bases de datos. JIDBD Ernest Teniente, Carles Farré, Carme Martín, Enric Mayol, Joan Antoni Pastor, Jaume Sistac, Toni Urpí
1996	A	`conf`	Handling Conceptual Model Validation by Planning. CAiSE Dolors Costal, Ernest Teniente, Toni Urpí, Carles Farré
1996	B	`conf`	How to Tackle Schema Validation by View Updating. EDBT Hendrik Decker, Ernest Teniente, Toni Urpí
1995	A*	`conf`	A Common Framework for Classifying and Specifying Deductive Database Updating Problems. ICDE Ernest Teniente, Toni Urpí
1995	—	`conf`	An Abductive Framework to Handle Consistency-preserving Updates in Deductive Databases. Deductive Databases / Abduction in Deductive Databases Ernest Teniente
1995	J	`jnl`	Updating Knowledge Bases While Maintaining Their Consistency VLDB J. Ernest Teniente, Antoni Olivé
1994	—	`conf`	A Common Framework for Classifying and Specifying Deductive Database Updating Problems. DAISD Ernest Teniente, Toni Urpí
1993	—	`conf`	Incorporating Modification Requests in Updating Consistent Knowledge Bases. DAISD Enric Mayol, Ernest Teniente
1992	—	`—`	El Mètode dels esdeveniments per a l'Actualització de vistes en bases de dades deductives. Ernest Teniente
1992	B	`conf`	The Events Method for View Updating in Deductive Databases. EDBT Ernest Teniente, Antoni Olivé
1990	—	`conf`	The Internal Events Method for View Updating in Deductive Databases. DAISD Ernest Teniente