 | 2011 |
| 16 |  | Andreas Speck,
Sören Witt,
Sven Feja,
Aneta Lotyzc,
Elke Pulvermüller:
Framework for Business Process Verification.
BIS 2011: 50-61 |
| 15 |  | Sven Feja,
Sören Witt,
Andreas Speck:
BAM: A Requirements Validation and Verification Framework for Business Process Models.
QSIC 2011: 186-191 |
| 14 |  | Elke Pulvermüller,
Andreas Speck,
Sven Feja,
Sören Witt:
Component Composition Validation.
SoMeT 2011: 5-19 |
| 13 |  | Andreas Speck,
Sven Feja,
Sören Witt,
Elke Pulvermüller,
Marcel Schulz:
Formalizing business process specifications.
Comput. Sci. Inf. Syst. 8(2): 427-446 (2011) |
| 2010 |
| 12 |  | Sven Feja,
Andreas Speck,
Sören Witt,
Marcel Schulz:
Checkable Graphical Business Process Representation.
ADBIS 2010: 176-189 |
| 11 |  | Elke Pulvermüller,
Andreas Speck,
Sven Feja,
Sören Witt:
Process Model Validation - Transforming Process Models to Extended Checking Models.
ENASE 2010: 214-220 |
| 10 |  | Sven Feja,
Sören Witt,
Andreas Brosche,
Andreas Speck,
Christian Prietz:
Modellierung und Validierung von Datenschutzanforderungen in Prozessmodellen.
FTVI/FTRI 2010: 155-166 |
| 9 |  | Elke Pulvermueller,
Sven Feja,
Andreas Speck:
Developer-friendly verification of process-based systems.
Knowl.-Based Syst. 23(7): 667-676 (2010) |
| 2009 |
| 8 |  | Sven Feja:
An Approach for Semantic Checks of Process Models.
BPSC 2009: 229-230 |
| 7 |  | Meiko Jensen,
Sven Feja:
A Security Modeling Approach for Web-Service-Based Business Processes.
ECBS 2009: 340-347 |
| 6 |  | Sven Feja,
Andreas Speck,
Elke Pulvermüller:
Business Process Verification.
GI Jahrestagung 2009: 4037-4051 |
| 5 |  | Jens Drawehn,
Sven Feja:
Anwendung von grafischen Validierungsregeln bei der Entwicklung von ITIntegrationsprozessen.
Software Engineering (Workshops) 2009: 367-374 |
| 2008 |
| 4 |  | Sebastian Stein,
Stefan Kühne,
Jens Drawehn,
Sven Feja,
Werner Rotzoll:
Evaluation of OrViA Framework for Model-Driven SOA Implementations: An Industrial Case Study.
BPM 2008: 310-325 |
| 3 |  | Sven Feja,
Daniel Fötsch:
Model Checking with Graphical Validation Rules.
ECBS 2008: 117-125 |
| 2 |  | Sven Feja,
Daniel Fötsch,
Sebastian Stein:
Grafische Validierungsregeln am Beispiel von EPKs.
Software Engineering (Workshops) 2008: 198-204 |
| 2007 |
| 1 |  | Sven Feja:
Service-orientierte integration im E-commerce.
Informatiktage 2007: 59-62 |