TU Berlin

Software and Embedded Systems EngineeringPublications

SESE-Logo in blau

Page Content

to Navigation

Dipl.-Math. Nils Berg

(formerly Jähnig)



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.


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 to original publication


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 to publication Link to original publication


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

Link to original publication


Quick Access

Schnellnavigation zur Seite über Nummerneingabe