Computer Science on Pirmin Schmid :: Homepagehttps://www.pirmin-schmid.ch/publications/computer-science/Recent content in Computer Science on Pirmin Schmid :: HomepageHugoen-usThu, 27 Aug 2020 00:00:00 +0000Runtime Verification with TeSSLa on a CPU/FPGA hybrid systemhttps://www.pirmin-schmid.ch/publications/computer-science/runtime-verification/Thu, 27 Aug 2020 00:00:00 +0000https://www.pirmin-schmid.ch/publications/computer-science/runtime-verification/<p>This is the description of a fully working runtime verification system for ARM CoreSight traces running on a CPU/FPGA hybrid system.</p>SimFShttps://www.pirmin-schmid.ch/publications/computer-science/simfs/Sat, 02 Feb 2019 00:00:00 +0000https://www.pirmin-schmid.ch/publications/computer-science/simfs/<p>SimFS is a file system interface developed at the Scalable Parallel Computing Laboratory (SPCL), ETH Zürich that allows balancing of storage and computing resources for large scientific simulations generating petabytes of data. I contributed to this project during my BSc thesis in Computer Science.</p>