![]() | ![]() |
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] |