- CSB - MetaPress - Google - Bing - Yahoo
 | 2011 | |
|---|---|---|
| c6 |      | 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 |
| 2010 | ||
| j2 | | Björn Bartels, Sabine Glesner, Thomas Göthel: Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification. ECEASST 30 (2010) |
| j1 | | Thomas Göthel, Sabine Glesner: An approach for machine-assisted verification of Timed CSP specifications. ISSE 6(3): 181-193 (2010) |
| c5 | | 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 |
| c4 | | Thomas Göthel, Sabine Glesner: Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants. SEFM 2010: 310-314 |
| c3 | | Moritz Kleine, Thomas Göthel: Specification, Verification and Implementation of Business Processes Using CSP. TASE 2010: 145-154 |
| 2009 | ||
| c2 |  | |
| c1 | | Moritz Kleine, Björn Bartels, Thomas Göthel, Sabine Glesner: Verifying the Implementation of an Operating System Scheduler. TASE 2009: 285-286 |
| 1 | Björn Bartels | |
| 2 | Sabine Glesner | |
| 3 | Steffen Helke | |
| 4 | Moritz Kleine | |
| 5 | Dirk Prenzel |
Data released under the ODC-BY 1.0 license — See also our legal information page