Hendrik Tews - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 17 from 17

2016

Combining Mechanized Proofs and Model-Based Testing in the Formal Analysis of a HypervisorHanno Becker, Juan Manuel Crespo, Jacek Galowicz, Ulrich Hensel, Yoichi Hirai, César Kunz, Keiko Nakata, Jorge Luis Sacchini, Hendrik Tews, Thomas Tuerk. FM 2016: 69-84 [doi]

2015

Locks: Picking key methods for a scalable quantitative analysisChristel Baier, Marcus Daum, Benjamin Engel, Hermann Härtig, Joachim Klein, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp. jcss, 81(1):258-287, 2015. [doi]

2013

A Probabilistic Quantitative Analysis of Probabilistic-Write/Copy-SelectChristel Baier, Benjamin Engel, Sascha Klüppelholz, Steffen Märcker, Hendrik Tews, Marcus Völp. NFM 2013: 307-321 [doi]

Formalizing Cut Elimination of Coalgebraic Logics in CoqHendrik Tews. tableaux 2013: 257-272 [doi]

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. fmics 2012: 47-62 [doi]

2009

Preemption AbstractionErik Schierboom, Alejandro Tamalet, Hendrik Tews, Marko C. J. D. van Eekelen, Sjaak Smetsers. fmics 2009: 149-164 [doi]

Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java CardHendrik Tews, Bart Jacobs. WISTP 2009: 95-111 [doi]

Formal Memory Models for the Verification of Low-Level Operating-System CodeHendrik Tews, Marcus VÃ¶lp, Tjark Weber. JAR, 42(2-4):189-227, 2009. [doi]

2008

A Formal Model of Memory Peculiarities for the Verification of Low-Level Operating-System CodeHendrik Tews, Tjark Weber, Marcus Völp. ENTCS, 217:79-96, 2008. [doi]

2004

Predicate and Relation Lifting for Parametric Algebraic SpecificationsHendrik Tews. ENTCS, 106:335-353, 2004. [doi]

2002

Applying source-code verification to a microkernel: the VFiasco projectMichael Hohmuth, Hendrik Tews, Shane G. Stephens. sigopsE 2002: 165-169 [doi]

Greatest Bisimulations for Binary MethodsHendrik Tews. ENTCS, 65(1):317-336, 2002. [doi]

Coalgebraische Methoden für objektorientierte SpezifikationHendrik Tews. PhD thesis, Dresden University of Technology, Germany, 2002. [doi]

2001

The Coalgebraic Class Specification Language CCSLJan Rothe, Hendrik Tews, Bart Jacobs. jucs, 7(2):175-193, 2001. [doi]

Coalgebras for Binary Methods: Properties of Bisimulations and InvariantsHendrik Tews. ita, 35(1):83-111, 2001. [doi]

2000

Coalgebras for Binary MethodsHendrik Tews. ENTCS, 33:316, 2000. [doi]

1998

Reasonong about Classess in Object-Oriented Languages: Logical Models and ToolsUlrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews. ESOP 1998: 105-121 [doi]

Sign in or sign up to see more results.

runs on WebDSL