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
722009
Automatically verifying railway interlockings using SAT-based model checking
P James, M Roggenbach
Electronic Communications of the EASST 35, 2010
69*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
502009
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
422014
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
322014
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
Debugging event-b models using the prob disprover plug-in
O Ligot, J Bendisposto, M Leuschel
Proceedings AFADL 7, 1-13, 2007
262007
Easy graphical animation and formula visualisation for teaching B
M Leuschel, M Samia, J Bendisposto
232008
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
182017
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
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
Mixing formal and informal model elements for tracing requirements
M Jastram, S Hallerstede, L Ladenberger
Electronic Communications of the EASST 46, 2012
162012
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
142016
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
142011
A generic flash-based animation engine for ProB
J Bendisposto, M Leuschel
B 2007: Formal Specification and Development in B: 7th International …, 2006
142006
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
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
92021
A rendszer jelenleg nem tudja elvégezni a műveletet. Próbálkozzon újra később.
Cikkek 1–20