Items where Author is "Paul, Wolfgang J."

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper) | Book | Monograph
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.
In: Proc. 39th International Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2013).

Paul, Wolfgang J. and Schmaltz, Sabine and Shadrin, Andrey
(2012) Completing the Automated Verification of a Small Hypervisor - Assembler Code Verification.
In: Proc. 10th International Conference on Software Engineering and Formal Methods (SEFM 2012).

Alkassar, Eyad and Cohen, Ernie and Kovalev, Mikhail and Paul, Wolfgang J.
(2012) Verification of TLB Virtualization Implemented in C.
In: Proc. 4th International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE 2012).

Paul, Wolfgang J.
(2012) Cyber War, Formal Verification and Certified Infrastructure.
In: Verified Software: Theories, Tools, Experiments - 4th International Conference, VSTTE 2012, Philadelphia, PA, USA, January 28-29, 2012. Proceedings.

Müller, Christian A. and Paul, Wolfgang J.
(2011) Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus.
In: Computer Aided Verification - 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings.
Conference: CAV Computer Aided Verification

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 Sat Dec 21 16:01:06 2024 CET.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.