Concepedia

Hendrik Tews

HT

Statistics

Publications

10

Citations

302

H-Index

10

Active since

1998

Affiliations

Technische Universität Dresden(Current)

Radboud University Nijmegen

Hochschule für Technik und Wirtschaft Dresden – University of Applied Sciences

Hendrik Tews is an author at Technische Universität Dresden specializing in computing, computer science, and computer systems.

Publications per year

1998–2020

10

Publications

10

Reasoning about Java classes

Bart Jacobs, Joachim van den Berg, Marieke Huisman et al. · 1998 · 77 citations

Computing, Computer Science, Formal Methods +14

The Coalgebraic Class Specification Language CCSL

Jan Rothe, Hendrik Tews, Bart Jacobs · Zenodo (CERN European Organization for Nuclear Research) · 2001 · 56 citations · Full text

Computing, Computer Science, Computer Systems +9

Applying source-code verification to a microkernel

Michael Hohmuth, Hendrik Tews, Shane Stephens · 2002 · 45 citations

Computing, Computer Engineering, Computer Science +12

Formal Memory Models for the Verification of Low-Level Operating-System Code

Hendrik Tews, Marcus Völp, Tjark Weber · Journal of Automated Reasoning · 2009 · 23 citations

Computing, Computer Science, Computer Systems +14

A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code

Hendrik Tews, Tjark Weber, Marcus Völp · Electronic Notes in Theoretical Computer Science · 2008 · 23 citations · Full text

Computing, Computer Science, Computer Systems +13

1–5 of 10