Jens Bendisposto
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2009–2021
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | FMICS | ProB2-UI: A Java-Based User Interface for ProB. | Jens Bendisposto, David Geleus, Yumiko Jansing, Michael Leuschel, Antonia Ptz, Fabian Vu, Michelle Werth |
| 2019 | FM | Embedding High-Level Formal Specifications into Applications. | Philipp Krner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel |
| 2016 | IFM | Symbolic Reachability Analysis of B Through ProB and LTSmin. | Jens Bendisposto, Philipp Krner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield |
| 2015 | SEFM | From Failure to Proof: The ProB Disprover for B and Event-B. | Sebastian Krings, Jens Bendisposto, Michael Leuschel |
| 2011 | FASE | Automatic Flow Analysis for Event-B. | Jens Bendisposto, Michael Leuschel |
| 2009 | FMICS | Visualising Event-B Models with B-Motion Studio. | Lukas Ladenberger, Jens Bendisposto, Michael Leuschel |
| 2009 | ICFEM | Proof Assisted Model Checking for B. | Jens Bendisposto, Michael Leuschel |