Bjrn Bartels
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2009–2011
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | APSEC | Verification of Distributed Embedded Real-Time Systems and their Low-Level Implementations Using Timed CSP. | Bjrn Bartels, Sabine Glesner |
| 2011 | ICSE | A CSP-based framework for the specification, verification, and implementation of adaptive systems. | Bjrn Bartels, Moritz Kleine |
| 2009 | TASE | Verifying the Implementation of an Operating System Scheduler. | Moritz Kleine, Bjrn Bartels, Thomas Gthel, Sabine Glesner |