Rouven Walter

Publication Activity (10 Years)

Years Active: 2013-2021
Publications (10 Years): 3

Top Topics

Automotive Industry

Model Based Diagnosis

Configuration Problems

Top Venues

Configuration Workshop

J. Intell. Inf. Syst.

Publications

Alexander Felfernig, Rouven Walter, José A. Galindo, David Benavides, Seda Polat Erdeniz, Muesluem Atas, Stefan Reiterer
Anytime Diagnosis for Reconfiguration. CoRR (2021)
Alexander Felfernig, Rouven Walter, José Angel Galindo, David Benavides, Seda Polat Erdeniz, Müslüm Atas, Stefan Reiterer
Anytime diagnosis for reconfiguration. J. Intell. Inf. Syst. 51 (1) (2018)
Rouven Walter, Alexander Felfernig, Wolfgang Küchlin
Constraint-based and SAT-based diagnosis of automotive configuration problems. J. Intell. Inf. Syst. 49 (1) (2017)
Martin Walch, Rouven Walter, Wolfgang Küchlin
Formal analysis of the Linux kernel configuration with SAT solving. Configuration Workshop (2015)
Rouven Walter, Thore Kübart, Wolfgang Küchlin
Optimal Coverage in Automotive Configuration. MACIS (2015)
Thore Kübart, Rouven Walter, Wolfgang Küchlin
Different solving strategies on PBO Problems from automotive industry. Configuration Workshop (2015)
Rouven Walter, Alexander Felfernig, Wolfgang Küchlin
Inverse QuickXplain vs. MaxSAT - a comparison in theory and practice. Configuration Workshop (2015)
Alexander Felfernig, Rouven Walter, Stefan Reiterer
FlexDiag: anytime diagnosis for reconfiguration. Configuration Workshop (2015)
Rouven Walter, Wolfgang Küchlin
ReMax - A MaxSAT aided Product (Re-)Configurator. Configuration Workshop (2014)
Rouven Walter, Christoph Zengler, Wolfgang Küchlin
Applications of MaxSAT in Automotive Configuration. Configuration Workshop (2013)