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.
|
|