Hendrik Tews
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1998–2016
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | FM | 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, Csar Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk |
| 2013 | TABLEAUX | Formalizing Cut Elimination of Coalgebraic Logics in Coq. | Hendrik Tews |
| 2012 | FMICS | Waiting for Locks: How Long Does It Usually Take? | Christel Baier, Marcus Daum, Benjamin Engel, Hermann Hrtig, Joachim Klein, Sascha Klppelholz, Steffen Mrcker, Hendrik Tews, Marcus Vlp |
| 2009 | FMICS | Preemption Abstraction. | Erik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers |
| 2009 | WISTP | Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card. | Hendrik Tews, Bart Jacobs |
| 1998 | ESOP | Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. | Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews |