Publications

Page 1 of 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 …
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 …
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, …
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, …
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 …
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, …
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), …