Login / Signup
Nils Jähnig
Publication Activity (10 Years)
Years Active: 2014-2017
Publications (10 Years): 2
Top Topics
Signature Verification
Mid Level
Byte Code
Design Patterns
Top Venues
FESCA
SEFM
NASA Formal Methods
ICFEM
</>
Publications
</>
Thomas Göthel
,
Nils Jähnig
,
Simon Seif
Refinement-Based Modelling and Verification of Design Patterns for Self-adaptive Systems.
ICFEM
(2017)
Nils Jähnig
,
Thomas Göthel
,
Sabine Glesner
Refinement-Based Verification of Communicating Unstructured Code.
SEFM
(2016)
Nils Jähnig
,
Thomas Göthel
,
Sabine Glesner
A Denotational Semantics for Communicating Unstructured Code.
FESCA
(2015)
Björn Bartels
,
Nils Jähnig
Mechanized, Compositional Verification of Low-Level Code.
NASA Formal Methods
(2014)