Publications

Found 2 results
Filters: Autor is Maik Wiesner  [Clear All Filters]
2022
M. - C. Jakobs und Wiesner, M., „PEQtest: Testing Functional Equivalence“, in Proceedings of the 25th International Conference on Fundamental Approaches to Software Engineering (FASE), 2022, S. 184-204.
2021
M. Wiesner und Jakobs, M. - C., „Verifying Pipeline Implementations in OpenMP“, in Proceedings of the 27th International Symposium on Model Checking Software (SPIN), 2021, S. 81-98.