Author profile: Trinidad Martín Arroyo, Pablo
Institutional data
Name | Trinidad Martín Arroyo, Pablo |
Department | Lenguajes y Sistemas Informáticos |
Knowledge area | Lenguajes y Sistemas Informáticos |
Professional category | Profesor Titular de Universidad |
Request | |
Statistics
-
No. publications
56
-
No. visits
7513
-
No. downloads
13380
Publications |
---|
Article
Automated analysis of feature models: Quo vadis?
(Springer, 2018)
Feature models have been used since the 90's to describe software product lines as a way of reusing common parts in a ... |
Final Degree Project
Project Atlas: an Encoder Application for Apple Watch
(2018)
One of the reasons that led me to choose this degree was the will to solve problems by myself. I may find something wrong, ... |
Presentation
Modelling and Analysing Highly-Configurable Services
(ACM Digital Library, 2017)
Since the emergence of XaaS and Cloud Computing paradigms, the number and complexity of available services have been ... |
Presentation
Una Experiencia para mejorar la interacción estudiante-profesor
(AENUI: Asociación de Enseñantes Universitarios de Informática, 2016)
En asignaturas en las que hay proyectos o entregables evaluables, los estudiantes suelen saturar los buzones de correo de ... |
Article
User-centric Adaptation Analysis of Multi-tenant Services
(Association for Computing Machinery (ACM), 2016)
Multi-tenancy is a key pillar of cloud services. It allows different users to share computing and virtual resources ... |
Presentation
Probando sistemas altamente configurables mediante análisis automático de modelos de características: el caso de Android
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2016)
|
Article
Automated configuration support for infrastructure migration to the cloud
(Elsevier, 2016)
With an increasing number of cloud computing offerings in the market, migrating an existing computational infrastructure ... |
PhD Thesis
Automating the support of highly-configurable services
(2015)
Las crecientes capacidades de configuración de los servicios, especialmente en el cloud, han dado lugar a los así llamados ... |
Article
FLAME: a Formal Framework for the Automated Analysis of Software Product Lines Validated by Automated Specification Testing
(2015)
In a literature review on the last 20 years of automated analysis of feature models, the formalization of analysis operations ... |
Article
An Overview of Dynamic Software Product Line Architectures and Techniques: Observations from Research and Industry
(Elsevier, 2014)
Over the last two decades, software product lines have been used successfully in industry for buildingfamilies of systems ... |
Presentation
Configurable Feature Models
(2014)
Feature models represent all the products that can be built under a variability-intensive system such as a software product ... |
Presentation
User-Centric Adaptation of Multi-Tenant Services: Preference-Based Analysis for Service Reconfiguration
(2014)
Multi-tenancy is a key pillar of cloud services. It allows different tenants to share computing resources transparently ... |
Presentation
Migrating to the Cloud: a Software Product Line Based Analysis
(2013)
Identifying which part of a local system should be migrated to a public Cloud environment is often a difficult and error ... |
Presentation
Multi-User Variability Configuration: a Game Theoretic Approach
(2013)
Multi-user configuration is a neglected problem in variability-intensive systems area. The appearance of conflicts among ... |
Chapter of Book
FaMa
(Springer, 2013)
|
Chapter of Book
Automated Analysis of Stateful Feature Models
(Springer, 2013)
In CAiSE 2005, we interpreted the extraction of relevant information from extended feature models as an automated reasoning ... |
Chapter of Book
FaMa
(Springer, 2013)
Extracting relevant information from variability models is an important task to support decision-making in product line development and product configuration. |
PhD Thesis
Automating the analysis of stateful feature models
(2012)
El modelado de la variabilidad es una de las principales tareas en el desarrollo de l´ıneas de productos software (LPS). ... |
Presentation
BETTY: Benchmarking and Testing on the Automated Analysis of Feature Models
(2012)
The automated analysis of feature models is a flourishing research topic that has called the attention of both researchers ... |
Report
FLAME: FAMA Formal Framework (v 1.0): Technical Report ISA–12–TR–02
(2012)
Software product lines are rapidly gaining importance across different application domains. This software production ... |
Presentation
Automating the deployment of componentized systems
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2012)
Embedded and self-adaptive systems demand continuous adap- tation and reconfiguration activities based on changing quality ... |
Presentation |
Article
Consistency maintenance for evolving feature models
(Elsevier, 2012)
Software product line (SPL) techniques handle the construction of customized systems. One of the most common representations ... |
Presentation
Aprendiendo a diseñar software usando juegos de mesa de licencia libre como enunciado de prácticas
(AENUI: Asociación de Enseñantes Universitarios de Informática, 2011)
|
Presentation
ISA PACKAGER: a Tool for SPL Deployment
(2011)
In software projects, and particularly in Software Product Line (SPL) projects, product composition and deployment are ... |
Presentation
Automated Diagnosis of Feature Model Configurations
(2011)
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ... |
Presentation
FaMa Abductive: una herramienta para explicaciones de errores en modelos de características
(2011)
La diagnosis de errores es una asignatura pendiente de gran parte de las herramientas de an´alisis de modelos de ... |
Presentation
Tool Supported Error Detection and Explanations on Feature Models
(2011)
Automated analysis of feature models (FM) is a field of interest in recent years. Many operations over FMs have been ... |
Article
Automated Diagnosis of Feature Model Configurations
(Elsevier, 2010)
Software product-lines (SPLs) are software platforms that can be readily reconfigured for different project requirements. ... |
Presentation
Building Industry-Ready Tools: FAMA Framework & ADA
(2010)
Developing good academic tools has become an art that forces researchers to achieve tasks they are not supposed to do. ... |
Presentation
Mass Customisation Along Lifecycle of Autonomic Homes
(2009)
Autonomic homes adapt themselves to give the user the best possible experience of the services they provide. They dynamically ... |
Presentation
Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?
(2009)
In the automated analysis feature models (AAFM), many operations have been defined to extract relevant information to be ... |
Presentation
Moskitt FM and FAMA FW: Taking feature models to the next level
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2009)
Feature modeling is a key technique to model commonalities and variabilities within a Software Product Line (SPL). Tools ... |
Presentation
Three-Dimensional Feature Diagrams Visualization
(2008)
Visualizing and manipulating large feature diagrams is still an open issue for the SPL community. Few effort has been made ... |
Presentation
Fama Framework
(2008)
FAMA Framework (FAMA FW) is a tool for the automated analysis of variability models (VM). Its main objective is providing ... |
Presentation
An Architectural Discussion on DSPL
(2008)
Dynamic Software Product Line (DSPL) engineering has proved itself as an efficient way to deal with run-time product ... |
Presentation
Automated Diagnosis of Product-line Configuration Errors in Feature Models
(IEEE Computer Society, 2008)
Feature models are widely used to model software product-line (SPL) variability. SPL variants are configured by selecting ... |
Article
Automated Error Analysis for the Agilization of Feature Modeling
(Elsevier, 2008)
|
Presentation
Open Source Tools for Software Product Line Development
(2007)
Open-Source (OS) software development differs widely from close-source development practices because of a number of reasons: ... |
Presentation
FAMA: hacia el análisis automático de modelos de características
(Asociación de Ingeniería del Software y Tecnologías de Desarrollo de Software (SISTEDES), 2007)
|
Presentation
Towards Automated Refactoring of Feature Models Using Graph Transformations
(2007)
Software Produ t Line (SPL) development is an approa h to develop families of software systems in a systemati way. A Feature ... |
Presentation
Fama: Tooling a Framework for the Automated Analysis of Feature Models
(2007)
The automated analysis of feature models is recognized as one of the key challenges for automated software development in ... |
Presentation
A Taxonomy of Variability in Web Service Flows
(2007)
The combination of Software Product Lines (SPL) and Service-Oriented Architectures (SOA) development practices is expected ... |
Chapter of Book
Telvent
(Springer, 2007)
|
Presentation
Mapping Feature Models Onto Component Models to Build Dynamic Software Product Lines
(2007)
Systems such as adaptative and context–aware ones must adapt themselves to changing requirements at runtime. Modeling and ... |
Article
Building the Core Architecture of a NASA Multiagent System Product Line
(Springer Verlag, 2007)
The field of Software Product Lines (SPL) emphasizes build- ing a family of software products from which concrete products ... |
Presentation
Automated Merging of Feature Models using Graph Transformations
(2007)
Feature Models (FMs) are a key artifact for variability and commonality management in Software Product Lines (SPLs). In ... |
Presentation
Isolated Features Detection in Feature Models
(2006)
Feature models are commonly used to describe software product lines in terms of features. Features are linked by relations, ... |
Presentation
A First Step Towards a Framework for the Automated Analysis of Feature Models
(2006)
Feature modelling is a common mechanism for variability management in the context of software product lines. After years ... |
Presentation
Building the Core Architecture of a NASAa Multiagent System Product Line
(2006)
The field of Software Product Lines (SPL) emphasizes building a family of software products from which concrete products ... |
Presentation
A Survey on the Automated Analyses of Feture Models
(2006)
Feature models are one of the most important assets in software product line engineering when capturing variability. ... |
Presentation
Explanations for Agile Feature Models
(2006)
Feature models are widely used to represent product lines and they are key parts of the development process in agile ... |
Presentation
Using Constraint Programming to Reason on Feature Models
(2005)
Feature models have been cited as one of the main contributions to model software product families. However, there is still ... |
Presentation
Automated reasoning on feature models
(2005)
Software Product Line (SPL) Engineering has proved to be an effective method for software production. However, in the SPL ... |
Presentation
Using Java Csp Solvers in the Automated Analyses of Feature Models
(2005)
Feature Models are used in different stages of software development and are recognized to be an important asset in model ... |
Presentation
Improving Decision Making in Software Product Lines Product Plan Management
(2004)
The increasing demand on developing Software Product Lines (SPL) has given a lot of interest to software engineering ... |