| 2015 | SoMeT | Visualization of Checking Results for Graphical Validation Rules. | Sren Witt, Sven Feja, Christian Hadler, Andreas Speck, Elke Pulvermller |
| 2014 | ICST | Applying Pattern-Based Graphical Validation Rules to Business Process Models. | Sren Witt, Sven Feja, Andreas Speck |
| 2014 | RE | Business Application Modeler: A process model Validation and Verification tool. | Sren Witt, Sven Feja, Andreas Speck, Christian Hadler |
| 2013 | ENASE | Integrating Validation Techniques for Process-based Models. | Andreas Speck, Sren Witt, Sven Feja, Sren Feja, Elke Pulvermller |
| 2013 | SoMeT | Dependencies in business process rule hierarchies. | Elke Pulvermller, Andreas Speck, Sven Feja, Sren Witt |
| 2012 | EDBT | Integrated privacy modeling and validation for business process models. | Sren Witt, Sven Feja, Andreas Speck, Christian Prietz |
| 2011 | GI | Description of protocol rules. | Andreas Speck, Sren Witt, Sven Feja |
| 2011 | SoMeT | Component Composition Validation. | Elke Pulvermller, Andreas Speck, Sven Feja, Sren Witt |
| 2010 | ADBIS | Checkable Graphical Business Process Representation. | Sven Feja, Andreas Speck, Sren Witt, Marcel Schulz |
| 2010 | ENASE | Process Model Validation - Transforming Process Models to Extended Checking Models. | Elke Pulvermller, Andreas Speck, Sven Feja, Sren Witt |
| 2009 | GI | Business Process Verification. | Sven Feja, Andreas Speck, Elke Pulvermller |
| 2008 | BPM | Evaluation of OrViA Framework for Model-Driven SOA Implementations: An Industrial Case Study. | Sebastian Stein, Stefan Khne, Jens Drawehn, Sven Feja, Werner Rotzoll |