Model complexity vs. better parameter value estimation: comparing four topography-independent radio models. - Jochen Koberstein; Sören Witt; Norbert Luttenberger (SimuTools, 2009)

Checkable Graphical Business Process Representation. - Sven Feja; Andreas Speck; Sören Witt; Marcel Schulz (ADBIS, 2010)

Process Model Validation - Transforming Process Models to Extended Checking Models. - Elke Pulvermüller; Andreas Speck; Sven Feja; Sören Witt (ENASE, 2010)

Modellierung und Validierung von Datenschutzanforderungen in Prozessmodellen. - Sven Feja; Sören Witt; Andreas Brosche; Andreas Speck; Christian Prietz (FTVI/FTRI, 2010)

Framework for Business Process Verification. - Andreas Speck; Sören Witt; Sven Feja; Aneta Lotyzc; Elke Pulvermüller (BIS, 2011)

Description of protocol rules. - Andreas Speck; Sören Witt; Sven Feja (GI-Jahrestagung, 2011)

BAM: A Requirements Validation and Verification Framework for Business Process Models. - Sven Feja; Sören Witt; Andreas Speck (QSIC, 2011)

Component Composition Validation. - Elke Pulvermüller; Andreas Speck; Sven Feja; Sören Witt (SoMeT, 2011)

Formalizing business process specifications. - Andreas Speck; Sven Feja; Sören Witt; Elke Pulvermüller; Marcel Schulz (Comput. Sci. Inf. Syst., 2011)

Integrated privacy modeling and validation for business process models. - Sören Witt; Sven Feja; Andreas Speck; Christian Prietz (EDBT/ICDT Workshops, 2012)

Rule Determination and Process Verification Using Business Capabilities. - Thomas Stuht; Andreas Speck; Sven Feja; Sören Witt; Elke Pulvermüller (PoEM, 2012)

Integrating Validation Techniques for Process-based Models. - Andreas Speck; Sören Witt; Sven Feja; Sören Feja; Elke Pulvermüller (ENASE, 2013)

Dependencies in business process rule hierarchies. - Elke Pulvermüller; Andreas Speck; Sven Feja; Sören Witt (SoMeT, 2013)

Vorgehensmodellentwurf für Forschungsprototypen. - Sven Niemand; Sven Feja; Sören Witt; Andreas Speck (Vorgehensmodelle, 2013)

Applying Pattern-Based Graphical Validation Rules to Business Process Models. - Sören Witt; Sven Feja; Andreas Speck (ICST Workshops, 2014)

Business Application Modeler: A process model Validation and Verification tool. - Sören Witt; Sven Feja; Andreas Speck; Christian Hadler (RE, 2014)

Modellierung von Regeln für die Prüfung von Prozessmodellen. - Sören Witt; Andreas Speck; Sven Feja; Elke Pulvermüller; Sven Niemand (Wissenschaft und Kunst der Modellierung, 2015)

On Improving the Maintainability of Compliance Rules for Business Processes. - Sven Niemand; Sven Feja; Sören Witt; Andreas Speck (BIS, 2015)

Tool-based checking of business process models. - Andreas Speck; Sören Witt; Sven Feja; Elke Pulvermüller (S-BPM ONE, 2015)

Visualization of Checking Results for Graphical Validation Rules. - Sören Witt; Sven Feja; Christian Hadler; Andreas Speck; Elke Pulvermüller (SoMeT, 2015)