Publications

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