Mark A. Hillebrand

19 papers B 3C 2Misc 2Journal 1Unranked 11
YearRankTypeTitle / Venue / Authors
2011 B conf
The 1st Verified Software Competition: Experience Report.
FM
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ß
2010 — conf
Automated Verification of a Small Hypervisor.
VSTTE
Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova
2010 B conf
Modular specification and verification of interprocess communication.
FMCAD
Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev
2010 B conf
Verifying shadow page table algorithms.
FMCAD
Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul
2009 J jnl
Balancing the Load.
J. Autom. Reason.
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban
2009 Misc conf
Formal Verification of Gate-Level Computer Systems.
CSR
Mark A. Hillebrand, Sergey Tverdyshev
2009 — conf
Formal Verification of a Reader-Writer Lock Implementation in C.
SSV
Mark A. Hillebrand, Dirk Leinenbach
2009 — conf
Invariants, Modularity, and Rights.
Ershov Memorial Conference
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
2009 — conf
VCC: A Practical System for Verifying Concurrent C.
TPHOLs
Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies
2008 — conf
Formal Functional Verification of Device Drivers.
VSTTE
Eyad Alkassar, Mark A. Hillebrand
2008 — conf
The Verisoft Approach to Systems Verification.
VSTTE
Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin
2007 — conf
Formal Device and Programming Model for a Serial Interface.
VERIFY
Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev
2007 — conf
On the Architecture of System Verification Environments.
Haifa Verification Conference
Mark A. Hillebrand, Wolfgang J. Paul
2005 C conf
Dealing with I/O Devices in the Context of Pervasive System Verification.
ICCD
Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul
2005 — conf
On the Correctness of Operating System Kernels.
TPHOLs
Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul
2005 — conf
On the Verification of Memory Management Mechanisms.
CHARME
Iakov Dalinger, Mark A. Hillebrand, Wolfgang J. Paul
2005 C conf
Towards the Formal Verification of Lower System Layers in Automotive Systems.
ICCD
Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul
2001 Misc conf
How to Half Wire Lengths in the Layout of Cyclic Shifter.
VLSI Design
Mark A. Hillebrand, Thomas Schurger, Peter-Michael Seidel
1998 — conf
NAS Integer Sort on Multi-threaded Shared Memory Machines.
Euro-Par
Thomas Grün, Mark A. Hillebrand