Nils Berg

According to our database, Nils Berg authored at least 6 papers between 2014 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Distributed Behavior Trees for Heterogeneous Robot Teams.

Georg Heppner, Nils Berg, David Oberacker, Niklas Spielbauer, Arne Roennau, Rüdiger Dillmann

Proceedings of the 19th IEEE International Conference on Automation Science and Engineering, 2023

2018

Preserving Liveness Guarantees from Synchronous Communication to Asynchronous Unstructured Low-Level Languages.

Nils Berg, Thomas Göthel, Armin Danziger, Sabine Glesner

Proceedings of the Formal Methods and Software Engineering, 2018

2017

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

Thomas Göthel, Nils Jähnig, Simon Seif

Proceedings of the Formal Methods and Software Engineering, 2017

2016

Refinement-Based Verification of Communicating Unstructured Code.

Nils Jähnig, Thomas Göthel, Sabine Glesner

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

2015

A Denotational Semantics for Communicating Unstructured Code.

Nils Jähnig, Thomas Göthel, Sabine Glesner

Proceedings of the Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2015

2014

Mechanized, Compositional Verification of Low-Level Code.

Björn Bartels, Nils Jähnig

Proceedings of the NASA Formal Methods - 6th International Symposium, NFM 2014, Houston, TX, USA, April 29, 2014