Követés
Jens Bendisposto
Jens Bendisposto
Ismeretlen szervezet
E-mail megerősítve itt: cs.uni-duesseldorf.de
Cím
Hivatkozott rá
Hivatkozott rá
Év
Specification and refinement of discrete timing properties in Event-B
MR Sarshogh, M Butler
Electronic Communications of the EASST 46, 2012
100*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
752009
Automatically verifying railway interlockings using SAT-based model checking
P James, M Roggenbach
Electronic Communications of the EASST 35, 2010
66*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
522009
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
432014
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
352008
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
342014
Debugging event-b models using the prob disprover plug-in
O Ligot, J Bendisposto, M Leuschel
Proceedings AFADL 7, 1-13, 2007
292007
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
272015
Easy graphical animation and formula visualisation for teaching B
M Leuschel, M Samia, J Bendisposto
242008
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
212017
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
182021
Automatic flow analysis for Event-B
J Bendisposto, M Leuschel
Fundamental Approaches to Software Engineering: 14th International …, 2011
182011
Proof assisted model checking for B
J Bendisposto, M Leuschel
Formal Methods and Software Engineering: 11th International Conference on …, 2009
182009
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
172011
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
162013
A generic flash-based animation engine for ProB
J Bendisposto, M Leuschel
B 2007: Formal Specification and Development in B: 7th International …, 2006
152006
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
132021
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
132016
Directed model checking for B: an evaluation and new techniques
M Leuschel, J Bendisposto
Formal Methods: Foundations and Applications: 13th Brazilian Symposium on …, 2011
112011
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20