Concepedia

Jens Bendisposto

JB

Statistics

Publications

3

Citations

35

H-Index

3

Active since

2011

Affiliations

Heinrich Heine University Düsseldorf(Current)

Jens Bendisposto is an author at Heinrich Heine University Düsseldorf specializing in engineering, formal specification, and system software.

ORCID

Top concepts

Publications per year

2011–2020

3

Publications

3

Validation of the ABZ landing gear system using ProB

Lukas Ladenberger, Dominik Hansen, Harald Wiegard et al. · International Journal on Software Tools for Technology Transfer · 2015 · 13 citations

, , +6

Developing Camille, a text editor for Rodin

Jens Bendisposto, Fabian Fritz, Michael Jastram et al. · Software Practice and Experience · 2011 · 12 citations

, , +18

Integrating formal specifications into applications: the ProB Java API

Philipp Körner, Jens Bendisposto, Jannik Dunkelau et al. · Formal Methods in System Design · 2020 · 10 citations · Full text

, , +20

1–3 of 3