Elena Planas

According to our database1, Elena Planas authored at least 15 papers between 2008 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Towards a model-driven approach for multiexperience AI-based user interfaces.
Softw. Syst. Model., 2021

Validating Feature Models With Respect to Textual Product Line Specifications.
Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

2020
How are UML class diagrams built in practice? A usability study of two UML tools: Magicdraw and Papyrus.
Comput. Stand. Interfaces, 2020

2018
Extracting software product line feature models from natural language specifications.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Model-Driven Analytics for Open Data APIs.
Proceedings of the Current Trends in Web Engineering, 2018

2016
Analysis of Feature Models Using Alloy: A Survey.
Proceedings of the Proceedings 7th International Workshop on Formal Methods and Analysis in Software Product Line Engineering, 2016

Lightweight and static verification of UML executable models.
Comput. Lang. Syst. Struct., 2016

Designing game-like activities to engage adult learners in higher education.
Proceedings of the Fourth International Conference on Technological Ecosystems for Enhancing Multiculturality, Salamanca, Spain, November 02, 2016

2013
Opinion Mining on Educational Resources at the Open University of Catalonia.
Proceedings of the Seventh International Conference on Complex, 2013

2012
Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models.
Proceedings of the Advances in Conceptual Modeling, 2012

2011
Two Basic Correctness Properties for ATL Transformations: Executability and Coverage.
Proceedings of the 3rd International Workshop on Model Transformation with ATL, 2011

Lightweight Verification of Executable Models.
Proceedings of the Conceptual Modeling - ER 2011, 30th International Conference, 2011

2010
Lightweight Executability Analysis of Graph Transformation Rules.
Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing, 2010

2009
Verifying Action Semantics Specifications in UML Behavioral Models.
Proceedings of the Advanced Information Systems Engineering, 21st International Conference, 2009

2008
Reverse Engineering of Object-Relational Database Schemas.
Proceedings of the XIII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2008), 2008


  Loading...