| Verifying action semantics specifications in UML behavioral models E Planas, J Cabot, C Gómez International Conference on Advanced Information Systems Engineering, 125-140, 2009 | 32 | 2009 |
| How are UML class diagrams built in practice? A usability study of two UML tools: Magicdraw and Papyrus E Planas, J Cabot Computer Standards & Interfaces 67, 103363, 2020 | 24 | 2020 |
| Designing game-like activities to engage adult learners in higher education A Mora, E Planas, J Arnedo-Moreno Proceedings of the fourth international conference on technological …, 2016 | 23 | 2016 |
| Two Basic Correctness Properties for ATL Transformations: Executability and Coverage. E Planas, J Cabot, C Gómez MtATL@ TOOLS, 1-9, 2011 | 19 | 2011 |
| Lightweight verification of executable models E Planas, J Cabot, C Gómez International Conference on Conceptual Modeling, 467-475, 2011 | 18 | 2011 |
| Analysis of feature models using alloy: A survey A Sree-Kumar, E Planas, R Clarisó arXiv preprint arXiv:1604.00349, 2016 | 16 | 2016 |
| Extracting software product line feature models from natural language specifications A Sree-Kumar, E Planas, R Clarisó Proceedings of the 22nd International Systems and Software Product Line …, 2018 | 15 | 2018 |
| Lightweight and static verification of UML executable models E Planas, J Cabot, C Gómez Computer Languages, Systems & Structures 46, 66-90, 2016 | 11 | 2016 |
| Opinion mining on educational resources at the open university of Catalonia I Guitart, J Conesa, L Villarejo, À Lapedriza, D Masip, A Pérez, E Planas 2013 Seventh International Conference on Complex, Intelligent, and Software …, 2013 | 10 | 2013 |
| The DBLP case study E Planas, A Olive | 9 | 2006 |
| Alf-Verifier: an eclipse plugin for verifying Alf/UML executable models E Planas, D Sanchez-Mendoza, J Cabot, C Gómez International Conference on Conceptual Modeling, 378-382, 2012 | 8 | 2012 |
| Reverse Engineering of OO constructs in Object-Relational Database Schemas J Cabot, C Gómez, E Planas, ME Rodríguez Jornadas de IngenierÃa del Software y Bases de Datos 20 (49), 134, 2008 | 7 | 2008 |
| Lightweight executability analysis of graph transformation rules E Planas, J Cabot, C Gómez, E Guerra, J De Lara 2010 IEEE Symposium on Visual Languages and Human-Centric Computing, 127-130, 2010 | 5 | 2010 |
| A framework for verifying uml behavioral models E Planas CAiSE Doctoral Consortium, 2009 | 5 | 2009 |
| Verifying action semantics specifications in UML behavioral models (Extended version) E Planas, J Cabot, C Gómez Seoane | 3 | 2009 |
| Towards a model-driven approach for multiexperience AI-based user interfaces E Planas, G Daniel, M Brambilla, J Cabot Software and Systems Modeling 20 (4), 997-1009, 2021 | 2 | 2021 |
| Verificación de la Ejecutabilidad de Operaciones definidas con Action Semantics E Planas, J Cabot, C Gómez Actas de los Talleres de las Jornadas de Ingeniería del Software y Bases de …, 2008 | 2 | 2008 |
| An empirical study on the impact of introducing a modeling tool in a Requirement Engineering course L Burgueño, JLC Izquierdo, E Planas 2021 ACM/IEEE International Conference on Model Driven Engineering Languages …, 2021 | 1 | 2021 |
| PeLP: Plataforma para el Aprendizaje de Lenguajes de Programación X Baró, D Masip, E Planas, J Minguillón Jornadas de Enseñanza Universitaria de la Informática (19es: 2013: Castelló …, 2013 | 1 | 2013 |
| Validating Feature Models With Respect to Textual Product Line Specifications A Sree-Kumar, E Planas, R Clarisó 15th International Working Conference on Variability Modelling of Software …, 2021 | | 2021 |
Jordi CabotICREA Research Professor at Internet Interdisciplinary Institute (UOC)Email confirmado em icrea.cat
