Nils Jähnig

Mechanized, Compositional Verification of Low-Level Code

Björn Bartels, Nils Jähnig, B. Bartels, 2014, NASA Formal Methods.

Refinement-Based Modelling and Verification of Design Patterns for Self-adaptive Systems

Thomas Göthel, Nils Jähnig, Simon Seif, 2017, ICFEM.

Refinement-Based Verification of Communicating Unstructured Code

Sabine Glesner, Thomas Göthel, Nils Jähnig, 2016, SEFM.

A Denotational Semantics for Communicating Unstructured Code

Sabine Glesner, Thomas Göthel, Nils Jähnig, 2015, FESCA.