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:
Typ:  journal article

1-20 von 21

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
32010Policy-Enabled Goal-Oriented Requirements Engineering for Semantic Business Process ManagementDecreus, Ken; Poels, Geert; El Kharbili, Marwane; Pulvermueller, Elke 
42011Formalizing Business Process SpecificationsSpeck, Andreas; Feja, Sven; Witt, Soeren; Pulvermueller, Elke ; Schulz, Marcel
52011Component composition validationPulvermüller, E. ; Speck, A.; Feja, S.; Witt, S.
62013Model-based test case generation by reusing models from runtime monitoring of deeply embedded systemsIyenghar, P.; Wuebbelmann, J.; Westerkamp, C.; Pulvermueller, E. 
72017A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systemsNoyer, Arne; Iyenghar, Padma; Engelhardt, Joachim; Pulvermueller, Elke ; Bikker, Gert
82018A Model-Driven Workflow for Energy-Aware Scheduling Analysis of IoT-Enabled Use CasesIyenghar, Padma; Pulvermueller, Elke 
92020A Graph-based Approach for Process Robustness in Unreliable Communication Environments.Nordemann, Frank; Tönjes, Ralf; Pulvermüller, Elke ; Tapken, Heiko
102020Resilient BPMN: Robust Process Modeling in Unreliable Communication Environments.Nordemann, Frank; Tönjes, Ralf; Pulvermüller, Elke 
112020A UML Profile for Automatic Code Generation of Optimistic Graceful Degradation Features at the Application Level.Huning, Lars; Iyenghar, Padma; Pulvermueller, Elke 
122020A Workflow for Automatically Generating Application-level Safety Mechanisms from UML Stereotype Model Representations.Huning, Lars; Iyenghar, Padma; Pulvermueller, Elke 
132020Capturing Tracing Data Life Cycles for Supporting Traceability.Ziegenhagen, Dennis; Pulvermueller, Elke ; Speck, Andreas
142020Framework of Software Design Patterns for Energy-Aware Embedded Systems.Schaarschmidt, Marco; Uelschen, Michael; Pulvermüller, Elke ; Westerkamp, Clemens
152020Early Synthesis of Timing Models in AUTOSAR-based Automotive Embedded Software Systems.Iyenghar, Padma; Huning, Lars; Pulvermueller, Elke 
162020Automated End-to-End Timing Analysis of AUTOSAR-based Causal Event Chains.Iyenghar, Padma; Huning, Lars; Pulvermueller, Elke 
172021Software Architecture Modeling of AUTOSAR-Based Multi-Core Mixed-Critical Electric Powertrain ControllerSundharam, Sakthivel Manikandan; Iyenghar, Padma; Pulvermueller, Elke 
182021Automatic Code Generation of Safety Mechanisms in Model-Driven DevelopmentHuning, Lars; Pulvermueller, Elke 
192022AI-guided Model-Driven Embedded Software EngineeringIyenghar, Padma; Otte, Friedrich W. K.; Pulvermueller, Elke 
202022Hunting Energy Bugs in Embedded Systems: A Software-Model-In-The-Loop ApproachSchaarschmidt, Marco; Uelschen, Michael; Pulvermuller, Elke