Tobias Wiersema and Marco Platzner got their conference paper „Verifying Worst-Case Completion Times for Reconfigurable Hardware Modules using Proof-Carrying Hardware“ accepted as a full paperfor presentation at ReCoSoC 2016 (11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, 27.06-29.06 in Tallinn, Estonia).
Tobias Wiersema will present the results in June in Tallinn, Estonia.
