Gabor Rebner

According to our database, Gabor Rebner authored at least 5 papers between 2012 and 2013.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2013

Intervallbasierte Berechnungsverfahren zur Beschreibung von wahrscheinlichkeitstheoretischen Modellen mit Unsicherheit.

Gabor Rebner

PhD thesis, 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, Gabor Rebner, Walter Krämer

Soft Comput., 2013

Verified stochastic methods.

Gabor Rebner, Michael Beer, Ekaterina Auer, Matthias Stein

Soft Comput., 2013

2012

A verified realization of a Dempster-Shafer based fault tree analysis.

Gabor Rebner, Ekaterina Auer, Wolfram Luther

Computing, 2012

CUDA Accelerated Fault Tree Analysis with C-XSC.

Gabor Rebner, Michael Beer

Proceedings of the Scalable Uncertainty Management - 6th International Conference, 2012