| Erscheinungsdatum | Titel | Autor(en) |
1 | 2008 | Towards a framework for semantic business process compliance management | El Kharbili, M.; Stein, S.; Markovic, I.; Pulvermüller, E. |
2 | 2008 | Policy-based semantic compliance checking for business process management | Kharbili, M.E.; Stein, S.; Pulvermüller, E. |
3 | 2009 | A semantic framework for compliance management in business process management | El Kharbili, M.; Pulvermüller, E. |
4 | 2009 | Verification support for generative system development | Speck, A.; Pulvermüller, E. |
5 | 2009 | Reducing the gap between verification models and software development models | Pulvermueller, E. |
6 | 2009 | Business process verification | Feja, S.; Speck, A.; Pulvermüller, E. |
7 | 2009 | Verification support for generative system development | Speck, A.; Pulvermüller, E. |
8 | 2009 | Reducing the gap between verification models and software development models | Pulvermueller, E. |
9 | 2009 | A concept and implementation of higher-level XML transformation languages | Foetsch, Daniel; Pulvermueller, Elke |
10 | 2009 | Bridging Requirements Engineering and Business Process Management | Decreus, K.; El Kharbili, M.; Poels, G.; Pulvermueller, E. |
11 | 2010 | An architecture for deploying model based testing in embedded systems | Iyenghar, P.; Westerkamp, C.; Wuebbelmann, J.; Pulvermueller, E. |
12 | 2010 | Service Contract Compliance Management in Business Process Management | Kharbili, Marwane El; Pulvermueller, Elke |
13 | 2010 | A model based approach for debugging embedded systems in real-time | Iyenghar, P.; Westerkamp, C.; Wuebbelmann, J.; Pulvermueller, E. |
14 | 2010 | Policy-Enabled Goal-Oriented Requirements Engineering for Semantic Business Process Management | Decreus, Ken; Poels, Geert; El Kharbili, Marwane; Pulvermueller, Elke |
15 | 2010 | Developer-friendly verification of process-based systems | Pulvermueller, Elke ; Feja, Sven; Speck, Andreas |
16 | 2010 | Process model validation: Transforming process models to extended checking models | Pulvermüller, E. ; Speck, A.; Feja, S.; Witt, S. |
17 | 2010 | PROCESS MODEL VALIDATION - Transforming Process Models to Extended Checking Models | Pulvermüller, Elke ; Speck, Andreas; Feja, Sven; Witt, Sören |
18 | 2011 | Verification of e-Commerce Business Processes | Feja, Sven; Speck, Andreas; Pulvermüller, Elke ; Schulz, Marcel H. |
19 | 2011 | Formalizing Business Process Specifications | Speck, Andreas; Feja, Sven; Witt, Soeren; Pulvermueller, Elke ; Schulz, Marcel |
20 | 2011 | Integrated model-based approach and test framework for embedded systems | Iyenghar, P.; Pulvermueller, E. ; Westerkamp, C.; Wuebbelmann, J. |