Publikationen

Seite 1 von 1.

Mark Hillebrand; Sergey Tverdyshev
Formal Verification of Gate-Level Computer Systems
In: Anna Frid; Andrey Morozov; Andrey Rybalchenko; Klaus W. Wagner (Hrsg.). Computer Science -- Theory and Applications. International Computer Science Symposium in Russia (CSR-09), Fourth, August 18-23, Novosibirsk, Russian Federation, Pages 322-333, Lecture Notes in Computer Science (LNCS), Vol. 5675, Springer, 8/2009.
Eyad Alkassar; Mark Hillebrand; Dirk Leinenbach; Norbert Schirmer; Artem Starostin; Alexandra Tsyban
Balancing the Load: Leveraging a Semantics Stack for Systems Verification
In: Journal of Automated Reasoning (JAR), Vol. 42, No. 2-4, Pages 389-454, Springer, 2/2009.
Dirk Leinenbach; Elena Petrova
Pervasive Compiler Verification - From Verified Programs to Verified Systems
In: Ralf Huuck; Gerwin Klein; Bastian Schlich (Hrsg.). Proceedings of the 3rd International Workshop on Systems Software Verification. International Workshop on Systems Software Verification (SSV-08), 3rd, February 25-27, Sydney, NSW, Australia, Pages 23-40, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 217, Elsevier Science B. V. 2008.
Eyad Alkassar; Mark Hillebrand
Formal Functional Verification of Device Drivers
In: Jim Woodcock; Natarajan Shankar (Hrsg.). Verified Software: Theories, Tools, Experiments. International Conference on Verified Software: Theories, Tools, Experiments (VSTTE-08), Second International Conference, October 6-9, Toronto, ON, Canada, Pages 225-239, Lecture Notes in Computer Science (LNCS), Vol. 5295, ISBN 978-3-540-87872-8, Springer, 2008.
Eyad Alkassar; Mark Hillebrand; Dirk Leinenbach; Norbert Schirmer; Artem Starostin
The Verisoft Approach to Systems Verification
In: Natarajan Shankar; Jim Woodcock (Hrsg.). Verified Software: Theories, Tools, Experiments. International Conference on Verified Software: Theories, Tools, Experiments (VSTTE-08), Second International Conference, October 6-9, Toronto, ON, Canada, Pages 209-224, Lecture Notes in Computer Science (LNCS), Vol. 5295, ISBN 978-3-540-87872-8, Springer, 2008.
Dirk Leinenbach
Compiler Verification in the Context of Pervasive System Verification
PhD-Thesis, Saarland University, Computer Science Department, 2008.
Gunter Lassmann; Georg Rock; Matthias Schwan; Lassaad Cheikhrouhou
Verisoft secure biometric identification system
In: Paul J. J. Welfens; Ellen Walther-Klaus. Digital Excellence, University Meets Economy. Pages 83-97, ISBN 978-3-540-72620-3, Springer, Berlin Heidelberg, 2008.
Mark Hillebrand; Wolfgang Paul
On the Architecture of System Verification Environments
In: Karen Yorav (Hrsg.). Hardware and Software, Verification and Testing, Third International Haifa Verification Conference, HVC 2007, Haifa, Israel, October 23--25, 2007. International Haifa Verification Conference (HVC), Pages 153-168, LNCS, Vol. 4899, Springer, 10/2007.
Lassaad Cheikhrouhou; Georg Rock; Werner Stephan; Matthias Schwan; Gunter Lassmann
Verifying a Chipcard-Based Biometric Identification Protocol in {VSE}
In: Computer Safety, Reliability, and Security, 25th International Conference. IFAC Symposium on Safety of Computer Control Systems (SAFECOMP-06), September 27-29, Gdansk, Poland, Pages 42-56, LNCS, No. 4166, ISBN 3-540-45762-3, Springer, 2006.