Mechanized, Compositional Verification of Low-Level Code. - Björn Bartels; Nils Jähnig (NASA Formal Methods, 2014)

A Denotational Semantics for Communicating Unstructured Code. - Nils Jähnig; Thomas Göthel; Sabine Glesner (FESCA, 2015)

Refinement-Based Verification of Communicating Unstructured Code. - Nils Jähnig; Thomas Göthel; Sabine Glesner (SEFM, 2016)

Refinement-Based Modelling and Verification of Design Patterns for Self-adaptive Systems. - Thomas Göthel; Nils Jähnig; Simon Seif (ICFEM, 2017)

Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages. - Nils Berg; Thomas Göthel; Armin Danziger; Sabine Glesner (ICFEM, 2018)

Distributed Behavior Trees for Heterogeneous Robot Teams. - Georg Heppner; Nils Berg; David Oberacker; Niklas Spielbauer; Arne Roennau; Rüdiger Dillmann (CASE, 2023)