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:
Schlagwort:  Model checking

1-8 von 8

ErscheinungsdatumTitelAutor(en)
12010PROCESS MODEL VALIDATION - Transforming Process Models to Extended Checking ModelsPulvermüller, Elke ; Speck, Andreas; Feja, Sven; Witt, Sören
22010Developer-friendly verification of process-based systemsPulvermueller, Elke ; Feja, Sven; Speck, Andreas
32010Process model validation: Transforming process models to extended checking modelsPulvermüller, E. ; Speck, A.; Feja, S.; Witt, S.
42012Rule determination and process verification using business capabilitiesStuht, T.; Speck, A.; Feja, S.; Witt, S.; Pulvermüller, E. 
52013Integrating validation techniques for process-based modelsSpeck, A.; Witt, S.; Feja, S.; Pulvermüller, E. 
62014From semantic iot-service descriptions to executable test cases - Information flow of an implemented test frameworkKuemper, D.; Reetz, E.; Fischer, M.; Toenjes, R.; Pulvermueller, E. 
72015Tool-based checking of business process modelsSpeck, A.; Witt, S.; Feja, S.; Pulvermüller, E. 
82016Towards using code coverage metrics for performance comparison on the implementation levelMenninghaus, M.; Pulvermüller, E.