dblp.uni-trier.dewww.uni-trier.de

Hendrik Tews

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
8EEHendrik 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
7EEHendrik Tews: Predicate and Relation Lifting for Parametric Algebraic Specifications. Electr. Notes Theor. Comput. Sci. 106: 335-353 (2004)
2002
6EEMichael Hohmuth, Hendrik Tews, Shane G. Stephens: Applying source-code verification to a microkernel: the VFiasco project. ACM SIGOPS European Workshop 2002: 165-169
5EEHendrik Tews: Greatest Bisimulations for Binary Methods. Electr. Notes Theor. Comput. Sci. 65(1): (2002)
2001
4EEHendrik Tews: Coalgebras for Binary Methods: Properties of Bisimulations and Invariants. ITA 35(1): 83-111 (2001)
3EEJan Rothe, Hendrik Tews, Bart Jacobs: The Coalgebraic Class Specification Language CCSL. J. UCS 7(2): 175-193 (2001)
2000
2EEHendrik Tews: Coalgebras for Binary Methods. Electr. Notes Theor. Comput. Sci. 33: (2000)
1998
1EEUlrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews: Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP 1998: 105-121

Coauthor Index

1Ulrich Hensel [1]
2Michael Hohmuth [6]
3Marieke Huisman [1]
4Bart Jacobs [1] [3]
5Jan Rothe [3]
6Shane G. Stephens [6]
7Marcus Völp [8]
8Tjark Weber [8]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)