Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

The 1st Verified Software Competition: Experience Report.

V. Klebanov, P. Müller, N. Shankar, G. Leavens, V. Wüstholz, E. Alkassar, R. Arthan, D. Bronish, R. Chapman, E. Cohen, M. Hillebrand, B. Jacobs, K. Leino, R. Monahan, F. Piessens, N. Polikarpova, T. Ridge, J. Smans, S. Tobies, T. Tuerk, M. Ulbrich, and B. Weiß. FM, volume 6664 of Lecture Notes in Computer Science, page 154-168. Springer, (2011)

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.

Dr. -Ing. Daniel Markthaler University of Stuttgart

Replication Data for: Biocatalytic stereocontrolled head-to-tail cyclizations of unbiased terpenes as a tool in chemoenzymatic synthesisN. Hansen, and D. Markthaler. Dataset, (2024)Related to: Schneider, Andreas; Lystbæk, Thomas B.; Markthaler, Daniel; Hansen, Niels; Hauer, Bernhard (2024): Biocatalytic stereocontrolled head-to-tail cyclizations of unbiased terpenes as a tool in chemoenzymatic synthesis. In: Nature Communications, 15, 4925. doi: 10.1038/s41467-024-48993-9.

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.E. Alkassar, M. Hillebrand, D. Leinenbach, N. Schirmer, and A. Starostin. VSTTE, volume 5295 of Lecture Notes in Computer Science, page 209-224. Springer, (2008)The 1st Verified Software Competition: Experience Report.V. Klebanov, P. Müller, N. Shankar, G. Leavens, V. Wüstholz, E. Alkassar, R. Arthan, D. Bronish, R. Chapman, E. Cohen 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.T. Grün, and M. Hillebrand. 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.M. Hillebrand, T. Schurger, and P. Seidel. VLSI Design, page 339-344. IEEE Computer Society, (2001)Modular specification and verification of interprocess communication.E. Alkassar, E. Cohen, M. Hillebrand, and H. Pentchev. FMCAD, page 167-174. IEEE, (2010)Automated Verification of a Small Hypervisor.E. Alkassar, M. Hillebrand, W. Paul, and E. Petrova. VSTTE, volume 6217 of Lecture Notes in Computer Science, page 40-54. Springer, (2010)Formal Device and Programming Model for a Serial Interface.E. Alkassar, M. Hillebrand, S. Knapp, R. Rusev, and S. Tverdyshev. VERIFY, volume 259 of CEUR Workshop Proceedings, CEUR-WS.org, (2007)Balancing the Load.E. Alkassar, M. Hillebrand, D. Leinenbach, N. Schirmer, A. Starostin, and A. Tsyban. J. Autom. Reasoning, 42 (2-4): 389-454 (2009)Towards the Formal Verification of Lower System Layers in Automotive Systems.S. Beyer, P. Böhm, M. Gerke, M. Hillebrand, T. der Rieden, S. Knapp, D. Leinenbach, and W. Paul. ICCD, page 317-326. IEEE Computer Society, (2005)Verifying shadow page table algorithms.E. Alkassar, E. Cohen, M. Hillebrand, M. Kovalev, and W. Paul. FMCAD, page 267-270. IEEE, (2010)