 | 2009 |
|---|
| 4 |       | Michael Leuschel,
Jérôme Falampin,
Fabian Fritz,
Daniel Plagge:
Automated Property Verification for Large Scale B Models.
FM 2009: 708-723 |
| 3 | | Sebastian Wieczorek,
Vitaly Kozyura,
Andreas Roth,
Michael Leuschel,
Jens Bendisposto,
Daniel Plagge,
Ina Schieferdecker:
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.
TestCom/FATES 2009: 179-194 |
| 2007 |
|---|
| 2 | | Daniel Plagge,
Michael Leuschel:
Validating Z Specifications Using the ProBAnimator and Model Checker.
IFM 2007: 480-500 |
| 1 |  | Michael Leuschel,
Daniel Plagge:
Seven at one stroke: LTL model checking for High-level Specifications in B, Z, CSP, and more.
ISoLA 2007: 73-84 |
