Browsing by Author "Tews, H."

Now showing items 1-10 of 10

Performance Issues of Selective Disclosure and Blinded Issuing Protocols on Java Card
Tews, H. ; Jacobs, Bart
2009, Article in monograph or in proceedings (Markowitch, O.; Bilas, A. (ed.), Information Security Theory and Practice. Smart Devices, Pervasive Systems, and Ubiquitous Networks : Third IFIP WG 11.2 International Workshop, WISTP 2009, Brussels, Belgium, September 1-4, 2009, Proceedings, pp. 95-111)
Formal Memory Models for the Verification of Low-Level Operating-System Code
Tews, H. ; Völp, Marcus; Weber, T.M.
2009, Article / Letter to editor (Journal of Automated Reasoning, vol. 42, iss. 2-4, (2009), pp. 189-227)
Preemption Abstraction: A Lightweight Approach to Modelling Concurrency
Schierboom, E.G.H.; Tamalet, Alejandro ; Tews, H. ; Eekelen, M.C.J.D. van ; Smetsers, Sjaak
2009, Article in monograph or in proceedings (Alpuente, M.; Cook, B. (ed.), Formal Methods for Industrial Critical Systems (FMICS 2009) : 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009, Proceedings, pp. 149-164)
Formal Nova interface specification : Formal specification of the micro-hypervisor interface
Tews, H. ; Weber, T.M. ; Poll, E. ; Eekelen, M.C.J.D. van
2008, External research report
Nova Micro--Hypervisor Verification
Tews, H. ; Weber, T.M. ; Völp, Marcus; Poll, E. ; Eekelen, M.C.J.D. van ; Rossum, P.J.B. van
2008, External research report
Micro Hypervisor Verification: Possible Approaches and Relevant Properties
Tews, H.
2007, Article in monograph or in proceedings (Voorjaarsconferentie 2007: Virtualisatie, pp. 96-109)
Formal Methods in the Robin project: Specification and verification of the Nova microhypervisor
Tews, H.
2007, Article in monograph or in proceedings (Tews, H. (ed.), Proceedings of the C/C++ Verification Workshop, pp. 59-68)
Olmar: manipulating C and C++ abstract syntax trees in Ocaml
Tews, H.
2007, Article in monograph or in proceedings (Tews, H. (ed.), Proceedings of the C/C++ Verification Workshop, pp. 103-113)
Proceedings of the C/C++ Verification Workshop
Tews, H.
2007, Book editorial
The Coalgebraic Class Specification Language CCSL
Rothe, J.; Tews, H. ; Jacobs, B.P.F.
2001, Article / Letter to editor (Journal of Universal Computer Science, vol. 7, iss. 2, (2001), pp. 175-193)

Now showing items 1-10 of 10

Search Repository

Advanced Search

Browse

All of Repository

Radboud Repository

Browsing by Author "Tews, H."

Search Repository

Browse

All of Repository