Bernhard Schommer

Pain in oxaliplatin-induced neuropathy – Sensitisation in the peripheral and central nociceptive system

Andreas Binder, M. Stengel, R. Maag et al. · European Journal of Cancer · 2007 · 106 citations

Nursing, Neurobiology, Neurology +14

CompCert – A Formally Verified Optimizing Compiler

Xavier Leroy, Bernhard Schommer, Markus Pister · 2016 · 44 citations · Full text

Computing, Computer Engineering, Computer Science +12

CompCert: Practical Experience on Integrating and Qualifying a Formally Verified Optimizing Compiler

Daniel L. Kastner, Jörg Barrho, Ulrich Wünsche et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2018 · 26 citations · Full text

Computing, Computer Engineering, Computer Science +17

Closing the Gap – The Formally Verified Optimizing Compiler CompCert

Daniel L. Kastner, Xavier Leroy, Sandrine Blazy et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2017 · 11 citations

Engineering, Computer Engineering, Computer Architecture +1

Embedded Program Annotations for WCET Analysis

Bernhard Schommer, Christoph Cullmann, Gernot Gebhard et al. · DROPS (Schloss Dagstuhl – Leibniz Center for Informatics) · 2018 · 10 citations · Full text

Computing, Computer Engineering, Computer Science +12