direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

2014 [1] • 2013 [2] • 2012 [3] • 2011 [4] • 2010 [5] • 2009 [6] • 2008 [7] • 2007 [8] • 2006 [9] • 2005 [10] • 2004 [11] •
[12]

2014

Winkler, J. and Tran, Q. (2014). Automatische Erkennung von Model Smells in Simulink-Modellen [16]. 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 [17]. 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 [18]. Electronic Press, 707-713.


Göthel, T. and Bartels, B. (2015). Modular Design and Verification of Distributed Adaptive Real-Time Systems [19]. 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 [20]. OPUS Technische Universität Berlin (also PhD dissertation 2014)


Beckmann, M. (2014). Protokollierung von CAN-Nachrichten mithilfe eines integrierten Data Warehouse [21]. Informatiktage 2014. Bonner Köllen Verlag, 17-20.


Bartels, B. and Jähnig, N. (2014). Mechanized, Compositional Verification of Low-Level Code [22]. 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 [23]. OPUS Technische Universität Berlin (also PhD dissertation 2014).


------ Links: ------

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe

Copyright TU Berlin 2008