Joshua Schmidt

14 papers B 1C 4Journal 4Unranked 4
YearRankTypeTitle / Venue / Authors
2023 — —
New Applications and Techniques for Constraint Programming in B.
Joshua Schmidt
2022 J jnl
SMT solving for the validation of B and Event-B models.
Int. J. Softw. Tools Technol. Transf.
Joshua Schmidt, Michael Leuschel
2021 C conf
Improving SMT Solver Integrations for the Validation of B and Event-B Models.
FMICS
Joshua Schmidt, Michael Leuschel
2020 C conf
Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out!
ABZ
Jannik Dunkelau, Joshua Schmidt, Michael Leuschel
2020 J jnl
Translating Alloy and extensions to classical B.
Sci. Comput. Program.
Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider, Marc Frappier
2019 — conf
Automated Backend Selection for ProB Using Deep Learning.
NFM
Jannik Dunkelau, Sebastian Krings, Joshua Schmidt
2019 — conf
Experience Report on an Inquiry-Based Course on Model Checking.
SEUH
Sebastian Krings, Philipp Körner, Joshua Schmidt
2019 — conf
Towards Constraint Logic Programming over Strings for Test Data Generation.
DECLARE
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
2019 J jnl
Towards Constraint Logic Programming over Strings for Test Data Generation.
CoRR
Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke
2018 C conf
A Translation from Alloy to B.
ABZ
Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel
2018 — conf
Measuring Coverage of Prolog Programs Using Mutation Testing.
WFLP
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
2018 J jnl
Measuring Coverage of Prolog Programs Using Mutation Testing.
CoRR
Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner
2018 B conf
Repair and Generation of Formal Models Using Synthesis.
IFM
Joshua Schmidt, Sebastian Krings, Michael Leuschel
2016 C conf
Interactive Model Repair by Synthesis.
ABZ
Joshua Schmidt, Sebastian Krings, Michael Leuschel