Frank Böhr

IF-Net: A Meta-Model for Security-Oriented Process Specification

Thomas Stocker, Frank Böhr, T. Stocker, 2013, STM.

Model Based Statistical Testing of Embedded Systems

Frank Böhr, 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

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, 2012 .

SIMOTEST: A tool for automated testing of hybrid real-time Simulink models

Robert Eschbach, Frank Böhr, 2011, ETFA2011.

Model Based Statistical Testing and Durations

Frank Böhr, 2010, 2010 17th IEEE International Conference and Workshops on Engineering of Computer Based Systems.

Business Process Security Analysis – Design Time, Run Time, Audit Time

Günter Müller, Linh Thao Ly, Frank Böhr, 2013 .

Business Process Security Analysis - Design Time, Run Time, Audit Time

Günter Müller, Frank Böhr, Linh Thao Ly, 2013, it Inf. Technol..