TU Berlin

Softwaretechnik2014

swt in rot

Inhalt des Dokuments

zur Navigation

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


Navigation

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe