| |
| 2008 | ||
|---|---|---|
| 8 | EE | Hendrik Tews, Tjark Weber, Marcus Völp: A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code. Electr. Notes Theor. Comput. Sci. 217: 79-96 (2008) |
| 2004 | ||
| 7 | EE | Hendrik Tews: Predicate and Relation Lifting for Parametric Algebraic Specifications. Electr. Notes Theor. Comput. Sci. 106: 335-353 (2004) |
| 2002 | ||
| 6 | EE | Michael Hohmuth, Hendrik Tews, Shane G. Stephens: Applying source-code verification to a microkernel: the VFiasco project. ACM SIGOPS European Workshop 2002: 165-169 |
| 5 | EE | Hendrik Tews: Greatest Bisimulations for Binary Methods. Electr. Notes Theor. Comput. Sci. 65(1): (2002) |
| 2001 | ||
| 4 | EE | Hendrik Tews: Coalgebras for Binary Methods: Properties of Bisimulations and Invariants. ITA 35(1): 83-111 (2001) |
| 3 | EE | Jan Rothe, Hendrik Tews, Bart Jacobs: The Coalgebraic Class Specification Language CCSL. J. UCS 7(2): 175-193 (2001) |
| 2000 | ||
| 2 | EE | Hendrik Tews: Coalgebras for Binary Methods. Electr. Notes Theor. Comput. Sci. 33: (2000) |
| 1998 | ||
| 1 | EE | Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews: Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP 1998: 105-121 |
| 1 | Ulrich Hensel | [1] |
| 2 | Michael Hohmuth | [6] |
| 3 | Marieke Huisman | [1] |
| 4 | Bart Jacobs | [1] [3] |
| 5 | Jan Rothe | [3] |
| 6 | Shane G. Stephens | [6] |
| 7 | Marcus Völp | [8] |
| 8 | Tjark Weber | [8] |