Tobias Wiersema, Sen Wu, and Marco Platzner got their conference paper "On-The-Fly Verification of Reconfigurable Image Processing Modules based on a Proof-Carrying Hardware Approach" accepted at ARC 2015. Tobias Wiersema will present the results in April in Bochum, Germany.
