direkt zum Inhalt springen
direkt zum Hauptnavigationsmenü
Sie sind hier
Suchen
Institut für Softwaretechnik und Theoretische InformatikSoftwaretechnik
2014 • 2013 • 2012 • 2011 • 2010 • 2009 • 2008 • 2007 • 2006 • 2005 • 2004 •
Sortieren nach: Autor Jahr Journal
Winkler, J. and Tran, Q. (2014). Automatische Erkennung von Model Smells in Simulink-Modellen. Bonner Köllen Verlag, 167-170.
Noack, T., Helke, S. and Karbe, T. (2014). Reuse-Based Test Traceability: Automatic Linking of Test Cases and Requirements. International Journal on Advances in Software. IARIA, 469-485.
Mehlhase, A., Gomez-Esperon, D., Bergmann, J. and Merkle, M. (2014). An example of beneficial use of variable-structure modeling to enhance an existing rocket model. Electronic Press, 707-713.
Göthel, T. and Bartels, B. (2015). Modular Design and Verification of Distributed Adaptive Real-Time Systems. Second International Workshop on Formal Methods for Self-Adaptive Systems (FMSAS 2014), to appear.
Cmyrev, A. (2014). Optimierte Variantenselektion für einen effizienten E/E-Produktlinientest - Optimized variant selection for efficient E/E product line testing. OPUS Technische Universität Berlin (also PhD dissertation 2014)
Beckmann, M. (2014). Protokollierung von CAN-Nachrichten mithilfe eines integrierten Data Warehouse. Informatiktage 2014. Bonner Köllen Verlag, 17-20.
Bartels, B. and Jähnig, N. (2014). Mechanized, Compositional Verification of Low-Level Code. NASA Formal Methods (NFM 2014). Springer International Publishing, 98-112.
Bartels, B. (2014). A mechanized verification environment for real-time process algebras and low-level programming languages. OPUS Technische Universität Berlin (also PhD dissertation 2014).
Gehe zu: