Tobias Wiersema
Orcid: 0000-0002-9720-9761Affiliations:
- University of Paderborn, Germany
According to our database1,
Tobias Wiersema
authored at least 17 papers
between 2011 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
1
1
1
1
2
2
1
1
1
3
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
J. Hardw. Syst. Secur., June, 2024
2022
Proceedings of the 2022 Design, Automation & Test in Europe Conference & Exhibition, 2022
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
2021
Guaranteeing properties of reconfigurable hardware circuits with proof-carrying hardware.
PhD thesis, 2021
IEEE Access, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the Applied Reconfigurable Computing. Architectures, Tools, and Applications, 2021
2020
IEEE Trans. Very Large Scale Integr. Syst., 2020
2019
Proceedings of the Applied Reconfigurable Computing - 15th International Symposium, 2019
2017
ACM Trans. Design Autom. Electr. Syst., 2017
2016
An architecture and design tool flow for embedding a virtual FPGA into a reconfigurable system-on-chip.
Comput. Electr. Eng., 2016
Verifying worst-case completion times for reconfigurable hardware modules using proof-carrying hardware.
Proceedings of the 11th International Symposium on Reconfigurable Communication-centric Systems-on-Chip, 2016
2015
On-The-Fly Verification of Reconfigurable Image Processing Modules Based on a Proof-Carrying Hardware Approach.
Proceedings of the Applied Reconfigurable Computing - 11th International Symposium, 2015
2014
Proceedings of the 2014 International Conference on ReConFigurable Computing and FPGAs, 2014
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014
Memory security in reconfigurable computers: Combining formal verification with monitoring.
Proceedings of the 2014 International Conference on Field-Programmable Technology, 2014
2011
Cooperative multitasking for heterogeneous accelerators in the Linux Completely Fair Scheduler.
Proceedings of the 22nd IEEE International Conference on Application-specific Systems, 2011