Michelle Werth

According to our database, Michelle Werth authored at least 3 papers between 2020 and 2021.

Collaborative distances:

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

2021

ProB2-UI: A Java-Based User Interface for ProB.

Jens Bendisposto, David Geleßus, Yumiko Jansing, Michael Leuschel, Antonia Pütz, Fabian Vu, Michelle Werth

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

2020

VisB: A Lightweight Tool to Visualize Formal Models with SVG Graphics.

Michelle Werth, Michael Leuschel

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

Modelling and Validating an Automotive System in Classical B and Event-B.

Michael Leuschel, Mareike Mutz, Michelle Werth

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