Erscheinungsdatum | Titel | Autor(en) |
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 |
2021 | Resilient Business Process Modeling and Execution Using BPMN and Microservices | Nordemann, F.; Tönjes, R.; Pulvermüller, E. ; Tapken, H. |
2021 | Resilient Process Modeling and Execution Using Process Graphs | Nordemann, F.; Tönjes, R.; Pulvermüller, E. ; Tapken, H. |
2012 | Rule determination and process verification using business capabilities | Stuht, T.; Speck, A.; Feja, S.; Witt, S.; Pulvermüller, E. |
2021 | Seamless integration of hardware interfaces in UML-based MDSE tools | Huning, L.; Osterkamp, T.; Schaarschmidt, M.; Pulvermüller, E. |
2017 | Search based GUI test generation in Java comparing code-based and EFG-based optimization goals | Menninghaus, M.; Wilke, F.; Schleutker, J.-P.; Pulvermüller, E. |