Mark A. Hillebrand
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
9
Venues
7
Active years
1998–2011
Best venue rank
B
Where they publish
Papers
9 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | FM | The 1st Verified Software Competition: Experience Report. | Vladimir Klebanov, Peter Mller, Natarajan Shankar, Gary T. Leavens, Valentin Wstholz, 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 | FMCAD | Verifying shadow page table algorithms. | Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul |
| 2010 | FMCAD | Modular specification and verification of interprocess communication. | Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev |
| 2009 | CSR | Formal Verification of Gate-Level Computer Systems. | Mark A. Hillebrand, Sergey Tverdyshev |
| 2007 | CADE | Formal Device and Programming Model for a Serial Interface. | Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev |
| 2005 | ICCD | Towards the Formal Verification of Lower System Layers in Automotive Systems. | Sven Beyer, Peter Bhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul |
| 2005 | ICCD | Dealing with I/O Devices in the Context of Pervasive System Verification. | Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul |
| 2001 | VLSID | How to Half Wire Lengths in the Layout of Cyclic Shifter. | Mark A. Hillebrand, Thomas Schurger, Peter-Michael Seidel |
| 1998 | EuroPar | NAS Integer Sort on Multi-threaded Shared Memory Machines. | Thomas Grn, Mark A. Hillebrand |