PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Hillebrand, Mark A."

Author of the publication

copydeleteadd this publication to your clipboard
Modular specification and verification of interprocess communication.

, , , and . FMCAD, page 167-174. IEEE, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

A. Laukemann

Mark Burkhardt University of Stuttgart

Marco Hillebrand University of Stuttgart

Dr. Mark Hamilton University of Stuttgart

Mark Kurcsics University of Stuttgart

 

Other publications of authors with the same name

The 1st Verified Software Competition: Experience Report., , , , , , , , , and 12 other author(s). FM, volume 6664 of Lecture Notes in Computer Science, page 154-168. Springer, (2011)NAS Integer Sort on Multi-threaded Shared Memory Machines., and . Euro-Par, volume 1470 of Lecture Notes in Computer Science, page 999-1009. Springer, (1998)The Verisoft Approach to Systems Verification., , , , and . VSTTE, volume 5295 of Lecture Notes in Computer Science, page 209-224. Springer, (2008)Modular specification and verification of interprocess communication., , , and . FMCAD, page 167-174. IEEE, (2010)How to Half Wire Lengths in the Layout of Cyclic Shifter., , and . VLSI Design, page 339-344. IEEE Computer Society, (2001)Automated Verification of a Small Hypervisor., , , and . VSTTE, volume 6217 of Lecture Notes in Computer Science, page 40-54. Springer, (2010)Formal Device and Programming Model for a Serial Interface., , , , and . VERIFY, volume 259 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Balancing the Load., , , , , and . J. Autom. Reasoning, 42 (2-4): 389-454 (2009)Dealing with I/O Devices in the Context of Pervasive System Verification., , and . ICCD, page 309-316. IEEE Computer Society, (2005)Formal Functional Verification of Device Drivers., and . VSTTE, volume 5295 of Lecture Notes in Computer Science, page 225-239. Springer, (2008)