Rapid Visualization of B Specifications containing Higher-Order Recursive Functions. - Jens Bendisposto; Michael Leuschel (Softwaretechnik-Trends, 2006)

A Generic Flash-Based Animation Engine for ProB. - Jens Bendisposto; Michael Leuschel (B, 2007)

BE4: The B Extensible Eclipse Editing Environment. - Jens Bendisposto; Michael Leuschel (B, 2007)

Animating and Model Checking B Specifications with Higher-Order Recursive Functions. - Michael Leuschel; Jens Bendisposto (Rigorous Methods for Software Construction and Analysis, 2007)

La validation de modèles Event-B avec le plug-in ProB pour RODIN. - Jens Bendisposto; Michael Leuschel; O. Ligot; Mireille Samia (Tech. Sci. Informatiques, 2008)

Visualising Event-B Models with B-Motion Studio. - Lukas Ladenberger; Jens Bendisposto; Michael Leuschel (FMICS, 2009)

Proof Assisted Model Checking for B. - Jens Bendisposto; Michael Leuschel (ICFEM, 2009)

Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models. - Sebastian Wieczorek; Vitaly Kozyura; Andreas Roth 001; Michael Leuschel; Jens Bendisposto; Daniel Plagge; Ina Schieferdecker (TestCom/FATES, 2009)

A Semantics-Aware Editing Environment for Prolog in Eclipse - Jens Bendisposto; Ian Endrijautzki; Michael Leuschel; David Schneider 001 (CoRR, 2009)

Directed Model Checking for B: An Evaluation and New Techniques. - Michael Leuschel; Jens Bendisposto (SBMF, 2010)

Avocs2010 Preface. - Jens Bendisposto; Michael Leuschel; Markus Roggenbach (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

Automatic Flow Analysis for Event-B. - Jens Bendisposto; Michael Leuschel (FASE, 2011)

Preface. - Alexander B. Romanovsky; Cliff B. Jones; Jens Bendisposto; Michael Leuschel (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011)

Developing Camille, a text editor for Rodin. - Jens Bendisposto; Fabian Fritz; Michael Jastram; Michael Leuschel; Ingo Weigelt (Softw. Pract. Exp., 2011)

Who watches the watchers: Validating the ProB Validation Tool. - Jens Bendisposto; Sebastian Krings; Michael Leuschel (F-IDE, 2014)

Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010). - Jens Bendisposto; Michael Leuschel; Markus Roggenbach (Sci. Comput. Program., 2014)

From Failure to Proof: The ProB Disprover for B and Event-B. - Sebastian Krings; Jens Bendisposto; Michael Leuschel (SEFM, 2015)

Directed and Distributed Model Checking of B-Specifications. - Jens Marco Bendisposto (2015)

Generating Event-B Specifications from Algorithm Descriptions. - Joy Clark; Jens Bendisposto; Stefan Hallerstede; Dominik Hansen; Michael Leuschel (ABZ, 2016)

Symbolic Reachability Analysis of B Through ProB and LTSmin. - Jens Bendisposto; Philipp Körner; Michael Leuschel; Jeroen Meijer; Jaco van de Pol; Helen Treharne; Jorden Whitefield (IFM, 2016)

Validation of the ABZ landing gear system using ProB. - Lukas Ladenberger; Dominik Hansen; Harald Wiegard; Jens Bendisposto; Michael Leuschel (Int. J. Softw. Tools Technol. Transf., 2017)

Distributed Model Checking Using ProB. - Philipp Körner; Jens Bendisposto (NFM, 2018)

Embedding High-Level Formal Specifications into Applications. - Philipp Körner; Jens Bendisposto; Jannik Dunkelau; Sebastian Krings; Michael Leuschel (FM, 2019)

ProB2-UI: A Java-Based User Interface for ProB. - Jens Bendisposto; David Geleßus; Yumiko Jansing; Michael Leuschel; Antonia Pütz; Fabian Vu; Michelle Werth (FMICS, 2021)

Integrating formal specifications into applications: the ProB Java API. - Philipp Körner; Jens Bendisposto; Jannik Dunkelau; Sebastian Krings; Michael Leuschel (Formal Methods Syst. Des., 2021)