Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $optionblock in /www/www-wjp/publikationen/publikationen.php on line 83
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $filter in /www/www-wjp/publikationen/publikationen.php on line 79
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $optklassifikationen in /www/www-wjp/publikationen/publikationen.php on line 97
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $klassifikation in /www/www-wjp/publikationen/publikationen.php on line 93
Warning: Undefined variable $order in /www/www-wjp/publikationen/publikationen.php on line 107
Warning: Undefined variable $order in /www/www-wjp/includes/publikationsliste.php on line 55
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
| zurück zu den Publikationen | |||
| Ihre Anfrage lieferte 54 Ergebnisse. | |||
| Baumann, Christoph |  |
BibTeX | |
| Formal Specification of the x87 Floating-Point Instruction Set. | |||
| Diplomarbeit, Saarland University, 2008. | |||
| Schmaltz, Sabine (formerly Fischer) | |
BibTeX | |
| Formal Verification of a Big Integer Library Including Division. | |||
| Masterarbeit, Saarland University, 2007. | |||
| Petrova, Elena | |
BibTeX | |
| Verification of the C0 Compiler Implementation on the Source Code Level. | |||
| Dissertation, Saarland University, Saarbrücken, 2007. | |||
| Starostin, Artem | |
BibTeX | |
| Formal Verification of a C-Library for Strings. | |||
| Diplomarbeit, Saarland University, 2006. | |||
| Shadrin, Andrey | |
BibTeX | |
| Design and Implementation of the Portmapper and RPC Primitives in the Context of the SOS. | |||
| Diplomarbeit, Saarland University, 2006. | |||
| Schmaltz, Sabine (formerly Fischer) | |
BibTeX | |
| Formal Verification of a Big Integer Library Written in C0. | |||
| 2006. | |||
| Dalinger, Iakov | |
BibTeX | |
| Formal Verification of a Processor with Memory Management Units. | |||
| Dissertation, Saarland University, Saarbrücken, 2006. | |||
| Beyer, Sven | |
BibTeX | |
| Putting it all together - Formal Verification of the VAMP. | |||
| Dissertation, Saarland University, Saarbrücken, 2005. | |||
| Hillebrand, Mark | |
BibTeX | |
| Address Spaces and Virtual Memory: Specification, Implementation, and Correctness. | |||
| Dissertation, Saarland University, Saarbrücken, 2005. | |||
| Preiß, Jochen | |
BibTeX | |
| Complexity and Correctness of a Super-Pipelined Processor. | |||
| Dissertation, Saarland University, Saarbrücken, 2005. | |||
Warning: Undefined variable $_Server in /www/www-wjp/includes/publikationsliste.php on line 111
Warning: Trying to access array offset on null in /www/www-wjp/includes/publikationsliste.php on line 111
Warning: Undefined variable $filter in /www/www-wjp/includes/publikationsliste.php on line 112
Warning: Undefined variable $klassifikation in /www/www-wjp/includes/publikationsliste.php on line 112
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
