Mark A. Hillebrand

Publication Activity (10 Years)

Years Active: 1998-2011
Publications (10 Years): 0

Publications

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)
Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul
Verifying shadow page table algorithms. FMCAD (2010)
Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova
Automated Verification of a Small Hypervisor. VSTTE (2010)
Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev
Modular specification and verification of interprocess communication. FMCAD (2010)
Mark A. Hillebrand, Dirk Leinenbach
Formal Verification of a Reader-Writer Lock Implementation in C. Electron. Notes Theor. Comput. Sci. 254 (2009)
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban
Balancing the Load. J. Autom. Reason. 42 (2-4) (2009)
Mark A. Hillebrand, Sergey Tverdyshev
Formal Verification of Gate-Level Computer Systems. CSR (2009)
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)
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)
Eyad Alkassar, Mark A. Hillebrand
Formal Functional Verification of Device Drivers. VSTTE (2008)
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin
The Verisoft Approach to Systems Verification. VSTTE (2008)
Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev
Formal Device and Programming Model for a Serial Interface. VERIFY (2007)
Mark A. Hillebrand, Wolfgang J. Paul
On the Architecture of System Verification Environments. Haifa Verification Conference (2007)
Iakov Dalinger, Mark A. Hillebrand, Wolfgang J. Paul
On the Verification of Memory Management Mechanisms. CHARME (2005)
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul
On the Correctness of Operating System Kernels. TPHOLs (2005)
Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul
Dealing with I/O Devices in the Context of Pervasive System Verification. ICCD (2005)
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)
Mark A. Hillebrand, Thomas Schurger, Peter-Michael Seidel
How to Half Wire Lengths in the Layout of Cyclic Shifter. VLSI Design (2001)
Thomas Grün, Mark A. Hillebrand
NAS Integer Sort on Multi-threaded Shared Memory Machines. Euro-Par (1998)