Gabor Rebner

Publication Activity (10 Years)

Years Active: 2012-2013
Publications (10 Years): 0

Top Topics

Combination Rule

Stochastic Methods

Dempster Shafer

Top Venues

University of Duisburg-Essen (PHD)

Education History

University of Duisburg-Essen

PHD

Publications

Gabor Rebner, Michael Beer, Ekaterina Auer, Matthias Stein
Verified stochastic methods. Soft Comput. 17 (8) (2013)
Michael Zimmer, Gabor Rebner, Walter Krämer
An overview of C-XSC as a tool for interval arithmetic and its application in computing verified uncertain probabilistic models under Dempster-Shafer theory. Soft Comput. 17 (8) (2013)
Gabor Rebner, Michael Beer
CUDA Accelerated Fault Tree Analysis with C-XSC. SUM (2012)
Gabor Rebner, Ekaterina Auer, Wolfram Luther
A verified realization of a Dempster-Shafer based fault tree analysis. Computing 94 (2-4) (2012)