Rick Rabiser

Artificial Intelligence · 2012

A researcher in the Science corpus: 1 paper; trusts 1 researcher and is trusted by 0 researchers here, as inferred from the citation graph.

Subfields

Whom Rick Rabiser trusts overall

Their strongest outbound trust, strongest first, inferred from their citations.

  1. Krzysztof Czarnecki

Papers from Rick Rabiser's perspective

Ordered by how strongly the researchers Rick Rabiser trusts endorse each paper. Same corpus, a different order for every researcher.

  1. Feature Models, Grammars, and Propositional Formulas (Software Product Lines Conference)
  2. Formalizing cardinality-based feature models and their specialization (Software Process: Improvement and Practice)
  3. Verifying feature-based model templates against well-formedness OCL constraints (International Conference on Generative Programming: Concepts and Experiences)
  4. Feature Diagrams: A Survey and a Formal Semantics (IEEE International Requirements Engineering Conference)
  5. Staged configuration through specialization and multilevel configuration of feature models (Software Process: Improvement and Practice)
  6. Mapping features to models: a template approach based on superimposed variants (International Conference on Generative Programming: Concepts and Experiences)
  7. Automated analysis of feature models 20 years later: A literature review (Information Systems)
  8. Model checking lots of systems: efficient verification of temporal properties in software product lines (2010 ACM/IEEE 32nd International Conference on Software Engineering)
  9. Generative Programming: Methods, Tools, and Applications
  10. On the notion of variability in software product lines (Proceedings Working IEEE/IFIP Conference on Software Architecture)

Their papers