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
33 bis 52 von 95 Treffer < zurück   nächste >
ErscheinungsdatumTitelAutor(en)
2013Dependencies in business process rule hierarchiesPulvermuller, E. ; Speck, A.; Feja, S.; Witt, S.
2011Design level debugging of timing behavior in embedded systems: Using a model-based approachIyenghar, P.; Westerkamp, C.; Wuebbelmann, J.; Pulvermueller, E. 
2010Developer-friendly verification of process-based systemsPulvermueller, Elke ; Feja, Sven; Speck, Andreas
2017Early model-driven timing validation of IoT-compliant use casesIyenghar, P.; Noyer, A.; Pulvermueller, E. 
2020Early synthesis of timing models in AUTOSAR-based automotive embedded software systemsIyenghar, P.; Huning, L.; Pulvermueller, E. 
2020Early Synthesis of Timing Models in AUTOSAR-based Automotive Embedded Software Systems.Iyenghar, Padma; Huning, Lars; Pulvermueller, Elke 
2016End-To-end path delay estimation in embedded software involving heterogeneous modelsIyenghar, P.; Noyer, A.; Engelhardt, J.; Pulvermueller, E. ; Westerkamp, C.
2021Energy-Aware Pattern Framework: TheEnergy-Efficiency Challenge forEmbedded Systems from a Software Design PerspectiveSchaarschmidt, M.; Uelschen, M.; Pulvermüller, E. ; Westerkamp, C.
2011Enterprise regulatory compliance modeling using corel an illustrative exampleEl Kharbili, M.; Ma, Q.; Kelsen, P.; Pulvermueller, E. 
2020Expanding Tracing Capabilities Using Dynamic Tracing DataZiegenhagen, D.; Speck, A.; Pulvermueller, E. 
2023Experimentation on NN Models for Hazard Identification in Machinery Functional SafetyIyenghar, Padma; Kieviet, Michael; Pulvermueller, Elke ; Wuebbelmann, Juergen
2011Formalizing Business Process SpecificationsSpeck, Andreas; Feja, Sven; Witt, Soeren; Pulvermueller, Elke ; Schulz, Marcel
2011Framework for business process verificationSpeck, A.; Witt, S.; Feja, S.; Lotyzc, A.; Pulvermüller, E. 
2020Framework of software design patterns for energy-aware embedded systemsSchaarschmidt, M.; Uelschen, M.; Pulvermuller, E. ; Westerkamp, C.
2020Framework of Software Design Patterns for Energy-Aware Embedded Systems.Schaarschmidt, Marco; Uelschen, Michael; Pulvermüller, Elke ; Westerkamp, Clemens
2011From Business Modeling to Verified ApplicationsAmmann, Christian; Kleuker, Stephan; Pulvermüller, Elke 
2014From semantic iot-service descriptions to executable test cases - Information flow of an implemented test frameworkKuemper, D.; Reetz, E.; Fischer, M.; Toenjes, R.; Pulvermueller, E. 
2020Graph-based multi-criteria optimization for business processesNordemann, F.; Tönjes, R.; Pulvermüller, E. ; Tapken, H.
2022Hunting Energy Bugs in Embedded Systems: A Software-Model-In-The-Loop ApproachSchaarschmidt, Marco; Uelschen, Michael; Pulvermuller, Elke 
2013Infrastructure support to convey test data from state diagrams for executing MBT in embedded systemsIyenghar, P.; Pulvermueller, E. ; Westerkamp, C.; Wuebbelmann, J.