Auflistung: nach Organisationseinheit Institut für Informatik


Oder wählen Sie unten einen Buchstaben aus, um mit der Suche zu beginnen
0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
57 bis 76 von 95 Treffer < zurück   nächste >
ErscheinungsdatumTitelAutor(en)
2016Model-based co-engineering and NFP analysis in embedded software sub-systems developed using heterogeneous modeling domainsIyenghar, P.; Noyer, A.; Engelhardt, J.; Pulvermueller, E. 
2017Model-Based Debugging of Embedded Software SystemsIyenghar, Padma; Pulvermueller, Elke ; Westerkamp, Clemens; Wuebbelmann, Juergen; Uelschen, Michael
2013Model-based test case generation by reusing models from runtime monitoring of deeply embedded systemsIyenghar, P.; Wuebbelmann, J.; Westerkamp, C.; Pulvermueller, E. 
2021Model-Based Timing Analysis of Automotive Use Case Developed in UMLIyenghar, P.; Huning, L.; Pulvermueller, E. 
2017Monitoring data stream reliability in smart city environmentsKuemper, D.; Iggena, T.; Fischer, M.; Toenjes, R.; Pulvermueller, E. 
2008Policy-based semantic compliance checking for business process managementKharbili, M.E.; Stein, S.; Pulvermüller, E. 
2010Policy-Enabled Goal-Oriented Requirements Engineering for Semantic Business Process ManagementDecreus, Ken; Poels, Geert; El Kharbili, Marwane; Pulvermueller, Elke 
2021Power consumption estimation in model driven software development for embedded systemsSchaarschmidt, M.; Uelschen, M.; Pulvermüller, E. 
2010PROCESS MODEL VALIDATION - Transforming Process Models to Extended Checking ModelsPulvermüller, Elke ; Speck, Andreas; Feja, Sven; Witt, Sören
2010Process model validation: Transforming process models to extended checking modelsPulvermüller, E. ; Speck, A.; Feja, S.; Witt, S.
2009Reducing the gap between verification models and software development modelsPulvermueller, E. 
2009Reducing the gap between verification models and software development modelsPulvermueller, E. 
2020Resilient BPMN: Robust process modeling in unreliable communication environmentsNordemann, F.; Tönjes, R.; Pulvermüller, E. 
2020Resilient BPMN: Robust Process Modeling in Unreliable Communication Environments.Nordemann, Frank; Tönjes, Ralf; Pulvermüller, Elke 
2021Resilient Business Process Modeling and Execution Using BPMN and MicroservicesNordemann, F.; Tönjes, R.; Pulvermüller, E. ; Tapken, H.
2021Resilient Process Modeling and Execution Using Process GraphsNordemann, F.; Tönjes, R.; Pulvermüller, E. ; Tapken, H.
2012Rule determination and process verification using business capabilitiesStuht, T.; Speck, A.; Feja, S.; Witt, S.; Pulvermüller, E. 
2021Seamless integration of hardware interfaces in UML-based MDSE toolsHuning, L.; Osterkamp, T.; Schaarschmidt, M.; Pulvermüller, E. 
2017Search based GUI test generation in Java comparing code-based and EFG-based optimization goalsMenninghaus, M.; Wilke, F.; Schleutker, J.-P.; Pulvermüller, E. 
2013Semantic policies for modeling regulatory process complianceKharbili, M.E.; Pulvermueller, E.