Jens Bendisposto

Publication Activity (10 Years)

Years Active: 2006-2021
Publications (10 Years): 9

Top Topics

Automated Verification

Specification Languages

Top Venues

Int. J. Softw. Tools Technol. Transf.

Sci. Comput. Program.

Publications

Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Integrating formal specifications into applications: the ProB Java API. Formal Methods Syst. Des. 58 (1-2) (2021)
Jens Bendisposto, David Geleßus, Yumiko Jansing, Michael Leuschel, Antonia Pütz, Fabian Vu, Michelle Werth
ProB2-UI: A Java-Based User Interface for ProB. FMICS (2021)
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
Embedding High-Level Formal Specifications into Applications. FM (2019)
Philipp Körner, Jens Bendisposto
Distributed Model Checking Using ProB. NFM (2018)
Lukas Ladenberger, Dominik Hansen, Harald Wiegard, Jens Bendisposto, Michael Leuschel
Validation of the ABZ landing gear system using ProB. Int. J. Softw. Tools Technol. Transf. 19 (2) (2017)
Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel
Generating Event-B Specifications from Algorithm Descriptions. ABZ (2016)
Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
Symbolic Reachability Analysis of B Through ProB and LTSmin. IFM (2016)
Jens Bendisposto, Philipp Koerner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
Symbolic Reachability Analysis of B through ProB and LTSmin. CoRR (2016)
Sebastian Krings, Jens Bendisposto, Michael Leuschel
From Failure to Proof: The ProB Disprover for B and Event-B. SEFM (2015)
Jens Bendisposto, Michael Leuschel, Markus Roggenbach
Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010). Sci. Comput. Program. 81 (2014)
Jens Bendisposto, Sebastian Krings, Michael Leuschel
Who watches the watchers: Validating the ProB Validation Tool. F-IDE (2014)
Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel
Validation of the ABZ Landing Gear System Using ProB. ABZ (Case Study) (2014)
Jens Bendisposto, Michael Leuschel
Automatic Flow Analysis for Event-B. FASE (2011)
Jens Bendisposto, Fabian Fritz, Michael Jastram, Michael Leuschel, Ingo Weigelt
Developing Camille, a text editor for Rodin. Softw. Pract. Exp. 41 (2) (2011)
Alexander B. Romanovsky, Cliff B. Jones, Jens Bendisposto, Michael Leuschel
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 46 (2011)
Jens Bendisposto, Michael Leuschel, Markus Roggenbach
Avocs2010 Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 35 (2010)
Michael Leuschel, Jens Bendisposto
Directed Model Checking for B: An Evaluation and New Techniques. SBMF (2010)
Jens Bendisposto, Michael Leuschel
Proof Assisted Model Checking for B. ICFEM (2009)
Lukas Ladenberger, Jens Bendisposto, Michael Leuschel
Visualising Event-B Models with B-Motion Studio. FMICS (2009)
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)
Jens Bendisposto, Ian Endrijautzki, Michael Leuschel, David Schneider
A Semantics-Aware Editing Environment for Prolog in Eclipse CoRR (2009)
Jens Bendisposto, Michael Leuschel, O. Ligot, Mireille Samia
La validation de modèles Event-B avec le plug-in ProB pour RODIN. Tech. Sci. Informatiques 27 (8) (2008)
Michael Leuschel, Jens Bendisposto
Animating and Model Checking B Specifications with Higher-Order Recursive Functions. Rigorous Methods for Software Construction and Analysis (2007)
Jens Bendisposto, Michael Leuschel
: The B Extensible Eclipse Editing Environment. B (2007)
Jens Bendisposto, Michael Leuschel
A Generic Flash-Based Animation Engine for ProB. B (2007)
Jens Bendisposto, Michael Leuschel
Rapid Visualization of B Specifications containing Higher-Order Recursive Functions. Softwaretechnik-Trends 26 (2) (2006)