| |
| * | 2009 | |
|---|---|---|
| 5 | EE | Jens Bendisposto, Ian Endrijautzki, Michael Leuschel, David Schneider: A Semantics-Aware Editing Environment for Prolog in Eclipse CoRR abs/0903.2252: (2009) |
| 2008 | ||
| 4 | EE | 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 | EE | Jens Bendisposto, Michael Leuschel: A Generic Flash-Based Animation Engine for ProB. B 2007: 266-269 |
| 2 | EE | Jens Bendisposto, Michael Leuschel: BE4: The B Extensible Eclipse Editing Environment. B 2007: 270-273 |
| 1 | EE | Michael Leuschel, Jens Bendisposto: Animating and Model Checking B Specifications with Higher-Order Recursive Functions. Rigorous Methods for Software Construction and Analysis 2007 |
| 1 | Ian Endrijautzki | [5] |
| 2 | Michael Leuschel | [1] [2] [3] [4] [5] |
| 3 | O. Ligot | [4] |
| 4 | Mireille Samia | [4] |
| 5 | David Schneider | [5] |