direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

20142013201220112010200920082007200620052004

2014

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.



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).


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe