Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. - Ulrich Hensel; Marieke Huisman; Bart Jacobs 001; Hendrik Tews (ESOP, 1998)

Coalgebras for Binary Methods. - Hendrik Tews (CMCS, 2000)

Coalgebras for Binary Methods: Properties of Bisimulations and Invariants. - Hendrik Tews (RAIRO Theor. Informatics Appl., 2001)

The Coalgebraic Class Specification Language CCSL. - Jan Rothe; Hendrik Tews; Bart Jacobs 001 (J. Univers. Comput. Sci., 2001)

Applying source-code verification to a microkernel: the VFiasco project. - Michael Hohmuth; Hendrik Tews; Shane G. Stephens (ACM SIGOPS European Workshop, 2002)

Greatest Bisimulations for Binary Methods. - Hendrik Tews (CMCS, 2002)

Coalgebraische Methoden für objektorientierte Spezifikation. - Hendrik Tews (2002)

Predicate and Relation Lifting for Parametric Algebraic Specifications. - Hendrik Tews (CMCS, 2004)

A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code. - Hendrik Tews; Tjark Weber; Marcus Völp (SSV, 2008)

Preemption Abstraction. - Erik Schierboom; Alejandro Tamalet; Hendrik Tews; Marko C. J. D. van Eekelen; Sjaak Smetsers (FMICS, 2009)

Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card. - Hendrik Tews; Bart Jacobs 001 (WISTP, 2009)

Formal Memory Models for the Verification of Low-Level Operating-System Code. - Hendrik Tews; Marcus Völp; Tjark Weber (J. Autom. Reason., 2009)

Waiting for Locks: How Long Does It Usually Take? - Christel Baier; Marcus Daum; Benjamin Engel; Hermann Härtig; Joachim Klein 001; Sascha Klüppelholz; Steffen Märcker; Hendrik Tews; Marcus Völp (FMICS, 2012)

On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code - Hendrik Tews; Marcus Völp; Tjark Weber (SSV, 2012)

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code - Christel Baier; Marcus Daum; Benjamin Engel; Hermann Härtig; Joachim Klein 001; Sascha Klüppelholz; Steffen Märcker; Hendrik Tews; Marcus Völp (SSV, 2012)

A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select. - Christel Baier; Benjamin Engel; Sascha Klüppelholz; Steffen Märcker; Hendrik Tews; Marcus Völp (NASA Formal Methods, 2013)

Formalizing Cut Elimination of Coalgebraic Logics in Coq. - Hendrik Tews (TABLEAUX, 2013)

Locks: Picking key methods for a scalable quantitative analysis. - Christel Baier; Marcus Daum; Benjamin Engel; Hermann Härtig; Joachim Klein 001; Sascha Klüppelholz; Steffen Märcker; Hendrik Tews; Marcus Völp (J. Comput. Syst. Sci., 2015)

Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor. - Hanno Becker; Juan Manuel Crespo; Jacek Galowicz; Ulrich Hensel; Yoichi Hirai; César Kunz; Keiko Nakata 001; Jorge Luis Sacchini; Hendrik Tews; Thomas Tuerk (FM, 2016)