default search action
Pablo Trinidad Martín-Arroyo
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2019
- [j8]José Angel Galindo, David Benavides, Pablo Trinidad, Antonio Manuel Gutiérrez-Fernández, Antonio Ruiz-Cortés:
Automated analysis of feature models: Quo vadis? Computing 101(5): 387-433 (2019) - 2017
- [j7]Amador Durán, David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz Cortés:
FLAME: a formal framework for the automated analysis of software product lines validated by automated specification testing. Softw. Syst. Model. 16(4): 1049-1082 (2017) - 2016
- [j6]Jesús García-Galán, Pablo Trinidad, Omer F. Rana, Antonio Ruiz Cortés:
Automated configuration support for infrastructure migration to the cloud. Future Gener. Comput. Syst. 55: 200-212 (2016) - [j5]Jesús García-Galán, Liliana Pasquale, Pablo Trinidad, Antonio Ruiz Cortés:
User-Centric Adaptation Analysis of Multi-Tenant Services. ACM Trans. Auton. Adapt. Syst. 10(4): 24:1-24:26 (2016) - 2014
- [j4]Rafael Capilla, Jan Bosch, Pablo Trinidad, Antonio Ruiz Cortés, Mike Hinchey:
An overview of Dynamic Software Product Line architectures and techniques: Observations from research and industry. J. Syst. Softw. 91: 3-23 (2014) - 2012
- [j3]Jianmei Guo, Yinglin Wang, Pablo Trinidad, David Benavides:
Consistency maintenance for evolving feature models. Expert Syst. Appl. 39(5): 4987-4998 (2012) - 2010
- [j2]Jules White, David Benavides, Douglas C. Schmidt, Pablo Trinidad, Brian Dougherty, Antonio Ruiz Cortés:
Automated diagnosis of feature model configurations. J. Syst. Softw. 83(7): 1094-1107 (2010) - 2008
- [j1]Pablo Trinidad, David Benavides, Amador Durán, Antonio Ruiz Cortés, Miguel Toro:
Automated error analysis for the agilization of feature modeling. J. Syst. Softw. 81(6): 883-896 (2008)
Conference and Workshop Papers
- 2024
- [c25]Alejandro García-Fernández, José Antonio Parejo, Pablo Trinidad, Antonio Ruiz-Cortés:
Towards Pricing4SaaS: A Framework for Pricing-Driven Feature Toggling in SaaS. ICWE 2024: 389-392 - 2019
- [c24]José Angel Galindo, David Benavides, Pablo Trinidad, Antonio Manuel Gutiérrez-Fernández, Antonio Ruiz-Cortés:
Automated analysis of feature models: quo vadis? SPLC (A) 2019: 40:1 - 2017
- [c23]Jesús García-Galán, José María García, Pablo Trinidad, Pablo Fernández:
Modelling and Analysing Highly-Configurable Services. SPLC (A) 2017: 114-122 - 2014
- [c22]Jesús García-Galán, Liliana Pasquale, Pablo Trinidad, Antonio Ruiz Cortés:
User-centric adaptation of multi-tenant services: preference-based analysis for service reconfiguration. SEAMS 2014: 65-74 - 2013
- [c21]Jesús García-Galán, Omer F. Rana, Pablo Trinidad, Antonio Ruiz Cortés:
Migrating to the Cloud - A Software Product Line based Analysis. CLOSER 2013: 416-426 - [c20]Jesús García-Galán, Pablo Trinidad, Antonio Ruiz Cortés:
Multi-user variability configuration: A game theoretic approach. ASE 2013: 574-579 - 2011
- [c19]Jesús García-Galán, Pablo Trinidad, Antonio Ruiz Cortés:
ISA packager: a tool for SPL deployment. VaMoS 2011: 115-118 - 2009
- [c18]Carlos Cetina, Pablo Trinidad, Vicente Pelechano, Antonio Ruiz Cortés, David Benavides:
Moskitt FM and FAMA FW: Taking feature models to the next level. JISBD 2009: 285-288 - [c17]David Benavides, Antonio Ruiz Cortés, Pablo Trinidad:
Análisis en líneas de productos: avances, desafíos y lecciones aprendidas. JISBD 2009: 433-433 - [c16]Pablo Trinidad, Antonio Ruiz Cortés:
Abductive Reasoning and Automated Analysis of Feature Models: How are they connected?. VaMoS 2009: 145-153 - 2008
- [c15]Carlos Cetina, Vicente Pelechano, Pablo Trinidad, Antonio Ruiz Cortés:
An Architectural Discussion on DSPL. SPLC (2) 2008: 59-68 - [c14]Jules White, Douglas C. Schmidt, David Benavides, Pablo Trinidad, Antonio Ruiz Cortés:
Automated Diagnosis of Product-Line Configuration Errors in Feature Models. SPLC 2008: 225-234 - [c13]Pablo Trinidad, Antonio Ruiz Cortés, David Benavides, Sergio Segura:
Three-Dimensional Feature Diagrams Visualization. SPLC (2) 2008: 295-302 - [c12]Pablo Trinidad, David Benavides, Antonio Ruiz Cortés, Sergio Segura, Alberto Jimenez:
FAMA Framework. SPLC 2008: 359 - 2007
- [c11]Sergio Segura, David Benavides, Antonio Ruiz Cortés, Pablo Trinidad:
Automated Merging of Feature Models Using Graph Transformations. GTTSE 2007: 489-505 - [c10]Pablo Trinidad, David Benavides, Sergio Segura, Antonio Ruiz Cortés:
FAMA: hacia el análisis automático de modelos de características. JISBD 2007: 417-418 - [c9]Pablo Trinidad, Antonio Ruiz Cortés, Joaquín Peña, David Benavides:
Mapping Feature Models onto Component Models to Build Dynamic Software Product Lines. SPLC (2) 2007: 51-56 - [c8]David Benavides, Sergio Segura, Pablo Trinidad, Antonio Ruiz Cortés:
FAMA: Tooling a Framework for the Automated Analysis of Feature Models. VaMoS 2007: 129-134 - 2006
- [c7]Joaquín Peña, Michael G. Hinchey, Antonio Ruiz Cortés, Pablo Trinidad:
Building the Core Architecture of a NASA Multiagent System Product Line. AOSE 2006: 208-224 - [c6]Pablo Trinidad, David Benavides, Antonio Ruiz Cortés:
Isolated Features Detection in Feature Models. CAiSE Forum 2006 - [c5]David Benavides, Antonio Ruiz Cortés, Pablo Trinidad, Sergio Segura:
A Survey on the Automated Analyses of Feature Models. JISBD 2006: 367-376 - 2005
- [c4]David Benavides, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés:
Automated Reasoning on Feature Models. CAiSE 2005: 491-503 - [c3]David Benavides, Antonio Ruiz Cortés, Carlos Müller, Pablo Trinidad Martín-Arroyo:
The Triple Schizophrenia of the Software Engineering Researcher. CAiSE Workshops (2) 2005: 529-534 - [c2]David Benavides, Sergio Segura, Pablo Trinidad Martín-Arroyo, Antonio Ruiz Cortés:
Using Java CSP Solvers in the Automated Analyses of Feature Models. GTTSE 2005: 399-408 - [c1]David Benavides, Pablo Trinidad, Antonio Ruiz Cortés:
Using Constraint Programming to Reason on Feature Models. SEKE 2005: 677-682
Parts in Books or Collections
- 2013
- [p3]David Benavides, Pablo Trinidad, Antonio Ruiz Cortés:
Automated Reasoning on Feature Models. Seminal Contributions to Information Systems Engineering 2013: 361-373 - [p2]Pablo Trinidad, Antonio Ruiz Cortés, David Benavides:
Automated Analysis of Stateful Feature Models. Seminal Contributions to Information Systems Engineering 2013: 375-380 - [p1]David Benavides, Pablo Trinidad, Antonio Ruiz Cortés, Sergio Segura:
FaMa. Systems and Software Variability Management 2013: 163-171
Informal and Other Publications
- 2024
- [i1]Alejandro García-Fernández, José Antonio Parejo, Pablo Trinidad, Antonio Ruiz-Cortés:
Pricing4SaaS: a suite of software libraries for pricing-driven feature toggling. CoRR abs/2403.14004 (2024)
Coauthor Index
aka: Antonio Ruiz-Cortés
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-20 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint