Jens Bendisposto
Jens Bendisposto
Unknown affiliation
Verified email at
Cited by
Cited by
Specification and refinement of discrete timing properties in Event-B
MR Sarshogh, M Butler
Electronic Communications of the EASST 46, 2012
Visualising event-B models with B-motion studio
L Ladenberger, J Bendisposto, M Leuschel
Formal Methods for Industrial Critical Systems: 14th International Workshop …, 2009
Automatically verifying railway interlockings using SAT-based model checking
P James, M Roggenbach
Electronic Communications of the EASST 35, 2010
Applying model checking to generate model-based integration tests from choreography models
S Wieczorek, V Kozyura, A Roth, M Leuschel, J Bendisposto, D Plagge, ...
International Workshop on Formal Approaches to Software Testing, 179-194, 2009
From animation to data validation: the ProB constraint solver 10 years on
M Leuschel, J Bendisposto, I Dobrikov, S Krings, D Plagge
Formal Methods Applied to Complex Systems: Implementation of the B Method …, 2014
La validation de modèles Event-B avec le plug-in ProB pour RODIN
J Bendisposto, M Leuschel, O Ligot, M Samia
TSI, 1065-1084, 2008
Validation of the ABZ landing gear system using ProB
D Hansen, L Ladenberger, H Wiegard, J Bendisposto, M Leuschel
ABZ 2014: The Landing Gear Case Study: Case Study Track, Held at the 4th …, 2014
From Failure to Proof: The ProB Disprover for B and Event-B
S Krings, J Bendisposto, M Leuschel
Software Engineering and Formal Methods: 13th International Conference, SEFM …, 2015
Debugging event-b models using the prob disprover plug-in
O Ligot, J Bendisposto, M Leuschel
Proceedings AFADL 7, 1-13, 2007
Easy graphical animation and formula visualisation for teaching B
M Leuschel, M Samia, J Bendisposto
Validation of the ABZ landing gear system using ProB
L Ladenberger, D Hansen, H Wiegard, J Bendisposto, M Leuschel
International Journal on Software Tools for Technology Transfer 19, 187-203, 2017
Automatic flow analysis for Event-B
J Bendisposto, M Leuschel
Fundamental Approaches to Software Engineering: 14th International …, 2011
Proof assisted model checking for B
J Bendisposto, M Leuschel
Formal Methods and Software Engineering: 11th International Conference on …, 2009
ProB 2.0 Tutorial
J Bendisposto, J Clark, I Dobrikov, P Karner, S Krings, L Ladenberger, ...
Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes …, 2013
Symbolic Reachability Analysis of B Through ProB and LTSmin
J Bendisposto, P Körner, M Leuschel, J Meijer, J van de Pol, H Treharne, ...
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
Developing Camille, a text editor for Rodin
J Bendisposto, F Fritz, M Jastram, M Leuschel, I Weigelt
Software: Practice and Experience 41 (2), 189-198, 2011
A generic flash-based animation engine for ProB
J Bendisposto, M Leuschel
B 2007: Formal Specification and Development in B: 7th International …, 2006
ProB2-UI: A Java-Based User Interface for ProB
J Bendisposto, D Geleßus, Y Jansing, M Leuschel, A Pütz, F Vu, M Werth
Formal Methods for Industrial Critical Systems: 26th International …, 2021
Directed model checking for B: an evaluation and new techniques
M Leuschel, J Bendisposto
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on …, 2011
Integrating formal specifications into applications: the ProB Java API
P Körner, J Bendisposto, J Dunkelau, S Krings, M Leuschel
Formal Methods in System Design 58 (1), 160-187, 2021
The system can't perform the operation now. Try again later.
Articles 1–20