anna queralt
anna queralt
Verified email at bsc.es
Title
Cited by
Cited by
Year
OCL-Lite: Finite reasoning on UML/OCL conceptual schemas
A Queralt, A Artale, D Calvanese, E Teniente
Data & Knowledge Engineering 73, 1-22, 2012
1012012
Reasoning on UML class diagrams with OCL constraints
A Queralt, E Teniente
International Conference on Conceptual Modeling, 497-512, 2006
852006
Verification and validation of UML conceptual schemas with OCL constraints
A Queralt, E Teniente
ACM Transactions on Software Engineering and Methodology (TOSEM) 21 (2), 13, 2012
732012
PyCOMPSs: Parallel computational workflows in Python
E Tejedor, Y Becerra, G Alomar, A Queralt, RM Badia, J Torres, T Cortes, ...
The International Journal of High Performance Computing Applications 31 (1 …, 2017
612017
EU-Rent car rentals specification
L Frias, A Queralt, A Olivé
2006-01-08]. http:∥ www. lsi. upc. es/dept/techreps/techreps. html, 2003
432003
Decidable reasoning in UML schemas with constraints
A Queralt, E Teniente
International Conference on Advanced Information Systems Engineering, 281-295, 2008
372008
Improving the definition of general constraints in UML
D Costal, C Gómez, A Queralt, R Raventós, E Teniente
Software and systems modeling 7 (4), 469-486, 2008
332008
Artifact-Centric Business Process Models in UML
M Estañol, A Queralt, MR Sancho, E Teniente
Business Process Management Workshops, 292-303, 2013
322013
Facilitating the definition of general constraints in UML
D Costal, C Gómez, A Queralt, R Raventós, E Teniente
International Conference on Model Driven Engineering Languages and Systems …, 2006
302006
AuRUS: automated reasoning on UML/OCL schemas
A Queralt, G Rull, E Teniente, C Farré, T Urpí
Conceptual Modeling–ER 2010, 438-444, 2010
252010
Dataclay: A distributed data store for effective inter-player data sharing
J Martí, A Queralt, D Gasull, A Barceló, JJ Costa, T Cortes
Journal of Systems and Software 131, 129-145, 2017
242017
Big Data Benchmark Compendium
T Ivanov, T Rabl, M Poess, A Queralt, J Poelman, N Poggi, J Buell
Performance Evaluation and Benchmarking: Traditional to Big Data to Internet …, 2015
242015
Reasoning on UML conceptual schemas with operations
A Queralt, E Teniente
International Conference on Advanced Information Systems Engineering, 47-62, 2009
242009
Specifying the semantics of operation contracts in conceptual modeling
A Queralt, E Teniente
Journal on Data Semantics VII, 33-56, 2006
242006
mF2C: towards a coordinated management of the IoT-fog-cloud continuum
X Masip-Bruin, E Marín-Tordera, A Juan-Ferrer, A Queralt, A Jukan, ...
Proceedings of the 4th ACM MobiHoc Workshop on Experiences with the Design …, 2018
142018
AuRUS: explaining the validation of UML/OCL conceptual schemas
G Rull, C Farré, A Queralt, E Teniente, T Urpí
Software & Systems Modeling 14 (2), 953-980, 2015
142015
A platform independent model for the electronic marketplace domain
A Queralt, E Teniente
Software and Systems Modeling 7 (2), 219-235, 2008
132008
Towards DaaS 2.0: enriching data models
J Martí, D Gasull, A Queralt, T Cortes
Services (SERVICES), 2013 IEEE Ninth World Congress on, 349-355, 2013
92013
Drawing preconditions of operation contracts from conceptual schemas
D Costal, C Gómez, A Queralt, E Teniente
International Conference on Advanced Information Systems Engineering, 266-280, 2008
92008
OCL-Lite: A Decidable (Yet Expressive) Fragment of OCL⋆
A Queralt, A Artale, D Calvanese, E Teniente
9*
The system can't perform the operation now. Try again later.
Articles 1–20