 | 2011 |
|---|
| 7 |       | 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 |
|---|
| 6 | | Thomas Göthel,
Sabine Glesner:
Towards the Semi-Automatic Verification of Parameterized Real-Time Systems Using Network Invariants.
SEFM 2010: 310-314 |
| 5 | | Moritz Kleine,
Thomas Göthel:
Specification, Verification and Implementation of Business Processes Using CSP.
TASE 2010: 145-154 |
| 4 | | 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 |
| 3 | | Björn Bartels,
Sabine Glesner,
Thomas Göthel:
Model Transformations to Mitigate the Semantic Gap in Embedded Systems Verification.
ECEASST 30: (2010) |
| 2 | | Thomas Göthel,
Sabine Glesner:
An approach for machine-assisted verification of Timed CSP specifications.
ISSE 6(3): 181-193 (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