Erscheinungsdatum | Titel | Autor(en) |
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. |
2011 | Integrated model-based approach and test framework for embedded systems | Iyenghar, P.; Pulvermueller, E. ; Westerkamp, C.; Wuebbelmann, J. |
2020 | Integrated Performance Tuning of an IIoT Digital Twin: Work-in-Progress | Iyenghar, P.; Sundharam, S.M.; Pulvermueller, E. |
2013 | Integrating validation techniques for process-based models | Speck, A.; Witt, S.; Feja, S.; Pulvermüller, E. |
2023 | Live Code Smell Detection of Data Clumps in an Integrated Development Environment | Baumgartner, Nils; Adleh, Firas; Pulvermüller, Elke |
2016 | Model-based co-engineering and NFP analysis in embedded software sub-systems developed using heterogeneous modeling domains | Iyenghar, P.; Noyer, A.; Engelhardt, J.; Pulvermueller, E. |
2017 | Model-Based Debugging of Embedded Software Systems | Iyenghar, Padma; Pulvermueller, Elke ; Westerkamp, Clemens; Wuebbelmann, Juergen; Uelschen, Michael |
2013 | Model-based test case generation by reusing models from runtime monitoring of deeply embedded systems | Iyenghar, P.; Wuebbelmann, J.; Westerkamp, C.; Pulvermueller, E. |
2021 | Model-Based Timing Analysis of Automotive Use Case Developed in UML | Iyenghar, P.; Huning, L.; Pulvermueller, E. |
2017 | Monitoring data stream reliability in smart city environments | Kuemper, D.; Iggena, T.; Fischer, M.; Toenjes, R.; Pulvermueller, E. |
2008 | Policy-based semantic compliance checking for business process management | Kharbili, M.E.; Stein, S.; Pulvermüller, E. |
2010 | Policy-Enabled Goal-Oriented Requirements Engineering for Semantic Business Process Management | Decreus, Ken; Poels, Geert; El Kharbili, Marwane; Pulvermueller, Elke |
2021 | Power consumption estimation in model driven software development for embedded systems | Schaarschmidt, M.; Uelschen, M.; Pulvermüller, E. |
2010 | PROCESS MODEL VALIDATION - Transforming Process Models to Extended Checking Models | Pulvermüller, Elke ; Speck, Andreas; Feja, Sven; Witt, Sören |
2010 | Process model validation: Transforming process models to extended checking models | Pulvermüller, E. ; Speck, A.; Feja, S.; Witt, S. |
2009 | Reducing the gap between verification models and software development models | Pulvermueller, E. |
2009 | Reducing the gap between verification models and software development models | Pulvermueller, E. |
2020 | Resilient BPMN: Robust process modeling in unreliable communication environments | Nordemann, F.; Tönjes, R.; Pulvermüller, E. |
2020 | Resilient BPMN: Robust Process Modeling in Unreliable Communication Environments. | Nordemann, Frank; Tönjes, Ralf; Pulvermüller, Elke |