Björn Bartels

According to our database, Björn Bartels authored at least 11 papers between 2009 and 2015.

Collaborative distances:

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

2015

Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions.

Thomas Göthel, Verena Klös, Björn Bartels

EAI Endorsed Trans. Self Adapt. Syst., 2015

2014

A mechanized verification environment for real-time process algebras and low-level programming languages.

Björn Bartels

PhD thesis, 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

Modular Design and Verification of Distributed Adaptive Real-Time Systems.

Thomas Göthel, Björn Bartels

Proceedings of the Nature of Computation and Communication - International Conference, 2014

2011

<i>LLVM2CSP</i>: Extracting CSP Models from Concurrent Programs.

Moritz Kleine, Björn Bartels, Thomas Göthel, Steffen Helke, Dirk Prenzel

Proceedings of the NASA Formal Methods, 2011

A CSP-based framework for the specification, verification, and implementation of adaptive systems.

Björn Bartels, Moritz Kleine

Proceedings of the 2011 ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, 2011

Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP.

Björn Bartels, Sabine Glesner

Proceedings of the 18th Asia Pacific Software Engineering Conference, 2011

2010

Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification.

Björn Bartels, Sabine Glesner, Thomas Göthel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Formal Modeling and Verification of Low-Level Software Programs.

Björn Bartels, Sabine Glesner

Proceedings of the 10th International Conference on Quality Software, 2010

The VATES-Diamond as a Verifier's Best Friend.

Sabine Glesner, Björn Bartels, Thomas Göthel, Moritz Kleine

Proceedings of the Verification, Induction, Termination Analysis, 2010

2009

Verifying the Implementation of an Operating System Scheduler.

Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner

Proceedings of the TASE 2009, 2009