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
80 bis 95 von 95 Treffer < zurück 
ErscheinungsdatumTitelAutor(en)
2013Time and memory-aware runtime monitoring for executing model-based test cases in embedded systemsIyenghar, P.; Pulvermueller, E. ; Spieker, M.; Wuebbelmann, J.; Westerkamp, C.
2014Tool independent code generation for the UML: Closing the gap between proprietary models and the standardized UML modelNoyer, A.; Iyenghar, P.; Pulvermueller, E. ; Pramme, F.; Engelhardt, J.; Samson, B.; Bikker, G.
2015Tool-based checking of business process modelsSpeck, A.; Witt, S.; Feja, S.; Pulvermüller, E. 
2008Towards a framework for semantic business process compliance managementEl Kharbili, M.; Stein, S.; Markovic, I.; Pulvermüller, E. 
2011Towards model-based test automation for embedded systems using UML and UTPIyenghar, P.; Pulvermueller, E. ; Westerkamp, C.
2022Towards Power Consumption Optimization forEmbedded Systems fromaModel-driven Software Development PerspectiveSchaarschmidt, M.; Uelschen, M.; Pulvermüller, E. 
2016Towards using code coverage metrics for performance comparison on the implementation levelMenninghaus, M.; Pulvermüller, E. 
2015Traceability and interfacing between requirements engineering and UML domains using the standardized ReqIF formatNoyer, A.; Iyenghar, P.; Pulvermueller, E. ; Pramme, F.; Bikker, G.
2016Translating timing requirements of Embedded Software systems modeled in Simulink to a timing analysis modelIyenghar, P.; Noyer, A.; Engelhardt, J.; Pulvermueller, E. 
2019UML specification and transformation of safety features for memory protectionHuning, L.; Iyenghar, P.; Pulvermüller, E. 
2019Using developer-tool-interactions to expand tracing capabilitiesZiegenhagen, D.; Speck, A.; Pulvermüller, E. 
2018Valid.IoT - A framework for sensor data quality analysis and interpolationKuemper, D.; Iggena, T.; Toenjes, R.; Pulvermueller, E. 
2011Verification of e-Commerce Business ProcessesFeja, Sven; Speck, Andreas; Pulvermüller, Elke ; Schulz, Marcel H.
2009Verification support for generative system developmentSpeck, A.; Pulvermüller, E. 
2009Verification support for generative system developmentSpeck, A.; Pulvermüller, E. 
2015Visualization of checking results for graphical validation rulesWitt, S.; Feja, S.; Hadler, C.; Speck, A.; Pulvermüller, E. 
80 bis 95 von 95 Treffer < zurück