CUDA Accelerated Fault Tree Analysis with C-XSC. - Gabor Rebner; Michael Beer (SUM, 2012)

A verified realization of a Dempster-Shafer based fault tree analysis. - Gabor Rebner; Ekaterina Auer; Wolfram Luther (Computing, 2012)

Verified stochastic methods. - Gabor Rebner; Michael Beer; Ekaterina Auer; Matthias Stein (Soft Comput., 2013)

An overview of C-XSC as a tool for interval arithmetic and its application in computing verified uncertain probabilistic models under Dempster-Shafer theory. - Michael Zimmer 002; Gabor Rebner; Walter Krämer (Soft Comput., 2013)

Intervallbasierte Berechnungsverfahren zur Beschreibung von wahrscheinlichkeitstheoretischen Modellen mit Unsicherheit. - Gabor Rebner (Verlag Dr. Hut, 2013)