Hendrik Tews

Publication Activity (10 Years)

Years Active: 1998-2016
Publications (10 Years): 1

Top Venues

SSV

J. Comput. Syst. Sci.

NASA Formal Methods

Dresden University of Technology, Germany (PHD)

Education History

Dresden University of Technology, Germany

PHD

Publications

Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. FM (2016)
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Locks: Picking key methods for a scalable quantitative analysis. J. Comput. Syst. Sci. 81 (1) (2015)
Hendrik Tews
Formalizing Cut Elimination of Coalgebraic Logics in Coq. TABLEAUX (2013)
Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select. NASA Formal Methods (2013)
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code SSV (2012)
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
Waiting for Locks: How Long Does It Usually Take? FMICS (2012)
Hendrik Tews, Marcus Völp, Tjark Weber
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code SSV (2012)
Hendrik Tews, Marcus Völp, Tjark Weber
Formal Memory Models for the Verification of Low-Level Operating-System Code. J. Autom. Reason. 42 (2-4) (2009)
Hendrik Tews, Bart Jacobs
Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card. WISTP (2009)
Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers
Preemption Abstraction. FMICS (2009)
Hendrik Tews, Tjark Weber, Marcus Völp
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code. Electron. Notes Theor. Comput. Sci. 217 (2008)
Hendrik Tews
Predicate and Relation Lifting for Parametric Algebraic Specifications. CMCS (2004)
Michael Hohmuth, Hendrik Tews, Shane G. Stephens
Applying source-code verification to a microkernel: the VFiasco project. ACM SIGOPS European Workshop (2002)
Hendrik Tews
Greatest Bisimulations for Binary Methods. CMCS (2002)
Jan Rothe, Hendrik Tews, Bart Jacobs
The Coalgebraic Class Specification Language CCSL. J. Univers. Comput. Sci. 7 (2) (2001)
Hendrik Tews
Coalgebras for Binary Methods: Properties of Bisimulations and Invariants. RAIRO Theor. Informatics Appl. 35 (1) (2001)
Hendrik Tews
Coalgebras for Binary Methods. CMCS (2000)
Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP (1998)

Hendrik Tews.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Hendrik Tews