Pulvermüller, Elke

Profile

Full Name
Pulvermüller, Elke
 
Variants
Pulvermueller, E
Pulvermueller, Elke
Pulvermuller, E
Pulvermuller, Elke
Pulvermüller, E
Pulvermüller, Elke
Pulvermueller, E
 
Main Affiliation
 
FIS NetID
 
Country
Germany
 
Lädt ... 2 0 20 0 false
 
Lädt ... 3 0 20 0 false
 

Publications


Aktive Filter:
Erscheinungsdatum:  [2000 TO 2024]
Erscheinungsdatum:  2010 - 2019

1-20 von 48

ErscheinungsdatumTitelAutor(en)
12010An architecture for deploying model based testing in embedded systemsIyenghar, P.; Westerkamp, C.; Wuebbelmann, J.; Pulvermueller, E. 
22010PROCESS MODEL VALIDATION - Transforming Process Models to Extended Checking ModelsPulvermüller, Elke ; Speck, Andreas; Feja, Sven; Witt, Sören
32010Service Contract Compliance Management in Business Process ManagementKharbili, Marwane El; Pulvermueller, Elke 
42010Developer-friendly verification of process-based systemsPulvermueller, Elke ; Feja, Sven; Speck, Andreas
52010Process model validation: Transforming process models to extended checking modelsPulvermüller, E. ; Speck, A.; Feja, S.; Witt, S.
62010A model based approach for debugging embedded systems in real-timeIyenghar, P.; Westerkamp, C.; Wuebbelmann, J.; Pulvermueller, E. 
72010Policy-Enabled Goal-Oriented Requirements Engineering for Semantic Business Process ManagementDecreus, Ken; Poels, Geert; El Kharbili, Marwane; Pulvermueller, Elke 
82011Verification of e-Commerce Business ProcessesFeja, Sven; Speck, Andreas; Pulvermüller, Elke ; Schulz, Marcel H.
92011Formalizing Business Process SpecificationsSpeck, Andreas; Feja, Sven; Witt, Soeren; Pulvermueller, Elke ; Schulz, Marcel
102011Towards model-based test automation for embedded systems using UML and UTPIyenghar, P.; Pulvermueller, E. ; Westerkamp, C.
112011Component composition validationPulvermüller, E. ; Speck, A.; Feja, S.; Witt, S.
122011Framework for business process verificationSpeck, A.; Witt, S.; Feja, S.; Lotyzc, A.; Pulvermüller, E. 
132011Enterprise regulatory compliance modeling using corel an illustrative exampleEl Kharbili, M.; Ma, Q.; Kelsen, P.; Pulvermueller, E. 
142011Semantic policies for modeling regulatory process complianceEl Kharbili, M.; Pulvermueller, E. 
152011From Business Modeling to Verified ApplicationsAmmann, Christian; Kleuker, Stephan; Pulvermüller, Elke 
162011CoReL: Policy-based and model-driven regulatory compliance managementEl Kharbili, M.; Ma, Q.; Kelsen, P.; Pulvermueller, E. 
172011Design level debugging of timing behavior in embedded systems: Using a model-based approachIyenghar, P.; Westerkamp, C.; Wuebbelmann, J.; Pulvermueller, E. 
182011Integrated model-based approach and test framework for embedded systemsIyenghar, P.; Pulvermueller, E. ; Westerkamp, C.; Wuebbelmann, J.
192012Rule determination and process verification using business capabilitiesStuht, T.; Speck, A.; Feja, S.; Witt, S.; Pulvermüller, E. 
202013Integrating validation techniques for process-based modelsSpeck, A.; Witt, S.; Feja, S.; Pulvermüller, E.