Walter F. Tichy -

Not registered as user yet

Name:Walter F. Tichy

Affiliation:Karlsruhe Institute of Technology

Personal website: http://ps.ipd.kit.edu/53.php

Contributions

2021

PROPSER

Committee Member in Track committees within the PROPSER 2021-track

2015

AI-SEPS

Author of Interleaving generation for data race and deadlock reproduction within the SEPS-track

2014

AI-SEPS

Co-chair in Organizing Committee within the SEPS-track