T. Kraußer

A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption

T. Kraußer, H. Mantel, Henning Sudbrock, 2007 .

DEPFET Active Pixel Detectors for a Future Linear $e^{+}e^{-}$ Collider

D. Esperante, C. Kleinwort, H. J. Simonis, 2012, IEEE Transactions on Nuclear Science.

Combining Different Proof Techniques for Verifying Information Flow Security

Heiko Mantel, Tina Kraußer, Henning Sudbrock, 2006, LOPSTR.