| 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 | | | | Daum, Matthias and Schirmer, Norbert W. and Schmidt, Mareike |
|
EE |
BibTeX |
| Implementation Correctness of a Real-Time Operating System. | | In 7th {IEEE} International Conference on Software Engineering and Formal Methods ({SEFM} 2009), 23--27 November 2009, Hanoi, Vietnam, | | pages 23-32, IEEE, 2009. | | ISBN 978-0-7695-3870 | | | | Cohen, Ernie and Schirmer, Norbert |
|
EE |
BibTeX |
| A Better Reduction Theorem for Store Buffers. | | 2009 | | | | Schirmer, Norbert and Wenzel, Makarius |
|
EE |
BibTeX |
| State Spaces -- The Locale Way. | | In 4th International Workshop on Systems Software Verification (SSV 2009), | | volume 254 of Electronic Notes in Theoretical Computer Science, pages 161--179, Elsevier Science B.V., 2009. | | | | Degenbaev, Ulan and Paul, Wolfgang J. and Schirmer, Norbert |
|
EE |
BibTeX |
| Pervasive Theory of Memory. | | In Susanne Albers and Helmut Alt and Stefan N{\"a}her, editors, Efficient Algorithms -- Essays Dedicated to Kurt
Mehlhorn on the Occasion of His 60th Birthday, | | volume 5760 of Lecture Notes in Computer Science, pages 74-98, Springer, 2009. | | | | Alkassar, Eyad and Schirmer, Norbert and Starostin, Artem |
|
EE |
BibTeX |
| Formal Pervasive Verification of a Paging Mechanism. | | In C. R. Ramakrishnan and Jakob Rehof, editors, 14th intl Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS08), | | volume 4963 of LNCS, pages 109-123, Springer, 2008. | | | | Alkassar, Eyad and Hillebrand, Mark A. and Leinenbach, Dirk and Schirmer, Norbert W. and Starostin, Artem |
|
EE |
BibTeX |
| The Verisoft Approach to Systems Verification. | | In Natarajan Shankar and Jim Woodcock, editors, 2nd IFIP Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE'08), | | volume 5295 of LNCS, pages 209--224, Springer, 2008. | | | | Daum, M. and Maus, S. and Schirmer, N. and Seghir, M.N. |
 |
EE |
BibTeX |
| Integration of a Software Model Checker into Isabelle. | | In Sutcliffe, G. and Voronkov, A., editors, LPAR, | | volume 3835 of LNCS, pages 381-395, Springer, 2005. | | ISBN 3-540-30553-X | | |
|
