Search the dblp DataBase

Publications of Author

1. Jens Bendisposto, Michael Leuschel
   A Generic Flash-Based Animation Engine for ProB. [Citation Graph (0, 0)][DBLP]
   B, 2007, pp:266-269 [Conf]
   
2. Jens Bendisposto, Michael Leuschel
   BE⁴: The B Extensible Eclipse Editing Environment. [Citation Graph (0, 0)][DBLP]
   B, 2007, pp:270-273 [Conf]
   
3. 
   Animating and Model Checking B Specifications with Higher-Order Recursive Functions. [Citation Graph (, )][DBLP]
   
   
4. 
   Proof Assisted Model Checking for B. [Citation Graph (, )][DBLP]
   
   
5. 
   Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. [Citation Graph (, )][DBLP]
   
   
6. 
   Visualising Event-B Models with B-Motion Studio. [Citation Graph (, )][DBLP]
   
   
7. 
   A Semantics-Aware Editing Environment for Prolog in Eclipse [Citation Graph (, )][DBLP]