Hendrik Tews

20 papers A 1B 2C 3Journal 4Unranked 8
YearRankTypeTitle / Venue / Authors
2016 B conf
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor.
FM
Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge luis Sacchini, Hendrik Tews, Thomas Tuerk
2015 J jnl
Locks: Picking key methods for a scalable quantitative analysis.
J. Comput. Syst. Sci.
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2013 — conf
A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.
NASA Formal Methods
Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2013 B conf
Formalizing Cut Elimination of Coalgebraic Logics in Coq.
TABLEAUX
Hendrik Tews
2012 — ed.
6th International Workshop on Systems Software Verification, SSV 2011, Nijmegen, The Netherlands, August 26, 2011
SSV
Jörg Brauer, Marco Roveri, Hendrik Tews
2012 — conf
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
SSV
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2012 — conf
On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code
SSV
Hendrik Tews, Marcus Völp, Tjark Weber
2012 C conf
Waiting for Locks: How Long Does It Usually Take?
FMICS
Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp
2009 J jnl
Formal Memory Models for the Verification of Low-Level Operating-System Code.
J. Autom. Reason.
Hendrik Tews, Marcus Völp, Tjark Weber
2009 C conf
Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card.
WISTP
Hendrik Tews, Bart Jacobs
2009 C conf
Preemption Abstraction.
FMICS
Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers
2008 — conf
A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System Code.
SSV
Hendrik Tews, Tjark Weber, Marcus Völp
2004 — conf
Predicate and Relation Lifting for Parametric Algebraic Specifications.
CMCS
Hendrik Tews
2002 — conf
Applying source-code verification to a microkernel: the VFiasco project.
ACM SIGOPS European Workshop
Michael Hohmuth, Hendrik Tews, Shane G. Stephens
2002 — —
Coalgebraische Methoden für objektorientierte Spezifikation.
Hendrik Tews
2002 — conf
Greatest Bisimulations for Binary Methods.
CMCS
Hendrik Tews
2001 J jnl
Coalgebras for Binary Methods: Properties of Bisimulations and Invariants.
RAIRO Theor. Informatics Appl.
Hendrik Tews
2001 J jnl
The Coalgebraic Class Specification Language CCSL.
J. Univers. Comput. Sci.
Jan Rothe, Hendrik Tews, Bart Jacobs
2000 — conf
Coalgebras for Binary Methods.
CMCS
Hendrik Tews
1998 A conf
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools.
ESOP
Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews