Number of items: 8.
Conference or Workshop Item (A Paper)
Cohen, Ernie and Paul, Wolfgang J. and Schmaltz, Sabine
(2013)
Theory of Multi Core Hypervisor Verification.
Paul, Wolfgang J. and Schmaltz, Sabine and Shadrin, Andrey
(2012)
Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification.
Alkassar, Eyad and Cohen, Ernie and Kovalev, Mikhail and Paul, Wolfgang J.
(2012)
Verification of TLB Virtualization Implemented in C.
Paul, Wolfgang J.
(2012)
Cyber War, Formal Verification and Certified Infrastructure.
Müller, Christian A. and Paul, Wolfgang J.
(2011)
Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus.
Book
Paul, Wolfgang J. and Baumann, Christoph and Lutsyk, P. and Schmaltz, Sabine and Oberhauser, J.
(2016)
System Architecture as an Ordinary Engineering Discipline.
Springer.
Kovalev, Mikhail and Müller, Silvia M. and Paul, Wolfgang J.
(2014)
A Pipelined Multi-core MIPS Machine -- Hardware Implementation and Correctness Proof.
UNSPECIFIED.
Monograph
Paul, Wolfgang J. and Lutsyk, P and Oberhauser, J
(2016)
Multi-core System Architecture.
Technical Report.
UNSPECIFIED.
This list was generated on Fri Oct 11 16:36:23 2024 CEST.