Jens Bendisposto

According to our database, Jens Bendisposto authored at least 25 papers between 2006 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

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

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

2019

Embedding High-Level Formal Specifications into Applications.

Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Distributed Model Checking Using ProB.

Philipp Körner, Jens Bendisposto

Proceedings of the NASA Formal Methods - 10th International Symposium, 2018

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

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Generating Event-B Specifications from Algorithm Descriptions.

Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

Directed and Distributed Model Checking of B-Specifications.

Jens Marco Bendisposto

PhD thesis, 2015

From Failure to Proof: The ProB Disprover for B and Event-B.

Sebastian Krings, Jens Bendisposto, Michael Leuschel

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

2014

Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010).

Jens Bendisposto, Michael Leuschel, Markus Roggenbach

Sci. Comput. Program., 2014

Who watches the watchers: Validating the ProB Validation Tool.

Jens Bendisposto, Sebastian Krings, Michael Leuschel

Proceedings of the Proceedings 1st Workshop on Formal Integrated Development Environment, 2014

Validation of the ABZ Landing Gear System Using ProB.

Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel

Proceedings of the ABZ 2014: The Landing Gear Case Study, 2014

2011

Developing Camille, a text editor for Rodin.

Jens Bendisposto, Fabian Fritz, Michael Jastram, Michael Leuschel, Ingo Weigelt

Softw. Pract. Exp., 2011

Preface.

Alexander B. Romanovsky, Cliff B. Jones, Jens Bendisposto, Michael Leuschel

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2011

Automatic Flow Analysis for Event-B.

Jens Bendisposto, Michael Leuschel

Proceedings of the Fundamental Approaches to Software Engineering, 2011

2010

Avocs2010 Preface.

Jens Bendisposto, Michael Leuschel, Markus Roggenbach

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010

Directed Model Checking for B: An Evaluation and New Techniques.

Michael Leuschel, Jens Bendisposto

Proceedings of the Formal Methods: Foundations and Applications, 2010

2009

A Semantics-Aware Editing Environment for Prolog in Eclipse

Jens Bendisposto, Ian Endrijautzki, Michael Leuschel, David Schneider

CoRR, 2009

Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.

Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker

Proceedings of the Testing of Software and Communication Systems, 2009

Proof Assisted Model Checking for B.

Jens Bendisposto, Michael Leuschel

Proceedings of the Formal Methods and Software Engineering, 2009

Visualising Event-B Models with B-Motion Studio.

Lukas Ladenberger, Jens Bendisposto, Michael Leuschel

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

2008

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

2007

Animating and Model Checking B Specifications with Higher-Order Recursive Functions.

Michael Leuschel, Jens Bendisposto

Proceedings of the Rigorous Methods for Software Construction and Analysis, 07.05., 2007

BE⁴: The B Extensible Eclipse Editing Environment.

Jens Bendisposto, Michael Leuschel

Proceedings of the B 2007: Formal Specification and Development in B, 2007

A Generic Flash-Based Animation Engine for ProB.

Jens Bendisposto, Michael Leuschel

Proceedings of the B 2007: Formal Specification and Development in B, 2007

2006

Rapid Visualization of B Specifications containing Higher-Order Recursive Functions.

Jens Bendisposto, Michael Leuschel

Softwaretechnik-Trends, 2006