direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Inhalt des Dokuments

Dipl.-Math. Nils Berg

(geb. Jähnig)

Veröffentlichungen

2017

Göthel, T., Jähnig, N. and Seif, S. (2017). Refinement-Based Modelling and Verification of Design Patterns for Self-Adaptive Systems. Proceedings of the 19th International Conference on Formal Engineering Methods (ICFEM). Springer, 157–173.


2016

Jähnig, N., Göthel, T. and Glesner, S. (2016). Refinement-Based Verification of Communicating Unstructured Code. Software Engineering and Formal Methods - 14th International Conference, SEFM 2016. Springer, 61–75.

Link zur Originalpublikation

2015

Jähnig, N., Göthel, T. and Glesner, S. (2015). A Denotational Semantics for Communicating Unstructured Code. Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, FESCA 2015, London, United Kingdom, April 12th, 2015., 9–21.

Link zur Publikation Link zur Originalpublikation

2014

Bartels, B. and Jähnig, N. (2014). Mechanized, Compositional Verification of Low-Level Code. Lecture Notes in Computer Science 8430, 98-112.

Link zur Originalpublikation

Zusatzinformationen / Extras

Direktzugang

Schnellnavigation zur Seite über Nummerneingabe