- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c17 |      | Vladimir Klebanov, Peter Müller, Natarajan Shankar, Gary T. Leavens, Valentin Wüstholz, Eyad Alkassar, Rob Arthan, Derek Bronish, Rod Chapman, Ernie Cohen, Mark A. Hillebrand, Bart Jacobs, K. Rustan M. Leino, Rosemary Monahan, Frank Piessens, Nadia Polikarpova, Tom Ridge, Jan Smans, Stephan Tobies, Thomas Tuerk, Mattias Ulbrich, Benjamin Weiß: The 1st Verified Software Competition: Experience Report. FM 2011: 154-168 |
| 2010 | ||
| c16 | | Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev: Modular specification and verification of interprocess communication. FMCAD 2010: 167-174 |
| c15 | | Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul: Verifying shadow page table algorithms. FMCAD 2010: 267-270 |
| c14 | | Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova: Automated Verification of a Small Hypervisor. VSTTE 2010: 40-54 |
| 2009 | ||
| j2 | | Mark A. Hillebrand, Dirk Leinenbach: Formal Verification of a Reader-Writer Lock Implementation in C. Electr. Notes Theor. Comput. Sci. 254: 123-141 (2009) |
| j1 | | Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban: Balancing the Load. J. Autom. Reasoning 42(2-4): 389-454 (2009) |
| c13 | | Mark A. Hillebrand, Sergey Tverdyshev: Formal Verification of Gate-Level Computer Systems. CSR 2009: 322-333 |
| c12 | | Ernie Cohen, Eyad Alkassar, Vladimir Boyarinov, Markus Dahlweid, Ulan Degenbaev, Mark A. Hillebrand, Bruno Langenstein, Dirk Leinenbach, Michal Moskal, Steven Obua, Wolfgang J. Paul, Hristo Pentchev, Elena Petrova, Thomas Santen, Norbert Schirmer, Sabine Schmaltz, Wolfram Schulte, Andrey Shadrin, Stephan Tobies, Alexandra Tsyban, Sergey Tverdyshev: Invariants, Modularity, and Rights. Ershov Memorial Conference 2009: 43-55 |
| c11 | | Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies: VCC: A Practical System for Verifying Concurrent C. TPHOLs 2009: 23-42 |
| 2008 | ||
| c10 | | Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin: The Verisoft Approach to Systems Verification. VSTTE 2008: 209-224 |
| c9 | | Eyad Alkassar, Mark A. Hillebrand: Formal Functional Verification of Device Drivers. VSTTE 2008: 225-239 |
| 2007 | ||
| c8 | | Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev: Formal Device and Programming Model for a Serial Interface. VERIFY 2007 |
| c7 | | Mark A. Hillebrand, Wolfgang J. Paul: On the Architecture of System Verification Environments. Haifa Verification Conference 2007: 153-168 |
| 2005 | ||
| c6 | | Iakov Dalinger, Mark A. Hillebrand, Wolfgang J. Paul: On the Verification of Memory Management Mechanisms. CHARME 2005: 301-316 |
| c5 | | Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul: Dealing with I/O Devices in the Context of Pervasive System Verification. ICCD 2005: 309-316 |
| c4 | | Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul: Towards the Formal Verification of Lower System Layers in Automotive Systems. ICCD 2005: 317-326 |
| c3 | | Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul: On the Correctness of Operating System Kernels. TPHOLs 2005: 1-16 |
| 2001 | ||
| c2 | | Mark A. Hillebrand, Thomas Schurger, Peter-Michael Seidel: How to Half Wire Lengths in the Layout of Cyclic Shifter. VLSI Design 2001: 339-344 |
| 1998 | ||
| c1 | | Thomas Grün, Mark A. Hillebrand: NAS Integer Sort on Multi-threaded Shared Memory Machines. Euro-Par 1998: 999-1009 |
Data released under the ODC-BY 1.0 license — See also our legal information page