Sören Witt

According to our database, Sören Witt authored at least 20 papers between 2009 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Visualization of Checking Results for Graphical Validation Rules.

Sören Witt, Sven Feja, Christian Hadler, Andreas Speck, Elke Pulvermüller

Proceedings of the Intelligent Software Methodologies, Tools and Techniques, 2015

Tool-based checking of business process models.

Andreas Speck, Sören Witt, Sven Feja, Elke Pulvermüller

Proceedings of the 7th International Conference on Subject-Oriented Business Process Management, 2015

On Improving the Maintainability of Compliance Rules for Business Processes.

Sven Niemand, Sven Feja, Sören Witt, Andreas Speck

Proceedings of the Business Information Systems - 18th International Conference, 2015

Modellierung von Regeln für die Prüfung von Prozessmodellen.

Sören Witt, Andreas Speck, Sven Feja, Elke Pulvermüller, Sven Niemand

Proceedings of the Wissenschaft und Kunst der Modellierung, 2015

2014

Business Application Modeler: A process model Validation and Verification tool.

Sören Witt, Sven Feja, Andreas Speck, Christian Hadler

Proceedings of the IEEE 22nd International Requirements Engineering Conference, 2014

Applying Pattern-Based Graphical Validation Rules to Business Process Models.

Sören Witt, Sven Feja, Andreas Speck

Proceedings of the Seventh IEEE International Conference on Software Testing, 2014

2013

Vorgehensmodellentwurf für Forschungsprototypen.

Sven Niemand, Sven Feja, Sören Witt, Andreas Speck

Proceedings of the Vorgehensmodelle 2013, 2013

Dependencies in business process rule hierarchies.

Elke Pulvermüller, Andreas Speck, Sven Feja, Sören Witt

Proceedings of the IEEE 12th International Conference on Intelligent Software Methodologies, 2013

Integrating Validation Techniques for Process-based Models.

Andreas Speck, Sören Witt, Sven Feja, Sören Feja, Elke Pulvermüller

Proceedings of the ENASE 2013, 2013

2012

Rule Determination and Process Verification Using Business Capabilities.

Thomas Stuht, Andreas Speck, Sven Feja, Sören Witt, Elke Pulvermüller

Proceedings of the Practice of Enterprise Modeling - 5th IFIP WG 8.1 Working Conference, 2012

Integrated privacy modeling and validation for business process models.

Sören Witt, Sven Feja, Andreas Speck, Christian Prietz

Proceedings of the 2012 Joint EDBT/ICDT Workshops, Berlin, Germany, March 30, 2012, 2012

2011

Formalizing business process specifications.

Andreas Speck, Sven Feja, Sören Witt, Elke Pulvermüller, Marcel Schulz

Comput. Sci. Inf. Syst., 2011

Component Composition Validation.

Elke Pulvermüller, Andreas Speck, Sven Feja, Sören Witt

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2011

BAM: A Requirements Validation and Verification Framework for Business Process Models.

Sven Feja, Sören Witt, Andreas Speck

Proceedings of the 11th International Conference on Quality Software, 2011

Description of protocol rules.

Andreas Speck, Sören Witt, Sven Feja

Proceedings of the 41. Jahrestagung der Gesellschaft für Informatik, 2011

Framework for Business Process Verification.

Andreas Speck, Sören Witt, Sven Feja, Aneta Lotyzc, Elke Pulvermüller

Proceedings of the Business Information Systems - 14th International Conference, 2011

2010

Modellierung und Validierung von Datenschutzanforderungen in Prozessmodellen.

Sven Feja, Sören Witt, Andreas Brosche, Andreas Speck, Christian Prietz

Proceedings of the Vernetzte IT für einen effektiven Staat, 2010

Process Model Validation - Transforming Process Models to Extended Checking Models.

Elke Pulvermüller, Andreas Speck, Sven Feja, Sören Witt

Proceedings of the ENASE 2010, 2010

Checkable Graphical Business Process Representation.

Sven Feja, Andreas Speck, Sören Witt, Marcel Schulz

Proceedings of the Advances in Databases and Information Systems, 2010

2009

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

Jochen Koberstein, Sören Witt, Norbert Luttenberger

Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009