Institut für Rechnerarchitektur
und Parallelrechner
Sortiere nach Filtere nach aus Projekt
  
zu den Examensarbeiten
Ihre Anfrage lieferte 223 Ergebnisse.

Alkassar, E. and Cohen, E. and Hillebrand, M. and Kovalev, M. and Paul, W.   BibTeX
Verifying Shadow Page Table Algorithms.
In Formal Methods in Computer Aided Design (FMCAD) 2010,
Lugano, Switzerland
pages 267-270, IEEE, 2010.
 
Alkassar, E. and Cohen, E. and Hillebrand, M. and Pentchev, H.   BibTeX
Modular Specification and Verification of Interprocess Communication.
In Formal Methods in Computer Aided Design (FMCAD) 2010,
IEEE, 2010.
Note: to appear
 
Alkassar, E. and Bogan, S. and Paul, W.   EE BibTeX
Proving the Correctness of Client/Server Software.
In Sadhana Journal,
pages 145-192, Springer, 2009.
 
Daum, Matthias and Dörrenbächer, Jan and Wolff, Burkhart   EE BibTeX
Proving Fairness and Implementation Correctness of a Microkernel Scheduler.
In Klein, Gerwin and Huuck, Ralf and Schlich, Bastian, editors, Journal of Automated Reasoning: Special Issue on Operating System Verification,
pages 349-388, Springer, 2009.
ISBN 0168-7433
Note: The original publication is available at www.springerlink.com
 
Alkassar, E. and Hillebrand, M. A. and Leinenbach, D. C. and Schirmer, N. W. and Starostin, A. and Tsyban, A.   EE BibTeX
Balancing the Load: Leveraging Semantics Stack for Systems Verification.
In Klein, Gerwin and Huuck, Ralf and Schlich, Bastian, editors, Journal of Automated Reasoning: Special Issue on Operating Systems Verification,
pages 389-454, Springer, 2009.
ISBN 0168-7433
 
Hillebrand, M. and Tverdyshev, S.   EE BibTeX
Formal Verification of Gate-Level Computer Systems.
In A. Morozov, K. Wagner, A. Rybalchenko, and A. Frid., editors, 4th International Computer Science Symposium in Russia,
volume 5675 of LNCS, pages 322-333, Springer, 2009.
 
Hillebrand, M. and Leinenbach, D.   EE BibTeX
Formal Verification of a Reader-Writer Lock Implementation in C.
In 4th International Workshop on Systems Software Verification (SSV09),
volume 254 of Electronic Notes in Theoretical Computer Science, pages 123-141, Elsevier Science B. V., 2009.
 
Daum, Matthias EE BibTeX
Temporal Fairness of a Microkernel Scheduler.
In Huuck, R. and Klein, G. and Schlich, B., editors, Doctoral Symposium on Systems Software Verification (DS SSV'09),
Aachen, Germany
volume AIB-2009-14 of Aachener Informatik Berichte, pages 1-3, RWTH Aachen University, 2009.
ISBN 0935–3232
 
Baumann, C. and Beckert, B. and Blasum, H. and Bormer, T.   BibTeX
Better Avionics Software Reliability by Code Verification.
In Sturm, M., editors, embedded world 2009 proceedings & conference materials ,
Nuremberg, Germany
WEKA FACHMEDIEN GmbH, 2009.
ISBN 978-3-7723-3798
 
Baumann, C. and Bormer, T. EE BibTeX
Verifying the PikeOS Microkernel: First Results in the Verisoft XT Avionics Project.
In Huuck, R. and Klein, G. and Schlich, B., editors, Doctoral Symposium on Systems Software Verification (DS SSV'09) ,
Aachen, Germany
volume AIB-2009-14 of Aachener Informatik Berichte, pages 20-22, RWTH Aachen University, 2009.
Note: ISSN 0935-3232
 
zurck   weiter