Formal Verification of Real-Time Data Processing of the LHC Beam Loss Monitoring System: A Case Study. - Naghmeh Ghafari; Ramana Kumar; Jeff Joyce; Bernd Dehning; Christos Zamantzas (FMICS, 2011)

A 120 dB dynamic-range radiation-tolerant charge-to-digital converter for radiation monitoring. - Giuseppe Venturini; Francis Anghinolfi; Bernd Dehning; François Krummenacher; Maher Kayal (Microelectron. J., 2013)

A fast and accurate wire scanner instrument for the CERN accelerators to cope with severe environmental constraints and an increased demand for availability. - Jonathan Emery; Bernd Dehning; Carlos Daniel Morais Pereira; Jose Luis Sirvent Blasco; S. Cantin; Maurizio Tognolini; B. Schneider; K. Henzer; M. Starkier (CCA, 2014)

Design and validation methodology of the control system for a particle beam size measurement instrument at the CERN laboratory. - Jonathan Emery; Ana Barjau; Bernd Dehning; Juan Herranz Alvarez; Pierre-Jean Lapray; Matteo Macchini (ACC, 2017)