Model Based Statistical Testing and Durations. - Frank Böhr (ECBS, 2010)

SIMOTEST: A tool for automated testing of hybrid real-time Simulink models. - Frank Böhr; Robert Eschbach (ETFA, 2011)

Model Based Statistical Testing of Embedded Systems. - Frank Böhr (ICST Workshops, 2011)

Model-Based Statistical Testing of Embedded Real-Time Software with Continuous and Discrete Signals in a Concurrent Environment: The Usage Net Approach. - Frank Böhr (Verlag Dr. Hut, 2012)

IF-Net: A Meta-Model for Security-Oriented Process Specification. - Thomas Stocker; Frank Böhr (STM, 2013)

Business Process Security Analysis - Design Time, Run Time, Audit Time. - Frank Böhr; Linh Thao Ly; Günter Müller (it Inf. Technol., 2013)

Vorwort. - Günter Müller; Torsten Eymann; Frank Böhr (MKWI, 2014)