Jens Bendisposto

26 papers B 4C 4Journal 10Unranked 8
YearRankTypeTitle / Venue / Authors
2021 J jnl
Integrating formal specifications into applications: the ProB Java API.
Formal Methods Syst. Des.
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
2021 C conf
ProB2-UI: A Java-Based User Interface for ProB.
FMICS
Jens Bendisposto, David Geleßus, Yumiko Jansing, Michael Leuschel, Antonia Pütz, Fabian Vu, Michelle Werth
2019 B conf
Embedding High-Level Formal Specifications into Applications.
FM
Philipp Körner, Jens Bendisposto, Jannik Dunkelau, Sebastian Krings, Michael Leuschel
2018 — conf
Distributed Model Checking Using ProB.
NFM
Philipp Körner, Jens Bendisposto
2017 J jnl
Validation of the ABZ landing gear system using ProB.
Int. J. Softw. Tools Technol. Transf.
Lukas Ladenberger, Dominik Hansen, Harald Wiegard, Jens Bendisposto, Michael Leuschel
2016 C conf
Generating Event-B Specifications from Algorithm Descriptions.
ABZ
Joy Clark, Jens Bendisposto, Stefan Hallerstede, Dominik Hansen, Michael Leuschel
2016 B conf
Symbolic Reachability Analysis of B Through ProB and LTSmin.
IFM
Jens Bendisposto, Philipp Körner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
2016 J jnl
Symbolic Reachability Analysis of B through ProB and LTSmin.
CoRR
Jens Bendisposto, Philipp Koerner, Michael Leuschel, Jeroen Meijer, Jaco van de Pol, Helen Treharne, Jorden Whitefield
2015 B conf
From Failure to Proof: The ProB Disprover for B and Event-B.
SEFM
Sebastian Krings, Jens Bendisposto, Michael Leuschel
2014 J jnl
Preface of Automated Verification of Critical Systems 2010 (AVoCS 2010).
Sci. Comput. Program.
Jens Bendisposto, Michael Leuschel, Markus Roggenbach
2014 — conf
Validation of the ABZ Landing Gear System Using ProB.
ABZ (Case Study)
Dominik Hansen, Lukas Ladenberger, Harald Wiegard, Jens Bendisposto, Michael Leuschel
2014 — conf
Who watches the watchers: Validating the ProB Validation Tool.
F-IDE
Jens Bendisposto, Sebastian Krings, Michael Leuschel
2011 B conf
Automatic Flow Analysis for Event-B.
FASE
Jens Bendisposto, Michael Leuschel
2011 J jnl
Developing Camille, a text editor for Rodin.
Softw. Pract. Exp.
Jens Bendisposto, Fabian Fritz, Michael Jastram, Michael Leuschel, Ingo Weigelt
2011 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Alexander B. Romanovsky, Cliff B. Jones, Jens Bendisposto, Michael Leuschel
2010 J jnl
Avocs2010 Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Jens Bendisposto, Michael Leuschel, Markus Roggenbach
2010 — conf
Directed Model Checking for B: An Evaluation and New Techniques.
SBMF
Michael Leuschel, Jens Bendisposto
2009 J jnl
A Semantics-Aware Editing Environment for Prolog in Eclipse
CoRR
Jens Bendisposto, Ian Endrijautzki, Michael Leuschel, David Schneider
2009 — conf
Applying Model Checking to Generate Model-Based Integration Tests from Choreography Models.
TestCom/FATES
Sebastian Wieczorek, Vitaly Kozyura, Andreas Roth, Michael Leuschel, Jens Bendisposto, Daniel Plagge, Ina Schieferdecker
2009 C conf
Proof Assisted Model Checking for B.
ICFEM
Jens Bendisposto, Michael Leuschel
2009 C conf
Visualising Event-B Models with B-Motion Studio.
FMICS
Lukas Ladenberger, Jens Bendisposto, Michael Leuschel
2008 J jnl
La validation de modèles Event-B avec le plug-in ProB pour RODIN.
Tech. Sci. Informatiques
Jens Bendisposto, Michael Leuschel, O. Ligot, Mireille Samia
2007 — conf
A Generic Flash-Based Animation Engine for ProB.
B
Jens Bendisposto, Michael Leuschel
2007 — conf
Animating and Model Checking B Specifications with Higher-Order Recursive Functions.
Rigorous Methods for Software Construction and Analysis
Michael Leuschel, Jens Bendisposto
2007 — conf
BE
B
Jens Bendisposto, Michael Leuschel
2006 J jnl
Rapid Visualization of B Specifications containing Higher-Order Recursive Functions.
Softwaretechnik-Trends
Jens Bendisposto, Michael Leuschel