13 citations · 20 across the 5 of their papers we have counts for
5 papers
UVL Sentinel: a tool for parsing and syntactic correction of UVL datasets
David Romero-Organvidez, Jose A. Galindo, David Benavides
Feature models have become a de facto standard for representing variability in software product lines. UVL (Universal Variability Language) is a language which expresses the featur…
FastDiagP: An Algorithm for Parallelized Direct Diagnosis
Viet-Man Le, Cristian Vidal Silva, Alexander Felfernig +3
Constraint-based applications attempt to identify a solution that meets all defined user requirements. If the requirements are inconsistent with the underlying constraint set, algo…
Anytime Diagnosis for Reconfiguration
Alexander Felfernig, Rouven Walter, Jose A. Galindo +4
Many domains require scalable algorithms that help to determine diagnoses efficiently and often within predefined time limits. Anytime diagnosis is able to determine solutions in s…
DirectDebug: Automated Testing and Debugging of Feature Models
Viet-Man Le, Alexander Felfernig, Mathias Uta +3
Variability models (e.g., feature models) are a common way for the representation of variabilities and commonalities of software artifacts. Such models can be translated to a logic…
Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework
Gurvan Le Guernic, Benoit Combemale, José A. Galindo
Many project-specific languages, including in particular filtering languages, are defined using non-formal specifications written in natural languages. This leads to ambiguities an…