Contact Information · Heinrich-Heine-Universität Düsseldorf · Institut für Informatik · bendisposto@uni-duesseldorf.de. Phone: +49 (211) 81-10714

Jens Bendisposto. Zugehörigkeit unbekannt. Bestätigte E-Mail-Adresse bei cs.uni-duesseldorf.de. ArtikelZitiert vonÖffentlicher Zugriff. Titel.

Using B and ProB for Data Validation Projects. In Proceedings ABZ 2016, LNCS, 9675, Springer-Verlag, 2016. Joy Clark, Jens Bendisposto, ...

Postdoctoral researcher at University of Duesseldorf · Specialties: B-Method, Model Checking, Clojure, Java · Berufserfahrung: INNOQ · Ausbildung: ...

Apr 25, 2024 · List of computer science publications by Jens Bendisposto.

jbendisposto@mastodontech.de. bendisposto has 129 repositories available. Follow their code on GitHub.

Applying model checking to generate model-based integration tests from choreography models. S Wieczorek, V Kozyura, A Roth, M Leuschel, J Bendisposto, D Plagge, ...

Jens Bendisposto. Heinrich-Heine-Universität Düsseldorf | HHU · Lehrstuhl Softwaretechnik und Programmiersprachen · About · Publications · Network.

Jens ist Senior Consultant bei INNOQ. Seine Interessensgebiete sind funktionale und logische Programmierung. Er ist ausserdem als Dozent an der Universität ...