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


21-40 von 95

ErscheinungsdatumTitelAutor(en)
212011Component composition validationPulvermüller, E. ; Speck, A.; Feja, S.; Witt, S.
222011Framework for business process verificationSpeck, A.; Witt, S.; Feja, S.; Lotyzc, A.; Pulvermüller, E. 
232011Enterprise regulatory compliance modeling using corel an illustrative exampleEl Kharbili, M.; Ma, Q.; Kelsen, P.; Pulvermueller, E. 
242011Semantic policies for modeling regulatory process complianceEl Kharbili, M.; Pulvermueller, E. 
252011From Business Modeling to Verified ApplicationsAmmann, Christian; Kleuker, Stephan; Pulvermüller, Elke 
262011CoReL: Policy-based and model-driven regulatory compliance managementEl Kharbili, M.; Ma, Q.; Kelsen, P.; Pulvermueller, E. 
272011Design level debugging of timing behavior in embedded systems: Using a model-based approachIyenghar, P.; Westerkamp, C.; Wuebbelmann, J.; Pulvermueller, E. 
282011Integrated model-based approach and test framework for embedded systemsIyenghar, P.; Pulvermueller, E. ; Westerkamp, C.; Wuebbelmann, J.
292012Rule determination and process verification using business capabilitiesStuht, T.; Speck, A.; Feja, S.; Witt, S.; Pulvermüller, E. 
302013Integrating validation techniques for process-based modelsSpeck, A.; Witt, S.; Feja, S.; Pulvermüller, E. 
312013Infrastructure support to convey test data from state diagrams for executing MBT in embedded systemsIyenghar, P.; Pulvermueller, E. ; Westerkamp, C.; Wuebbelmann, J.
322013Model-based test case generation by reusing models from runtime monitoring of deeply embedded systemsIyenghar, P.; Wuebbelmann, J.; Westerkamp, C.; Pulvermueller, E. 
332013Time and memory-aware runtime monitoring for executing model-based test cases in embedded systemsIyenghar, P.; Pulvermueller, E. ; Spieker, M.; Wuebbelmann, J.; Westerkamp, C.
342013Dependencies in business process rule hierarchiesPulvermuller, E. ; Speck, A.; Feja, S.; Witt, S.
352013Semantic policies for modeling regulatory process complianceKharbili, M.E.; Pulvermueller, E. 
362014From semantic iot-service descriptions to executable test cases - Information flow of an implemented test frameworkKuemper, D.; Reetz, E.; Fischer, M.; Toenjes, R.; Pulvermueller, E. 
372014Tool independent code generation for the UML: Closing the gap between proprietary models and the standardized UML modelNoyer, A.; Iyenghar, P.; Pulvermueller, E. ; Pramme, F.; Engelhardt, J.; Samson, B.; Bikker, G.
382015Tool-based checking of business process modelsSpeck, A.; Witt, S.; Feja, S.; Pulvermüller, E. 
392015A model-based workflow from specification until validation of timing requirements in embedded software systemsNoyer, A.; Iyenghar, P.; Pulvermueller, E. ; Engelhardt, J.; Pramme, F.; Bikker, G.
402015Traceability and interfacing between requirements engineering and UML domains using the standardized ReqIF formatNoyer, A.; Iyenghar, P.; Pulvermueller, E. ; Pramme, F.; Bikker, G.