Hendrik Tews | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Christel Baier
32 publications
Marcus Völp
10 publications
Hermann Härtig
6 publications
Tjark Weber
3 publications
Joachim Klein
2 publications
Steffen Märcker
1 publication
Sascha Klüppelholz
1 publication
Marcus Daum
1 publication
Benjamin Engel
1 publication

research

∙ 11/27/2012

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

Reliability in terms of functional properties from the safety-liveness s...

0 Christel Baier, et al. ∙

research

∙ 11/27/2012

On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code

In recent projects on operating-system verification, C and C++ data type...

0 Hendrik Tews, et al. ∙