direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Publikationen

20142013201220112010200920082007200620052004

2014

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


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.


Winkler, J. and Tran, Q. (2014). Automatische Erkennung von Model Smells in Simulink-Modellen. Bonner Köllen Verlag, 167-170.



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


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.


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.


Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe