Björn Bartels

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 0

Top Topics

Real Time Embedded

False Acceptance

Top Venues

EAI Endorsed Trans. Self Adapt. Syst.

NASA Formal Methods

Berlin Institute of Technology (PHD)

Education History

Berlin Institute of Technology

PHD

Publications

Thomas Göthel, Verena Klös, Björn Bartels
Modular Design and Verification of Distributed Adaptive Real-Time Systems Based on Refinements and Abstractions. EAI Endorsed Trans. Self Adapt. Syst. 1 (1) (2015)
Björn Bartels, Nils Jähnig
Mechanized, Compositional Verification of Low-Level Code. NASA Formal Methods (2014)
Thomas Göthel, Björn Bartels
Modular Design and Verification of Distributed Adaptive Real-Time Systems. ICTCC (2014)
Björn Bartels, Sabine Glesner
Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. APSEC (2011)
Björn Bartels, Moritz Kleine
A CSP-based framework for the specification, verification, and implementation of adaptive systems. SEAMS (2011)
Moritz Kleine, Björn Bartels, Thomas Göthel, Steffen Helke, Dirk Prenzel
: Extracting CSP Models from Concurrent Programs. NASA Formal Methods (2011)
Björn Bartels, Sabine Glesner, Thomas Göthel
Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 30 (2010)
Sabine Glesner, Björn Bartels, Thomas Göthel, Moritz Kleine
The VATES-Diamond as a Verifier's Best Friend. Verification, Induction, Termination Analysis (2010)
Björn Bartels, Sabine Glesner
Formal Modeling and Verification of Low-Level Software Programs. QSIC (2010)
Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner
Verifying the Implementation of an Operating System Scheduler. TASE (2009)