Erscheinungsdatum | Titel | Autor(en) |
2013 | Dependencies in business process rule hierarchies | Pulvermuller, E. ; Speck, A.; Feja, S.; Witt, S. |
2011 | Design level debugging of timing behavior in embedded systems: Using a model-based approach | Iyenghar, P.; Westerkamp, C.; Wuebbelmann, J.; Pulvermueller, E. |
2010 | Developer-friendly verification of process-based systems | Pulvermueller, Elke ; Feja, Sven; Speck, Andreas |
2017 | Early model-driven timing validation of IoT-compliant use cases | Iyenghar, P.; Noyer, A.; Pulvermueller, E. |
2020 | Early synthesis of timing models in AUTOSAR-based automotive embedded software systems | Iyenghar, P.; Huning, L.; Pulvermueller, E. |
2020 | Early Synthesis of Timing Models in AUTOSAR-based Automotive Embedded Software Systems. | Iyenghar, Padma; Huning, Lars; Pulvermueller, Elke |
2016 | End-To-end path delay estimation in embedded software involving heterogeneous models | Iyenghar, P.; Noyer, A.; Engelhardt, J.; Pulvermueller, E. ; Westerkamp, C. |
2021 | Energy-Aware Pattern Framework: TheEnergy-Efficiency Challenge forEmbedded Systems from a Software Design Perspective | Schaarschmidt, M.; Uelschen, M.; Pulvermüller, E. ; Westerkamp, C. |
2011 | Enterprise regulatory compliance modeling using corel an illustrative example | El Kharbili, M.; Ma, Q.; Kelsen, P.; Pulvermueller, E. |
2020 | Expanding Tracing Capabilities Using Dynamic Tracing Data | Ziegenhagen, D.; Speck, A.; Pulvermueller, E. |
2023 | Experimentation on NN Models for Hazard Identification in Machinery Functional Safety | Iyenghar, Padma; Kieviet, Michael; Pulvermueller, Elke ; Wuebbelmann, Juergen |
2011 | Formalizing Business Process Specifications | Speck, Andreas; Feja, Sven; Witt, Soeren; Pulvermueller, Elke ; Schulz, Marcel |
2011 | Framework for business process verification | Speck, A.; Witt, S.; Feja, S.; Lotyzc, A.; Pulvermüller, E. |
2020 | Framework of software design patterns for energy-aware embedded systems | Schaarschmidt, M.; Uelschen, M.; Pulvermuller, E. ; Westerkamp, C. |
2020 | Framework of Software Design Patterns for Energy-Aware Embedded Systems. | Schaarschmidt, Marco; Uelschen, Michael; Pulvermüller, Elke ; Westerkamp, Clemens |
2011 | From Business Modeling to Verified Applications | Ammann, Christian; Kleuker, Stephan; Pulvermüller, Elke |
2014 | From semantic iot-service descriptions to executable test cases - Information flow of an implemented test framework | Kuemper, D.; Reetz, E.; Fischer, M.; Toenjes, R.; Pulvermueller, E. |
2020 | Graph-based multi-criteria optimization for business processes | Nordemann, F.; Tönjes, R.; Pulvermüller, E. ; Tapken, H. |
2022 | Hunting Energy Bugs in Embedded Systems: A Software-Model-In-The-Loop Approach | Schaarschmidt, Marco; Uelschen, Michael; Pulvermuller, Elke |
2013 | Infrastructure support to convey test data from state diagrams for executing MBT in embedded systems | Iyenghar, P.; Pulvermueller, E. ; Westerkamp, C.; Wuebbelmann, J. |