Mark Hillebrand

Balancing the Load

Eyad Alkassar, Mark Hillebrand, Dirk Leinenbach et al. · Journal of Automated Reasoning · 2009 · 51 citations

Load Balancing (Computing), Line Balancing, Engineering +6

Dealing with I/O devices in the context of pervasive system verification

Mark Hillebrand, Tom In der Rieden, W. Paul · 2006 · 41 citations

I/o Devices, Engineering, Pervasive System Verification +26

Formal Device and Programming Model for a Serial Interface.

Eyad Alkassar, Mark Hillebrand, Steffen Knapp et al. · 2007 · 23 citations

Engineering, Hardware Verification Language, Verification +19

Towards the formal verification of lower system layers in automotive systems

Sven Beyer, Paula Böhm, M. Gerke et al. · 2006 · 20 citations

Engineering, Hardware Verification Language, Verification +23

Formal Verification of a Reader-Writer Lock Implementation in C

Mark Hillebrand, Dirk Leinenbach · Electronic Notes in Theoretical Computer Science · 2009 · 12 citations · Full text

Engineering, Synchronization Primitive, Verification +20