 | 2011 |
|---|
| 7 |       | Björn Bartels,
Sabine Glesner:
Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP.
APSEC 2011: 195-202 |
| 6 | | Moritz Kleine,
Björn Bartels,
Thomas Göthel,
Steffen Helke,
Dirk Prenzel:
LLVM2CSP: Extracting CSP Models from Concurrent Programs.
NASA Formal Methods 2011: 500-505 |
| 5 | | Björn Bartels,
Moritz Kleine:
A CSP-based framework for the specification, verification, and implementation of adaptive systems.
SEAMS 2011: 158-167 |
| 2010 |
|---|
| 4 | | Björn Bartels,
Sabine Glesner:
Formal Modeling and Verification of Low-Level Software Programs.
QSIC 2010: 200-207 |
| 3 | | Sabine Glesner,
Björn Bartels,
Thomas Göthel,
Moritz Kleine:
The VATES-Diamond as a Verifier's Best Friend.
Verification, Induction, Termination Analysis 2010: 81-101 |
| 2 | | Björn Bartels,
Sabine Glesner,
Thomas Göthel:
Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification.
ECEASST 30: (2010) |
| 2009 |
|---|
| 1 | | Moritz Kleine,
Björn Bartels,
Thomas Göthel,
Sabine Glesner:
Verifying the Implementation of an Operating System Scheduler.
TASE 2009: 285-286 |
Data released under the ODC-BY 1.0 license — See also our legal information page