Sergio Segura

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Pablo Trinidad Martín-Arroyo

> Home > Persons > Sergio Segura

Publications

2017
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/sosym/DuranBSTC17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sosym/DuranBSTC17
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)
2013
[p1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/variability13/BenavidesTCS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/variability13/BenavidesTCS13
David Benavides, Pablo Trinidad, Antonio Ruiz Cortés, Sergio Segura:
FaMa. Systems and Software Variability Management 2013: 163-171
2008
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/splc/TrinidadCBS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/TrinidadCBS08
Pablo Trinidad, Antonio Ruiz Cortés, David Benavides, Sergio Segura:
Three-Dimensional Feature Diagrams Visualization. SPLC (2) 2008: 295-302
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/splc/TrinidadBCSJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/splc/TrinidadBCSJ08
Pablo Trinidad, David Benavides, Antonio Ruiz Cortés, Sergio Segura, Alberto Jimenez:
FAMA Framework. SPLC 2008: 359
2007
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/gttse/SeguraBCT07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gttse/SeguraBCT07
Sergio Segura, David Benavides, Antonio Ruiz Cortés, Pablo Trinidad:
Automated Merging of Feature Models Using Graph Transformations. GTTSE 2007: 489-505
[c4]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jisbd/TrinidadBSC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jisbd/TrinidadBSC07
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
[c3]
- view
  - electronic edition @ vamos-workshop.net
  - no references & citations available
- export record
  dblp key:
  - conf/vamos/BenavidesSTC07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vamos/BenavidesSTC07
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
[c2]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/jisbd/BenavidesCTS06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/jisbd/BenavidesCTS06
David Benavides, Antonio Ruiz Cortés, Pablo Trinidad, Sergio Segura:
A Survey on the Automated Analyses of Feature Models. JISBD 2006: 367-376
2005
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/gttse/BenavidesSMC06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/gttse/BenavidesSMC06
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

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.