| 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 | 44 | 2020 |
| Verifying action semantics specifications in UML behavioral models E Planas, J Cabot, C Gómez Advanced Information Systems Engineering: 21st International Conference …, 2009 | 32 | 2009 |
| 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 | 29 | 2018 |
| 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 | 27 | 2016 |
| Two Basic Correctness Properties for ATL Transformations: Executability and Coverage. E Planas, J Cabot, C Gómez MtATL@ TOOLS, 1-9, 2011 | 20 | 2011 |
| Analysis of feature models using alloy: A survey A Sree-Kumar, E Planas, R Clarisó arXiv preprint arXiv:1604.00349, 2016 | 19 | 2016 |
| Lightweight verification of executable models E Planas, J Cabot, C Gómez Conceptual Modeling–ER 2011: 30th International Conference, ER 2011 …, 2011 | 18 | 2011 |
| Lightweight and static verification of UML executable models E Planas, J Cabot, C Gómez Computer Languages, Systems & Structures 46, 66-90, 2016 | 10 | 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 |
| Towards a model-driven approach for multiexperience AI-based user interfaces E Planas, G Daniel, M Brambilla, J Cabot Software and Systems Modeling 20, 997-1009, 2021 | 8 | 2021 |
| 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 | 7 | 2021 |
| Alf-Verifier: an eclipse plugin for verifying Alf/UML executable models E Planas, D Sanchez-Mendoza, J Cabot, C Gómez Advances in Conceptual Modeling: ER 2012 Workshops CMS, ECDM-NoCoDA, MoDIC …, 2012 | 7 | 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 | 4 | 2010 |
| A framework for verifying uml behavioral models E Planas CAiSE Doctoral Consortium, 2009 | 4 | 2009 |
| 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 | 2 | 2021 |
| PeLP: Plataforma para el aprendizaje de lenguajes de programación X Baró, D Masip, E Planas, J Minguillón Asociación de Enseñantes Universitarios de la Informática (AENUI), 2013 | 2 | 2013 |
| Verifying action semantics specifications in UML behavioral models (Extended version) E Planas, J Cabot, C Gómez Seoane | 2 | 2009 |
| 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 | 1 | 2008 |
Jordi CabotHead of the Software Engineering RDI Unit at Luxembourg Institute of Science and Technology (LIST)Verified email at list.lu
