| 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. |
| |
