Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $optionblock in /www/www-wjp/publikationen/index.php on line 37
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $filter in /www/www-wjp/publikationen/index.php on line 33
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $optklassifikationen in /www/www-wjp/publikationen/index.php on line 51
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/index.php on line 47
Warning: Undefined variable $direction in /www/www-wjp/publikationen/index.php on line 55
Warning: Undefined variable $order in /www/www-wjp/publikationen/index.php on line 61
Warning: Undefined variable $order in /www/www-wjp/includes/publikationsliste.php on line 55
Warning: Undefined variable $direction in /www/www-wjp/includes/publikationsliste.php on line 56
Warning: Undefined variable $examensarbeiten in /www/www-wjp/includes/publikationsliste.php on line 57
Warning: Undefined variable $filter in /www/www-wjp/includes/publikationsliste.php on line 62
Warning: Undefined variable $klassifikation in /www/www-wjp/includes/publikationsliste.php on line 64
| 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. | |||
Warning: Undefined variable $_Server in /www/www-wjp/includes/publikationsliste.php on line 119
Warning: Trying to access array offset on null in /www/www-wjp/includes/publikationsliste.php on line 119
Warning: Undefined variable $filter in /www/www-wjp/includes/publikationsliste.php on line 120
Warning: Undefined variable $klassifikation in /www/www-wjp/includes/publikationsliste.php on line 120
