David Benavides
Artificial Intelligence · 2005–2010
A researcher in the Science corpus: 2 papers; trusts 9 researchers and is trusted by 0 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 13 citations into it
- Information Systems — 11 citations into it
- Software — 7 citations into it
Whom David Benavides trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Don S. Batory
- Jack Greenfield
- Barbara A. Kitchenham
- Raymond Reiter
- Krzysztof Czarnecki
- J. Webster
- Jilles van Gurp
- Thomas Thüm
- Marcílio Mendonça
- Jan Bosch
Who trusts David Benavides overall
Papers from David Benavides's perspective
Ordered by how strongly the researchers David Benavides trusts endorse each paper. Same corpus, a different order for every researcher.
- Software Product Lines: Practices and Patterns
- Feature Models, Grammars, and Propositional Formulas (Software Product Lines Conference)
- Reasoning about edits to feature models (2009 IEEE 31st International Conference on Software Engineering)
- On the notion of variability in software product lines (Proceedings Working IEEE/IFIP Conference on Software Architecture)
- Formalizing cardinality-based feature models and their specialization (Software Process: Improvement and Practice)
- SAT-based analysis of feature models is easy (Software Product Lines Conference)
- Staged configuration through specialization and multilevel configuration of feature models (Software Process: Improvement and Practice)
- Feature Diagrams: A Survey and a Formal Semantics (IEEE International Requirements Engineering Conference)
- The complexity of theorem-proving procedures
- Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools (Software Product Lines Conference)
Their papers
- Automated analysis of feature models 20 years later: A literature review (2010) — 1,297 citations
- Automated Reasoning on Feature Models (2005) — 507 citations