Hendrik Tews

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a Hypervisor.
Proceedings of the FM 2016: Formal Methods, 2016

2015
Locks: Picking key methods for a scalable quantitative analysis.
J. Comput. Syst. Sci., 2015

2013
Formalizing Cut Elimination of Coalgebraic Logics in Coq.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-Select.
Proceedings of the NASA Formal Methods, 2013

2012
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
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
Proceedings of the Proceedings Seventh Conference on Systems Software Verification, 2012

Waiting for Locks: How Long Does It Usually Take?
Proceedings of the Formal Methods for Industrial Critical Systems, 2012

2009
Formal Memory Models for the Verification of Low-Level Operating-System Code.
J. Autom. Reasoning, 2009

Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card.
Proceedings of the Information Security Theory and Practice. Smart Devices, 2009

Preemption Abstraction.
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.
Electr. Notes Theor. Comput. Sci., 2008

2004
Predicate and Relation Lifting for Parametric Algebraic Specifications.
Electr. Notes Theor. Comput. Sci., 2004

2002
Coalgebraische Methoden für objektorientierte Spezifikation.
PhD thesis, 2002

Greatest Bisimulations for Binary Methods.
Electr. Notes Theor. Comput. Sci., 2002

Applying source-code verification to a microkernel: the VFiasco project.
Proceedings of the 10th ACM SIGOPS European Workshop, Saint-Emilion, France, July 1, 2002, 2002

2001
The Coalgebraic Class Specification Language CCSL.
J. UCS, 2001

Coalgebras for Binary Methods: Properties of Bisimulations and Invariants.
ITA, 2001

2000
Coalgebras for Binary Methods.
Electr. Notes Theor. Comput. Sci., 2000

1998
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools.
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


  Loading...