Humboldt-Universität zu Berlin - Mathematisch-Naturwissenschaftliche Fakultät - Willkommen bei SOAMED

Dipl.-Inf. Björn Bartels

 

 

 Kontakt

Adresse:

Technische Universität Berlin
Fachgebiet Softwaretechnik
Ernst-Reuter-Platz 7,

10587 Berlin

Raum: TEL 1004

Telefon:

+49-30-314-73419

Telefax:

+49-30-314-73488

Homepage: http://www.swt.tu-berlin.de/menue/ueber_uns/team/bjoern_bartels/

E-Mail:

bartels(at)soamed.de

Ausbildung

Mitglied bei SOAMED: 01.10.2012-31.03.2014

 

Publikationen

2011

Kleine, M. and Bartels, B. and Goethel T. and Helke, S. and Prenzel D. (2011):

"LLVM2CSP : Extracting CSP Models from Concurrent Programs"

Proc. Nasa Formal Methods Symposium (NFM 2011). Springer, 500-505.

2011

Bartels, B. and Glesner, S. (2011):

"Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementation Using Timed CSP"

Proc. of the 18th Asia Pacific Software Engineering Conference (APSEC 2011). IEEE Computer Society, 195-202.

2011

Bartels, B. and Kleine, M. (2011):

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

Proc. of the 6th international symposium on Software engineering for adaptive and self-managing systems (SEAMS'11). ACM, 158-167.

2011

Bartels, B. (2011):

"Verification of Low-Level Real-Time Programs using Timed CSP"

Formal Methods 2011 Doctoral Symposium

2010

Kleine, M. and Bartels, B. (2010). On Using CSP for the Construction of Concurrent Programs. International Conference on Software Engineering Theory and Practice

2010

Bartels, B. and Glesner, S. (2010).

"Formal Modeling and Verification of Low-Level Software Programs"

10th International Conference on Qualtiy Software (QSIC 2010). IEEE Computer Society, pp. 200–207.

2010

Glesner, S. and Bartels, B. and Göthel, T. and Kleine, M. (2010):

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

Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer, pp. 81–101.

2009

Kleine, M. and Bartels, B. and Göthel, T. and Glesner, S. (2009):

"Verifying the Implementation of an Operating System Scheduler"

3rd IEEE International Symposium on Theoretical Aspects of Software Engineering. IEEE Computer Society Press, 285-286.