5 citations · 5 across the 3 of their papers we have counts for
3 papers
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…