| |
| go to PhD and master's theses |
| Your query yielded 213 results. |
| 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. | | Note: To appear | | |
| Schmaltz, S. and Shadrin, A. |
|
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, C. and Blasum, H. and Bormer, T. and Tverdyshev, S. |
|
|
BibTeX |
| Proving Memory Separation in a Microkernel by Code Level Verification. | | In Wilfried Steiner and Roman Obermaisser, editors, 1st International Workshop on Architectures and Applications for Mixed-Criticality Systems (AMICS 2011), | | Newport Beach, CA, USA | | IEEE Computer Society, 2011. | | Note: Verified Code Sources: http://www.verisoftxt.de/d/src/memorySeparation.tgz | | |
| Alkassar, E. and Böhme, S. and Mehlhorn, K. and Rizkallah, C. |
|
|
BibTeX |
| Verification of Certifying Computations. | | In Conference on Computer Aided Verification (CAV 2011), | | LNCS, 2011. | | Note: To appear | | |
| Klebanov, V and Müller, P. and Shankar, N. and Leavens, G. and Wüstholz, V. and Alkassar, E. and Arthan, R. and Bronish, D. and Chapman, R. and Cohen, E. and Hillebrand, M. and Jacobs, B and Leino, R. and Monahan, R. and Piessens, F. and Polikarpova, N. and Ridge, T. and Smans, J. and Tobies, S. and Tuerk, T. and Ulbrich, M. and Wei, B. |
|
|
BibTeX |
| The 1st Verified Software Competition: Experience Report. | | In Michael Butler and Wolfram Schulte, editors, 17th International Symposium on Formal Methods (FM 2011), | | LNCS, 2011. | | Note: Best Paper Award | | |
| Christian Müller and Wolfgang Paul |
|
|
BibTeX |
| Complete Formal Hardware Verification of Interfaces for a FlexRay-Like Bus. | | In Conference on Computer Aided Verification (CAV 2011), | | LNCS, 2011. | | Note: To appear | | |
| Endres, E. and Muller, C. and Shadrin, A. and Tverdyshev, S. |
|
EE |
BibTeX |
| Towards the Formal Verification of a Distributed Real-Time Automotive System. | | In Cesar Munoz, editors, Second NASA Formal Methods Symposium
NFM 2010, | | pages 212-217, NASA, 2010. | | unpublished, available at http://www-wjp.cs.uni-saarland.de/publikationen/Endres-NFM2010.pdf | | |
| Baumann, C. and Beckert, B. and Blasum, H. and Bormer, T. |
|
|
BibTeX |
| Ingredients of Operating System Correctness. | | In Sturm, M., editors, embedded world 2010 proceedings & conference materials , | | Nuremberg, Germany | | WEKA FACHMEDIEN GmbH, 2010. | | ISBN 978-3-7723-1012 | | |
| Alkassar, E. and Hillebrand, M. and Paul, W. and Petrova, E. |
|
EE |
BibTeX |
| Automated Verification of a Small Hypervisor. | | In Third International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'10), | | Edinburgh, UK | | volume 6217 of LNCS, pages 40-54, Springer, 2010. | | |
| Alkassar, E. and Paul, W. and Starostin, A. and Tsyban, A. |
|
EE |
BibTeX |
| Pervasive Verification of an OS Microkernel: Inline Assembly, Memory Consumption, Concurrent Devices. | | In Third International Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'10), | | Edinburgh | | volume 6217 of LNCS, pages 71-85, Springer, 2010. | | | weiter
|
|
|
|
