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
VCC: A Practical System for Verifying Concurrent C.

, , , , , , , and . TPHOLs, volume 5674 of Lecture Notes in Computer Science, page 23-42. Springer, (2009)

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.

Martin Markert University of Stuttgart

Experimental characterization of effective mechanical properties of (micro-) fractured high performance concrete, , , , , and . Advances in Engineering Materials, Structures and Systems : Innovations, Mechanics and Applications, page 1439-1443. Boca Raton, CRC Press, Taylor & Francis Group, (2019)
Experimental characterization of effective mechanical properties of (micro-) fractured high performance concrete, , , , , and . Advances in Engineering Materials, Structures and Systems : Innovations, Mechanics and Applications, page 1439-1443. Boca Raton, CRC Press, Taylor & Francis Group, (2019)Investigation of the Influence of Moisture Content on Fatigue Behaviour of HPC by Using DMA and XRCT, , , , and . Materials, 15 (1): 91 (2022)

A. Laukemann

Mark Burkhardt University of Stuttgart

Marco Hillebrand University of Stuttgart

Dr. Mark Hamilton University of Stuttgart

 

Other publications of authors with the same name

The Verisoft Approach to Systems Verification., , , , and . VSTTE, volume 5295 of Lecture Notes in Computer Science, page 209-224. Springer, (2008)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)How to Half Wire Lengths in the Layout of Cyclic Shifter., , and . VLSI Design, page 339-344. IEEE Computer Society, (2001)Modular specification and verification of interprocess communication., , , and . FMCAD, page 167-174. IEEE, (2010)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)Invariants, Modularity, and Rights., , , , , , , , , and 11 other author(s). Ershov Memorial Conference, volume 5947 of Lecture Notes in Computer Science, page 43-55. Springer, (2009)