 | 2009 |
|---|
| 8 |       | Lukas Ladenberger,
Jens Bendisposto,
Michael Leuschel:
Visualising Event-B Models with B-Motion Studio.
FMICS 2009: 202-204 |
| 7 | | Jens Bendisposto,
Michael Leuschel:
Proof Assisted Model Checking for B.
ICFEM 2009: 504-520 |
| 6 | | 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 |
| 5 | | Jens Bendisposto,
Ian Endrijautzki,
Michael Leuschel,
David Schneider:
A Semantics-Aware Editing Environment for Prolog in Eclipse
CoRR abs/0903.2252: (2009) |
| 2008 |
|---|
| 4 | | Jens Bendisposto,
Michael Leuschel,
O. Ligot,
Mireille Samia:
La validation de modèles Event-B avec le plug-in ProB pour RODIN.
Technique et Science Informatiques 27(8): 1065-1084 (2008) |
| 2007 |
|---|
| 3 | | Jens Bendisposto,
Michael Leuschel:
A Generic Flash-Based Animation Engine for ProB.
B 2007: 266-269 |
| 2 | | Jens Bendisposto,
Michael Leuschel:
BE4: The B Extensible Eclipse Editing Environment.
B 2007: 270-273 |
| 1 | | Michael Leuschel,
Jens Bendisposto:
Animating and Model Checking B Specifications with Higher-Order Recursive Functions.
Rigorous Methods for Software Construction and Analysis 2007 |
