Travelled to:1 × China
1 × India
1 × Italy
1 × Luxembourg
1 × Spain
1 × Sweden
1 × The Netherlands
2 × Canada
2 × France
2 × Greece
2 × USA
3 × Portugal
Collaborated with:J.Cabot A.Queralt D.Costal C.Farré T.Urpí M.Sancho M.Estañol C.Gómez G.Rull A.Olivé E.Baralis S.Paraboschi D.Calvanese M.Montali R.Raventós C.Beltrán D.Gañán P.A.Bernstein I.G.d.Santos Y.Katsis S.Melnik
Talks about:constraint (8) uml (7) schema (4) model (4) ocl (4) conceptu (3) valid (3) transform (2) artifact (2) process (2)
Person: Ernest Teniente
DBLP: Teniente:Ernest
Facilitated 3 volumes:
EdEdEdContributed to:
2015
2014
20132009200820072006
2006
2006
200620072005
2004
2004
20032003200219971996Wrote 20 papers:
- CAiSE-2015-EstanolST #modelling #process #uml #validation #verification
- Verification and Validation of UML Artifact-Centric Business Process Models (ME, MRS, ET), pp. 434–449.
- CIKM-2014-CalvaneseMET #modelling #process #uml
- Verifiable UML Artifact-Centric Business Process Models (DC, MM, ME, ET), pp. 1289–1298.
- SIGMOD-2013-RullBSKMT #query #sql
- Query containment in entity SQL (GR, PAB, IGdS, YK, SM, ET), pp. 1169–1172.
- CAiSE-2009-QueraltT #concept #reasoning #uml
- Reasoning on UML Conceptual Schemas with Operations (AQ, ET), pp. 47–62.
- CAiSE-2008-CostalGQT #concept #contract
- Drawing Preconditions of Operation Contracts from Conceptual Schemas (DC, CG, AQ, ET), pp. 266–280.
- CAiSE-2008-QueraltT #constraints #decidability #reasoning #uml
- Decidable Reasoning in UML Schemas with Constraints (AQ, ET), pp. 281–295.
- CIKM-2007-RullFTU #database #query
- Computing explanations for unlively queries in databases (GR, CF, ET, TU), pp. 955–958.
- CAiSE-2006-CabotT #constraints #evaluation #incremental #ocl
- Incremental Evaluation of OCL Constraints (JC, ET), pp. 81–95.
- ECMDA-FA-2006-CabotT #constraints #overview #tool support
- Constraint Support in MDA Tools: A Survey (JC, ET), pp. 256–267.
- MoDELS-2006-CostalGQRT #constraints #uml
- Facilitating the Definition of General Constraints in UML (DC, CG, AQ, RR, ET), pp. 260–274.
- SAC-2006-CabotT #approach #constraints #ocl
- Transforming OCL constraints: a context change approach (JC, ET), pp. 1196–1201.
- SAC-MT-J-2006-CabotT07 #constraints #ocl
- Transformation techniques for OCL constraints (JC, ET), pp. 179–195.
- CAiSE-2005-CabotT #constraints #ocl
- Computing the Relevant Instances That May Violate an OCL Constraint (JC, ET), pp. 48–62.
- UML-2004-CabotT #constraints
- Determining the Structural Events That May Violate an Integrity Constraint (JC, ET), pp. 320–334.
- VLDB-2004-TenienteFUBG #named #validation
- SVT: Schema Validation Tool for Microsoft SQL-Server (ET, CF, TU, CB, DG), pp. 1349–1352.
- ICLP-2003-FarreTU
- Handling Existential Derived Predicates in View Updating (CF, ET, TU), pp. 148–162.
- UML-2003-CabotOT #representation #uml
- Representing Temporal Information in UML (JC, AO, ET), pp. 44–59.
- CAiSE-2002-CostalST #analysis #comprehension #modelling #object-oriented #uml
- Understanding Redundancy in UML Models for Object-Oriented Analysis (DC, MRS, ET), pp. 659–674.
- VLDB-1997-BaralisPT #database #multi
- Materialized Views Selection in a Multidimensional Database (EB, SP, ET), pp. 156–165.
- CAiSE-1996-CostalTUF #concept #validation
- Handling Conceptual Model Validation by Planning (DC, ET, TU, CF), pp. 255–271.