• Ponencia
      Icon

      A Parallelized Variant of Junker’s QUICKXPLAIN Algorithm 

      Vidal Silva, Cristian; Felfernig, Alexander; Galindo Duarte, José Ángel; Atas, Müslüm; Benavides Cuevas, David Felipe (Springer, 2020)
      Conflict detection is used in many scenarios ranging from interactive decision making to the diagnosis of potentially ...
    • Artículo
      Icon

      Anytime diagnosis for reconfiguration 

      Felfernig, Alexander; Rouven, Walter; Galindo Duarte, José Ángel; Benavides Cuevas, David Felipe; Polat Erdeniz, Seda; Atas, Müslüm; Reiterer, Stefan (Springer, 2018)
      Many domains require scalable algorithms that help to determine diagnoses efficiently and often within predefined time ...
    • Artículo
      Icon

      DirectDebug: A software package for the automated testing and debugging of feature models 

      Le, Viet-Man; Felfernig, Alexander; Tran, Thi Ngoc Trang; Atas, Müslüm; Uta, Mathias; Benavides Cuevas, David Felipe; Galindo Duarte, José Ángel (Elsevier, 2021)
      Complex and large-scale feature models can become faulty, i.e., do not represent the expected variability properties of ...