Joshua Bachmeier

According to our database, Joshua Bachmeier authored at least 2 papers between 2023 and 2024.

Collaborative distances:

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

2024

Contract Automata: A Specification Language for Mode-Based Systems.

Alexander Weigl, Joshua Bachmeier, Bernhard Beckert, Mattias Ulbrich

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

2023

Scalable and Precise Refinement Types for Imperative Languages.

Florian Lanzinger, Joshua Bachmeier, Mattias Ulbrich, Werner Dietl

Proceedings of the iFM 2023 - 18th International Conference, 2023