Joshua Schmidt

According to our database, Joshua Schmidt authored at least 12 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

New Applications and Techniques for Constraint Programming in B.

Joshua Schmidt

PhD thesis, 2023

2022

SMT solving for the validation of B and Event-B models.

Joshua Schmidt, Michael Leuschel

Int. J. Softw. Tools Technol. Transf., 2022

2021

Improving SMT Solver Integrations for the Validation of B and Event-B Models.

Joshua Schmidt, Michael Leuschel

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

2020

Translating Alloy and extensions to classical B.

Sebastian Krings, Michael Leuschel, Joshua Schmidt, David Schneider, Marc Frappier

Sci. Comput. Program., 2020

Analysing ProB's Constraint Solving Backends - What Do They Know? Do They Know Things? Let's Find Out!

Jannik Dunkelau, Joshua Schmidt, Michael Leuschel

Proceedings of the Rigorous State-Based Methods - 7th International Conference, 2020

2019

Experience Report on an Inquiry-Based Course on Model Checking.

Sebastian Krings, Philipp Körner, Joshua Schmidt

Proceedings of the Tagungsband des 16. Workshops "Software Engineering im Unterricht der Hochschulen" 2019, Bremerhaven, Deutschland, 21., 2019

Automated Backend Selection for ProB Using Deep Learning.

Jannik Dunkelau, Sebastian Krings, Joshua Schmidt

Proceedings of the NASA Formal Methods - 11th International Symposium, 2019

Towards Constraint Logic Programming over Strings for Test Data Generation.

Sebastian Krings, Joshua Schmidt, Patrick Skowronek, Jannik Dunkelau, Dierk Ehmke

Proceedings of the Declarative Programming and Knowledge Management, 2019

2018

Measuring Coverage of Prolog Programs Using Mutation Testing.

Alexandros Efremidis, Joshua Schmidt, Sebastian Krings, Philipp Körner

Proceedings of the Functional and Constraint Logic Programming, 2018

Repair and Generation of Formal Models Using Synthesis.

Joshua Schmidt, Sebastian Krings, Michael Leuschel

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

A Translation from Alloy to B.

Sebastian Krings, Joshua Schmidt, Carola Brings, Marc Frappier, Michael Leuschel

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018

2016

Interactive Model Repair by Synthesis.

Joshua Schmidt, Sebastian Krings, Michael Leuschel

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016