Sören Witt

Integrated privacy modeling and validation for business process models

Andreas Speck, Sören Witt, Sven Feja, 2012, EDBT-ICDT '12.

Formalizing business process specifications

Elke Pulvermüller, Andreas Speck, Marcel Schulz, 2011, Comput. Sci. Inf. Syst..

Model complexity vs. better parameter value estimation: comparing four topography-independent radio models

Norbert Luttenberger, Jochen Koberstein, Sören Witt, 2009, SimuTools.

Applying Pattern-Based Graphical Validation Rules to Business Process Models

Andreas Speck, Sören Witt, Sven Feja, 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation Workshops.

Framework for Business Process Verification

Elke Pulvermüller, Andreas Speck, Sören Witt, 2011, BIS.

Business Application Modeler: A process model Validation and Verification tool

Andreas Speck, Sören Witt, Sven Feja, 2014, 2014 IEEE 22nd International Requirements Engineering Conference (RE).

Tool-based checking of business process models

Elke Pulvermüller, Andreas Speck, Sören Witt, 2015, S-BPM ONE.

Dependencies in business process rule hierarchies

Elke Pulvermüller, Andreas Speck, Sören Witt, 2013, 2013 IEEE 12th International Conference on Intelligent Software Methodologies, Tools and Techniques (SoMeT).

Process Model Validation - Transforming Process Models to Extended Checking Models

Elke Pulvermüller, Andreas Speck, Sören Witt, 2010, ENASE.