Hendrik Tews

According to our database, Hendrik Tews authored at least 19 papers between 1998 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor.

Hanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk

Proceedings of the FM 2016: Formal Methods, 2016

2015

Locks: Picking key methods for a scalable quantitative analysis.

Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

J. Comput. Syst. Sci., 2015

2013

Formalizing Cut Elimination of Coalgebraic Logics in Coq.

Hendrik Tews

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.

Christel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

Proceedings of the NASA Formal Methods, 2013

2012

Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code

Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

On the Use of Underspecified Data-Type Semantics for Type Safety in Low-Level Code

Hendrik Tews, Marcus Völp, Tjark Weber

Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Waiting for Locks: How Long Does It Usually Take?

Christel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp

Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2009

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

Hendrik Tews, Marcus Völp, Tjark Weber

J. Autom. Reason., 2009

Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card.

Hendrik Tews, Bart Jacobs

Proceedings of the Information Security Theory and Practice. Smart Devices, 2009

Preemption Abstraction.

Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

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

Hendrik Tews, Tjark Weber, Marcus Völp

Proceedings of the 3rd International Workshop on Systems Software Verification, 2008

2004

Predicate and Relation Lifting for Parametric Algebraic Specifications.

Hendrik Tews

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

2002

Coalgebraische Methoden für objektorientierte Spezifikation.

Hendrik Tews

PhD thesis, 2002

Greatest Bisimulations for Binary Methods.

Hendrik Tews

Proceedings of the Coalgebraic Methods in Computer Science, 2002

Applying source-code verification to a microkernel: the VFiasco project.

Michael Hohmuth, Hendrik Tews, Shane G. Stephens

Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

2001

The Coalgebraic Class Specification Language CCSL.

Jan Rothe, Hendrik Tews, Bart Jacobs

J. Univers. Comput. Sci., 2001

Coalgebras for Binary Methods: Properties of Bisimulations and Invariants.

Hendrik Tews

RAIRO Theor. Informatics Appl., 2001

2000

Coalgebras for Binary Methods.

Hendrik Tews

Proceedings of the Coalgebraic Methods in Computer Science, 2000

1998

Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools.

Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews

Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998