Mark A. Hillebrand

According to our database, Mark A. Hillebrand authored at least 19 papers between 1998 and 2011.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2011

The 1st Verified Software Competition: Experience Report.

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ß

Proceedings of the FM 2011: Formal Methods, 2011

2010

Automated Verification of a Small Hypervisor.

Eyad Alkassar, Mark A. Hillebrand, Wolfgang J. Paul, Elena Petrova

Proceedings of the Verified Software: Theories, 2010

Modular specification and verification of interprocess communication.

Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Hristo Pentchev

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

Verifying shadow page table algorithms.

Eyad Alkassar, Ernie Cohen, Mark A. Hillebrand, Mikhail Kovalev, Wolfgang J. Paul

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

Balancing the Load.

Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin, Alexandra Tsyban

J. Autom. Reason., 2009

Formal Verification of a Reader-Writer Lock Implementation in C.

Mark A. Hillebrand, Dirk Leinenbach

Proceedings of the 4th International Workshop on Systems Software Verification, 2009

VCC: A Practical System for Verifying Concurrent C.

Ernie Cohen, Markus Dahlweid, Mark A. Hillebrand, Dirk Leinenbach, Michal Moskal, Thomas Santen, Wolfram Schulte, Stephan Tobies

Proceedings of the Theorem Proving in Higher Order Logics, 22nd International Conference, 2009

Invariants, Modularity, and Rights.

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

Proceedings of the Perspectives of Systems Informatics, 2009

Formal Verification of Gate-Level Computer Systems.

Mark A. Hillebrand, Sergey Tverdyshev

Proceedings of the Computer Science, 2009

2008

The Verisoft Approach to Systems Verification.

Eyad Alkassar, Mark A. Hillebrand, Dirk Leinenbach, Norbert Schirmer, Artem Starostin

Proceedings of the Verified Software: Theories, 2008

Formal Functional Verification of Device Drivers.

Eyad Alkassar, Mark A. Hillebrand

Proceedings of the Verified Software: Theories, 2008

2007

On the Architecture of System Verification Environments.

Mark A. Hillebrand, Wolfgang J. Paul

Proceedings of the Hardware and Software: Verification and Testing, 2007

Formal Device and Programming Model for a Serial Interface.

Eyad Alkassar, Mark A. Hillebrand, Steffen Knapp, Rostislav Rusev, Sergey Tverdyshev

Proceedings of 4th International Verification Workshop in connection with CADE-21, 2007

2005

On the Correctness of Operating System Kernels.

Mauro Gargano, Mark A. Hillebrand, Dirk Leinenbach, Wolfgang J. Paul

Proceedings of the Theorem Proving in Higher Order Logics, 18th International Conference, 2005

Dealing with I/O Devices in the Context of Pervasive System Verification.

Mark A. Hillebrand, Thomas In der Rieden, Wolfgang J. Paul

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

Towards the Formal Verification of Lower System Layers in Automotive Systems.

Sven Beyer, Peter Böhm, Michael Gerke, Mark A. Hillebrand, Thomas In der Rieden, Steffen Knapp, Dirk Leinenbach, Wolfgang J. Paul

Proceedings of the 23rd International Conference on Computer Design (ICCD 2005), 2005

On the Verification of Memory Management Mechanisms.

Iakov Dalinger, Mark A. Hillebrand, Wolfgang J. Paul

Proceedings of the Correct Hardware Design and Verification Methods, 2005

2001

How to Half Wire Lengths in the Layout of Cyclic Shifter.

Mark A. Hillebrand, Thomas Schurger, Peter-Michael Seidel

Proceedings of the 14th International Conference on VLSI Design (VLSI Design 2001), 2001

1998

NAS Integer Sort on Multi-threaded Shared Memory Machines.

Thomas Grün, Mark A. Hillebrand

Proceedings of the Euro-Par '98 Parallel Processing, 1998