Sort by Filter from project
  
go to PhD and master's theses
Your query yielded 223 results.

Paul, W.J. and Baumann, C. and Lutsyk, P. and Schmaltz, S. and Oberhauser, J.     BibTeX
System Architecture as an Ordinary Engineering Discipline.
Springer, 2016.
 
Paul, W.J. and Lutsyk, P. and Oberhauser, J.     BibTeX
Multi-core System Architecture.
Lecture notes, Saarland University, 2016.
 
Kovalev, M. and Mueller, s.M. and Paul, W.J.   EE BibTeX
A Pipelined Multi-core MIPS Machine - Hardware Implementation and Correctness Proof.
Springer, 2014.
ISBN 978-3-319-13905-0
 
Cohen, Ernie and Paul, Wolfgang and Schmaltz, Sabine   EE BibTeX
Theory of Multi Core Hypervisor Verification.
In Peter van Emde Boas and Frans C. A. Groen and Giuseppe F. Italiano and Jerzy Nawrocki and Harald Sack , editors, SOFSEM 2013: Theory and Practice of Computer Science,
volume 7741 of Lecture Notes in Computer Science, pages 1-27, Springer Berlin Heidelberg, 2013.
 
Schmaltz, Sabine     BibTeX
MIPS-86 – A Multi-Core MIPS ISA Specification.
Saarland University, Saarbrücken
2013.
Note: Technical report
 
Chen, G. and Cohen, E. and Kovalev, M.     BibTeX
Store Buffer Reduction with MMUs: Complete Paper-and-pencil Proof.
Saarland University, Saarbrücken
2013.
Note: Technical report
 
Alkassar, E. and Cohen, E. and Kovalev, M. and Paul, W.     BibTeX
Verification of TLB Virtualization Implemented in C.
In 4th International Conference on Veri ed Software: Theories, Tools, and Experiments, VSTTE'12,
Philadelphia, USA
Lecture Notes in Computer Science, Springer-Verlag, 2012.
 
Schmaltz, Sabine and Shadrin, Andrey   EE BibTeX
Integrated Semantics of Intermediate-Language C and Macro-Assembler for Pervasive Formal Verification of Operating Systems and Hypervisors from VerisoftXT .
In Joshi, Rajeev and Müller, Peter and Podelski, Andreas, editors, 4th International Conference on Veri ed Software: Theories, Tools, and Experiments, VSTTE'12,
Philadelphia, USA
volume 7152 of Lecture Notes in Computer Science, Springer Berlin / Heidelberg, 2012.
 
Baumann, Christoph     BibTeX
Reordering and Simulation in Concurrent Systems.
Saarland University, Saarbrücken
2012.
Note: obsolete technical report, cf. phd thesis
 
Paul, Wolfgang and Schmaltz, Sabine and Shadrin, Andrey   EE BibTeX
Completing the Automated Verification of a Small Hypervisor – Assembler Code Verification.
In George Eleftherakis and Mike Hinchey and Mike Holcombe , editors, 10th International Conference, SEFM 2012, Thessaloniki, Greece, October 1-5 (Software Engineering and Formal Methods),
volume 7504 of Lecture Notes in Computer Science, pages 188-202, Springer Berlin Heidelberg, 2012.
 
   weiter